Alternatives and similar repositories for reading-system-verification-papers

Users that are interested in reading-system-verification-papers are comparing it to the libraries listed below

• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆19Updated 3 weeks ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆21Updated 4 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆43Updated last week
• glarer / UserspaceBypass
  ☆57Updated last year
• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆22Updated last week
• Romero027 / sysnet-reading-list
  This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.
  ☆81Updated 2 weeks ago
• ServerlessBench / ServerlessBench
  The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing
  ☆22Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 9 months ago
• neutrino-gpu / neutrino
  ☆13Updated 3 weeks ago
• WukLab / Mira
  A Progam-Behavior-Guided Far Memory System
  ☆35Updated last year
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆20Updated 4 years ago
• uclasystem / DRust
  ☆47Updated 7 months ago
• ProjectMitosisOS / ProjectMitosisOS
  Project Mitosis Introduction
  ☆19Updated 2 years ago
• uclasystem / MemLiner
  MemLiner is a remote-memory-friendly runtime system.
  ☆31Updated 2 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆56Updated 9 months ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated last week
• uclasystem / midas
  Midas is a memory management system that efficiently and safely harvests idle memory for applications' soft state.
  ☆9Updated 7 months ago
• nyu-systems / nyu-systems-seminar
  The NYU Systems Seminar
  ☆23Updated last year
• IPADS-DuVisor / DuVisor
  ☆72Updated last year
• Nelson-Cheung / yatsenos-riscv
  Rebuild YatSenOS On RISC-V 64.
  ☆20Updated 3 years ago
• uclasystem / hermit
  Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony
  ☆34Updated last year
• aladinggit / RDMI
  This is the repo for remote direct memory introspection.
  ☆21Updated last year
• ganler / memcov
  Collect simple coverage information in memory.
  ☆11Updated 2 years ago
• lastweek / 2022-UCSD-Thesis
  Yizhou Shan's Doctoral Dissertation (UCSD CSE)
  ☆15Updated 3 years ago
• msr-fiddle / dejavu
  ☆20Updated 9 months ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• uclasystem / dorylus
  Dorylus: Affordable, Scalable, and Accurate GNN Training
  ☆76Updated 4 years ago
• BLepers / JohnnyCache
  Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)
  ☆18Updated last year