Alternatives and similar repositories for public:

Users that are interested in public are comparing it to the libraries listed below

• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 8 months ago
• dslab-epfl / lpn
  Repo for Performance Interfaces for Hardware Accelerators.
  ☆10Updated 6 months ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆12Updated 4 years ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 5 years ago
• tchajed / coq-tla
  ☆25Updated 10 months ago
• vasigavr1 / Odyssey
  ☆12Updated 2 years ago
• yhuacode / pmrace
  Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)
  ☆8Updated 2 years ago
• kaist-cp / memento
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆15Updated last year
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated 6 months ago
• WiscADSL / uFS
  A Filesystem Semi-Microkernel.
  ☆37Updated last year
• sihangliu / pmtest
  ☆26Updated 4 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆32Updated last month
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆60Updated last year
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆18Updated 7 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆117Updated last month
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• wwl020 / ENGRAFT
  ☆11Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆80Updated this week
• stanford-mast / shinjuku
  ☆45Updated last year
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 2 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆19Updated 2 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• SabaJamilan / Profile-Guided-Software-Prefetching
  ☆21Updated 2 years ago
• uwplse / ferrite
  Ferrite, a toolkit for developing file system crash-consistency models
  ☆17Updated 8 years ago
• TheNetAdmin / VANS
  VANS: A validated NVRAM simulator
  ☆26Updated last year
• dassl-uiuc / LazyLog-Artifact
  LazyLog: A New Shared Log Abstraction for Low-Latency Applications
  ☆16Updated 2 months ago
• mbailleu / avocado
  ☆15Updated 3 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆78Updated 2 months ago