mwhittaker / papers
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
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- Apache Quickstep Incubator - This project is retired☆94Updated 6 years ago
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆112Updated last year
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆312Updated 3 years ago
- Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretat…☆252Updated 6 years ago
- Distributed Systems Consistency Reading Group☆40Updated 4 years ago
- CASPaxos: Replicated State Machines without logs☆97Updated 6 years ago
- Collection of Papers On Database Management Systems☆216Updated 8 years ago
- Order-preserving key encoder☆122Updated 4 years ago
- NOPaxos consensus protocol☆134Updated 4 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 3 years ago
- ☆285Updated 2 years ago
- Paxos Made Moderately Complex☆173Updated 5 months ago
- A playground to experiment with Raft proposal pipeline optimization☆17Updated 2 years ago
- Read- and latency-optimized log structured merge tree☆174Updated 12 years ago
- Fast linearizability checker☆66Updated 9 years ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆42Updated last year
- Peloton Design Docs☆27Updated 6 years ago
- Personal reading list/reference re: TLA+☆88Updated 6 years ago
- Readings in Stream Processing☆121Updated 2 months ago
- TLA+ specifications for Raft and variants☆61Updated 2 years ago
- AnyBlob - A Universal Cloud Object Storage Download Manager Built For Cost-Throughput Optimal Analytics!☆117Updated 3 weeks ago
- Jepsen and Elle based Consistency Checking Interface☆21Updated 2 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 5 years ago
- Experiments in partially ordered SMR.☆47Updated 3 years ago
- personal git mirror of sqllogictest☆39Updated 2 months ago
- Distributed systems lecture notes☆59Updated 3 months ago
- ☆116Updated 2 years ago
- Database Benchmark Tool☆154Updated last year