Semicolony — Annotated CS papers https://semicolony.dev/papers/ Foundational distributed-systems, storage, and networking papers, read closely and annotated. TL;DR, problem statement, contributions, criticisms, where the ideas show up today. en-gb Mon, 15 Jun 2026 05:34:26 GMT Time, Clocks, and the Ordering of Events (Lamport, 1978) https://semicolony.dev/papers/time-clocks/ semicolony-paper-time-clocks Tue, 19 May 2026 00:00:00 GMT distributed annotated-paper The Byzantine Generals Problem (Lamport, Shostak, Pease, 1982) https://semicolony.dev/papers/byzantine-generals/ semicolony-paper-byzantine-generals Tue, 19 May 2026 00:00:00 GMT distributed annotated-paper Paxos Made Simple (Lamport, 2001) https://semicolony.dev/papers/paxos-made-simple/ semicolony-paper-paxos-made-simple Tue, 19 May 2026 00:00:00 GMT distributed annotated-paper In Search of an Understandable Consensus Algorithm (Ongaro & Ousterhout, 2014) https://semicolony.dev/papers/raft/ semicolony-paper-raft Tue, 19 May 2026 00:00:00 GMT distributed annotated-paper Dynamo · Amazon's Highly Available Key-value Store (DeCandia et al, 2007) https://semicolony.dev/papers/dynamo/ semicolony-paper-dynamo Tue, 19 May 2026 00:00:00 GMT distributed annotated-paper Bigtable · A Distributed Storage System for Structured Data (Chang et al, 2006) https://semicolony.dev/papers/bigtable/ semicolony-paper-bigtable Tue, 19 May 2026 00:00:00 GMT storage annotated-paper Spanner · Google's Globally Distributed Database (Corbett et al, 2012) https://semicolony.dev/papers/spanner/ semicolony-paper-spanner Tue, 19 May 2026 00:00:00 GMT storage annotated-paper Conflict-Free Replicated Data Types (Shapiro et al, 2011) https://semicolony.dev/papers/crdts/ semicolony-paper-crdts Tue, 19 May 2026 00:00:00 GMT distributed annotated-paper Impossibility of Distributed Consensus with One Faulty Process (Fischer, Lynch, Paterson, 1985) https://semicolony.dev/papers/flp/ semicolony-paper-flp Tue, 19 May 2026 00:00:00 GMT distributed annotated-paper Building on Quicksand (Helland, 2009) https://semicolony.dev/papers/building-on-quicksand/ semicolony-paper-building-on-quicksand Tue, 19 May 2026 00:00:00 GMT distributed annotated-paper The Log-Structured Merge-Tree (O'Neil et al, 1996) https://semicolony.dev/papers/lsm-tree/ semicolony-paper-lsm-tree Tue, 19 May 2026 00:00:00 GMT storage annotated-paper ARIES · A Transaction Recovery Method (Mohan et al, 1992) https://semicolony.dev/papers/aries/ semicolony-paper-aries Tue, 19 May 2026 00:00:00 GMT storage annotated-paper A Critique of ANSI SQL Isolation Levels (Berenson, Gray et al, 1995) https://semicolony.dev/papers/sql-isolation-critique/ semicolony-paper-sql-isolation-critique Tue, 19 May 2026 00:00:00 GMT storage annotated-paper F1 · A Distributed SQL Database that Scales (Shute et al, 2013) https://semicolony.dev/papers/f1/ semicolony-paper-f1 Tue, 19 May 2026 00:00:00 GMT storage annotated-paper Calvin · Fast Distributed Transactions for Partitioned Databases (Thomson et al, 2012) https://semicolony.dev/papers/calvin/ semicolony-paper-calvin Tue, 19 May 2026 00:00:00 GMT storage annotated-paper C-Store · A Column-Oriented DBMS (Stonebraker et al, 2005) https://semicolony.dev/papers/c-store/ semicolony-paper-c-store Tue, 19 May 2026 00:00:00 GMT storage annotated-paper The Google File System (Ghemawat, Gobioff, Leung, 2003) https://semicolony.dev/papers/gfs/ semicolony-paper-gfs Tue, 19 May 2026 00:00:00 GMT systems annotated-paper MapReduce · Simplified Data Processing on Large Clusters (Dean & Ghemawat, 2004) https://semicolony.dev/papers/mapreduce/ semicolony-paper-mapreduce Tue, 19 May 2026 00:00:00 GMT systems annotated-paper The Tail at Scale (Dean & Barroso, 2013) https://semicolony.dev/papers/tail-at-scale/ semicolony-paper-tail-at-scale Tue, 19 May 2026 00:00:00 GMT systems annotated-paper Borg, Omega, and Kubernetes (Burns et al, 2016) https://semicolony.dev/papers/borg-omega-kubernetes/ semicolony-paper-borg-omega-kubernetes Tue, 19 May 2026 00:00:00 GMT systems annotated-paper End-to-End Arguments in System Design (Saltzer, Reed, Clark, 1984) https://semicolony.dev/papers/end-to-end-arguments/ semicolony-paper-end-to-end-arguments Tue, 19 May 2026 00:00:00 GMT networking annotated-paper Maglev · A Fast and Reliable Software Network Load Balancer (Eisenbud et al, 2016) https://semicolony.dev/papers/maglev/ semicolony-paper-maglev Tue, 19 May 2026 00:00:00 GMT networking annotated-paper Practical Byzantine Fault Tolerance (Castro & Liskov, 1999) https://semicolony.dev/papers/pbft/ semicolony-paper-pbft Tue, 19 May 2026 00:00:00 GMT distributed annotated-paper