pocs-epfl / publicLinks
POCS materials for the public
☆15Updated 6 months ago
Alternatives and similar repositories for public
Users that are interested in public are comparing it to the libraries listed below
Sorting:
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- Major CS conference publication stats (including accepted and submitted) by year.☆134Updated last month
- Repo for Performance Interfaces for Hardware Accelerators.☆15Updated last year
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Course website for Systems Verification Fall 2024☆11Updated last month
- ☆27Updated last year
- List of bugs found in distributed protocols☆199Updated last year
- In Spec We Trust☆36Updated last month
- VeriBetrKV OSDI'20 artifact☆11Updated 4 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Updated last year
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆65Updated 4 years ago
- Verifying concurrent code with layers and movers☆12Updated 5 years ago
- Reading the linearizability paper with TLA+☆49Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- ☆17Updated 3 years ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆16Updated 2 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 6 months ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆148Updated last month
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆16Updated 3 years ago
- The main code repository for the Derecho project.☆198Updated last week
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆265Updated this week
- A verification tool for many memory models☆100Updated this week
- ☆12Updated 4 months ago
- Yizhou' Homepage☆48Updated this week
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆38Updated 11 months ago
- Efficient techniques for mining LTL formulae over linear input traces☆20Updated 2 years ago
- ☆24Updated 3 years ago
- ☆11Updated 2 years ago
- 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
- Generic model checker for concurrent C programs (mirror repository)☆157Updated this week