- Dynamo: Amazon’s Highly Available Key-value Store
- Combining Systems and Databases: A Search Engine Retrospective
- Spanner: Google’s Globally-Distributed Database
- Highly Available Transactions: Virtues and Limitations
- Database Metatheory: Asking the Big Queries
- MillWheel: Fault-Tolerant Stream Processing at Internet Scale
- A Brief Tour of FLP Impossibility
- Practical Byzantine Fault Tolerance
- Time, Clocks, and the Ordering of Events in a Distributed System
- In Search of an Understandable Consensus Algorithm
- Distributed Snapshots: Determining Global States of Distributed Systems
- Consistent Hashing and Random Trees: Distributed Caching Protocols for Relieving Hot Spots on the World Wide Web
- Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications
- A Gossip-Style Failure Detection Service
- SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol
- Logic and Lattices for Distributed Programming
- Dedalus: Datalog in Time and Space
- Consistency Analysis in Bloom: a CALM and Collected Approach
- Self-stabilizing Systems in Spite of Distributed Control