Why Must Systems Be Operated?

Is there a CAP theorem for Durability?

Harvest and Yield: Not A Natural Cure for Tradeoff Confusion

CALISDO: Threat Modeling for Distributed Designs

The Zero, One, Infinity Disease

Jitter: Making Things Better With Randomness

How Amazon Web Services Uses Formal Methods

Snark, Chord, and Trust in Algorithms

Does Bitcoin Solve Byzantine Consensus?

A Quiet Defense of Patterns

Make your program slower with threads

Two Farmers and Common Knowledge

Exactly-Once Delivery May Not Be What You Want

Ice Cream and Distributed Systems

The Essential Barbara Liskov

The space between theory and practice in distributed systems

Viewstamped Replication: The Less-Famous Consensus Protocol

The Essential Nancy Lynch