palvaro / CMPS232-Spring19
☆6Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for CMPS232-Spring19
- Reading the linearizability paper with TLA+☆48Updated 2 years ago
- Course site for CMPS128, Spring 2016☆13Updated 8 years ago
- ☆31Updated 2 years ago
- List of bugs found in distributed protocols☆192Updated 6 months ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 7 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆16Updated this week
- Verifying concurrent code with layers and movers☆12Updated 4 years ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆183Updated 11 months ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆101Updated 8 months ago
- ☆46Updated 2 years ago
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- Interactive, web-based environment for exploring and visualizing TLA+ specifications.☆74Updated this week
- Single-threaded graph computation in Rust☆244Updated 5 years ago
- Fast linearizability checker☆66Updated 9 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆95Updated 3 months ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆136Updated 6 years ago
- FSCQ is a certified file system written and proven in Coq☆236Updated 2 years ago
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated last year
- 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
- TLC models for the MongoDB Replication TLA+ specification.☆20Updated 4 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.☆78Updated 6 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Jupyter kernel for TLA⁺☆118Updated 2 years ago
- A graduate seminar on languages and abstractions for distributed programming☆19Updated 2 years ago
- Eris distributed transactions☆52Updated 6 years ago
- In Spec We Trust☆32Updated 4 months ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated last year
- A curated list of TLA+ resources.☆66Updated 5 years ago