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 9 months ago
• dslab-epfl / lpn
  Repo for Performance Interfaces for Hardware Accelerators.
  ☆10Updated 7 months ago
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated 2 weeks ago
• dslab-epfl / pix
  Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
  ☆17Updated 2 years ago
• yhuacode / pmrace
  Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)
  ☆8Updated 2 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated 2 months ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆12Updated 5 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
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated 7 months ago
• tchajed / coq-tla
  ☆26Updated 11 months ago
• stanford-mast / shinjuku
  ☆45Updated last year
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆117Updated 2 months ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆80Updated 3 months ago
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 5 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆138Updated 5 months ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆18Updated 8 months ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆36Updated 2 weeks ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆32Updated 2 months ago
• bigwater / gpunfa-artifact
  ☆19Updated 2 years ago
• sihangliu / xfdetector
  This is the open-source site for XFDetector (ASPLOS'20)
  ☆11Updated 3 years ago
• 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…
  ☆62Updated last year
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆48Updated 3 weeks ago
• vasigavr1 / Odyssey
  ☆12Updated 2 years ago
• WiscADSL / uFS
  A Filesystem Semi-Microkernel.
  ☆37Updated last year
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• sihangliu / pmtest
  ☆26Updated 4 years ago
• Errare-humanum-est / ProtoGen
  Designing directory cache coherence protocols is complicated because coherence transactions are not atomic in modern multicore processors…
  ☆16Updated 3 years ago
• epfl-dcsl / hovercraft
  ☆14Updated 4 years ago
• NVlabs / litmustestgen
  Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
  ☆16Updated last year