mwhittaker / papersLinks
Paper Summaries
☆55Updated 4 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below
Sorting:
- Distributed Systems Consistency Reading Group☆42Updated 4 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 4 years ago
- Collection of Papers On Database Management Systems☆222Updated 8 years ago
- Apache Quickstep Incubator - This project is retired☆95Updated 6 years ago
- Paxos Made Moderately Complex☆186Updated 10 months ago
- Readings in Stream Processing☆122Updated 7 months ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- ☆136Updated 2 years ago
- Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretat…☆257Updated 6 years ago
- Distributed systems lecture notes☆62Updated 7 months ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆322Updated 3 years ago
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆115Updated 2 years ago
- Database Benchmark Tool☆153Updated last year
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆73Updated 2 years ago
- Cuckoo Index: A Lightweight Secondary Index Structure☆129Updated 3 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆196Updated 7 years ago
- Fast linearizability checker☆66Updated 10 years ago
- ☆289Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm☆494Updated 4 months ago
- ☆129Updated 7 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆92Updated 6 years ago
- This is an implementation of a log structure merge tree.☆59Updated 7 years ago
- Peloton Design Docs☆27Updated 6 years ago
- A playground to experiment with Raft proposal pipeline optimization☆16Updated 2 years ago
- CASPaxos: Replicated State Machines without logs☆100Updated 6 years ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆46Updated 2 years ago
- Formal models of core Elasticsearch algorithms☆210Updated 4 months ago
- framework for evaluating (planet-scale) consensus protocols☆127Updated last year
- A Javascript ARIES Simulator☆60Updated 7 years ago
- NOPaxos consensus protocol☆135Updated 4 years ago