Alternatives and similar repositories for dish

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

• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆50Updated last month
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆147Updated this week
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆170Updated last month
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• tchajed / protocol-verification-fa2023
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆12Updated 2 years ago
• llnl / umap
  User-space Page Management
  ☆111Updated last year
• rs3lab / KFlex
  ☆36Updated 10 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆189Updated 2 months ago
• karineek / CsmithEdge
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆17Updated 6 months ago
• bpfverif / agni
  ☆48Updated 2 weeks ago
• stanford-mast / shinjuku
  ☆48Updated 2 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆25Updated 2 years ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆277Updated last week
• ShawnZhong / DepSurf
  Revealing the Unstable Foundations of eBPF-Based Kernel Extensions
  ☆17Updated 8 months ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆66Updated 5 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆61Updated 8 months 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…
  ☆64Updated 2 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 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 4 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• damonitor / damo
  DAMON user-space tool
  ☆65Updated this week
• google / ghost-userspace
  ☆243Updated 2 years ago
• Lingzhi-Ouyang / Remix
  ☆13Updated 9 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆19Updated 3 years ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆13Updated 5 years ago
• GMAP / SPBench
  SPBench: A Framework for Benchmarking Stream Processing Applications
  ☆11Updated last month
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆84Updated 3 years ago