palvaro / CMPS128-Spring16
Course site for CMPS128, Spring 2016
☆13Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for CMPS128-Spring16
- A TLA+ specification of the Apache BookKeeper replication protocol☆101Updated 8 months ago
- Small numerical simulator example☆46Updated last year
- Paxos Made Moderately Complex☆172Updated 3 months ago
- Harry for Apache Cassandra®☆54Updated 3 months ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 7 years ago
- A curated list of TLA+ resources.☆66Updated 5 years ago
- ☆13Updated 6 years ago
- Experimenting with persistence in C☆158Updated 2 years ago
- SQL Testing Framework for the Peloton DBMS☆20Updated 7 years ago
- ☆6Updated 2 years ago
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- TLA+ specifications for Raft and variants☆59Updated 2 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆136Updated 6 years ago
- Engines, queries, and data for dynamic Datalog computation☆121Updated 3 years ago
- Speculative Paxos replication protocol☆132Updated 8 years ago
- ☆50Updated 6 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 4 years ago
- The current backend of DBToaster, implemented in Scala.☆63Updated 2 years ago
- TLA+ specification of the Kafka replication protocol☆86Updated 4 years ago
- A collection of state machine replication protocols☆118Updated last year
- A graphical, time-traveling debugger for distributed systems☆32Updated 2 years ago
- Kompics - A message-passing component model for building distributed systems☆65Updated 2 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated last year
- Order-preserving key encoder☆122Updated 4 years ago
- The Waterloo Consistency Analyzer☆15Updated 4 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆72Updated last year
- Azure Cosmos TLA+ specifications☆20Updated 11 months ago
- Distributed Systems Reading Group☆20Updated 6 years ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year