Timestamp-based Algorithms for Concurrency Control in Distributed Database Systems

Checking statistical properties of protocols using TLA+

SQLite: Past, Present, and Future

Strict-serializability, but at what cost, for what purpose?

Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service

Warp: Lightweight Multi-Key Transactions for Key-Value Stores

Anna: A key-value store for any scale

FoundationDB: A distributed unbundled transactional key value store

CockroachDB: The Resilient Geo-Distributed SQL Database

Amazon Aurora: Design Considerations + On Avoiding Distributed Consensus for I/Os, Commits, etc

Learning a Technical Subject

Decoupled Transactions: Low Tail Latency Transactions Atop Jittery Servers

A read-only transaction anomaly under snapshot isolation

Graviton2 and Graviton3

Progress Beats Perfect

Attitude Determines Your Success

Cores that don't count

Silent Data Corruptions at Scale

Sundial: Fault-tolerant Clock Synchronization for Datacenters

Your Attitude Determines Your Success

Foundational Distributed Systems Papers

Fine-Grained Replicated State Machines for a Cluster Storage System (NSDI 2020)

PigPaxos: Removing the Scalability Bottlenecks in Paxos

I Have Seen Things

Cross-Chain Deals and Adversarial Commerce

File Systems Unfit as Distributed Storage Back Ends: 10 Years of Ceph

Frugal Computing

Modeling a read-write version of Texel: an asynchronous consensus algorithm without rounds

Scalable Consistency in Scatter

Azure Cosmos DB: Microsoft's Cloud-Born Globally Distributed Database

More →