VeriGu / DistAI

Related projects: ⓘ

• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆22Updated 4 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
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆109Updated last week
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆68Updated last year
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆19Updated 2 years ago
• Shlw / Books-and-Exercises
  Book reading
  ☆14Updated 4 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆28Updated 2 months ago
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆18Updated 3 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆12Updated 2 years ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆18Updated 3 months ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated 11 months ago
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆18Updated 2 months ago
• Mondego / dafny-synthesis
  Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆30Updated 3 months ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆22Updated last month
• lsrcz / mini-prover
  Term project for TaPL. A mini coq-like proof assistant.
  ☆16Updated 6 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆23Updated 11 months ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆12Updated 4 years ago
• aman-goel / ic3po
  IC3PO: IC3 for Proving Protocol Properties
  ☆25Updated last week
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆20Updated 3 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆29Updated last week
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆64Updated 5 months ago
• FP-Analysis / atomic-condition
  ☆21Updated 4 years ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• yhuacode / pmrace
  Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)
  ☆8Updated 2 years ago
• tangruize / tlc-cmd
  Run TLC in cmd
  ☆13Updated 6 months ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆16Updated last year
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated last year
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆53Updated 3 weeks ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆19Updated 2 years ago