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 11 months ago
• dslab-epfl / lpn
  Repo for Performance Interfaces for Hardware Accelerators.
  ☆12Updated 9 months 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
• tchajed / coq-tla
  ☆26Updated last year
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• yhuacode / pmrace
  Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)
  ☆8Updated 3 years ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated 2 weeks ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆81Updated last week
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated last month
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated 9 months ago
• vasigavr1 / Odyssey
  ☆13Updated 2 years ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆18Updated 9 months ago
• sihangliu / pmtest
  ☆26Updated 5 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆48Updated 2 years ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆12Updated 5 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆34Updated 3 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆119Updated 3 months ago
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 5 years ago
• kaist-cp / memento
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆16Updated last year
• sihangliu / xfdetector
  This is the open-source site for XFDetector (ASPLOS'20)
  ☆11Updated 4 years ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆37Updated last week
• 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
• uwplse / ferrite
  Ferrite, a toolkit for developing file system crash-consistency models
  ☆17Updated 8 years ago
• will62794 / endive
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆14Updated 5 months ago
• mwillsey / cs265
  Website for CS 265
  ☆28Updated 3 months ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆32Updated 6 months ago
• BinyuHuang-nju / zab-tla
  Specifying and Verfying Zab using TLA+
  ☆10Updated 3 years ago
• microsoft / verus-proof-synthesis
  ☆22Updated last month
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆22Updated last year