Date	Description
March 27	Intro Slides How to read a paper
March 29	MapReduce Reading: Dean and Ghemawat, MapReduce: Simplified Data Processing on Large Clusters Slides
March 31	More MapReduce, RPC, Golang Slides
April 3	RPC semantics Slides
April 5	Primary/backup Slides
April 7	More primary/backup Slides
April 10	Clocks and time Reading: Time, Clocks, and the Ordering of Events (up to, but not including, the section on physical clocks) Slides
April 12	More clocks, snapshots Reading: Distributed Snapshots Slides
April 14	Consistency models Slides
April 17	Implementing consistency Reading: Ousterhout, The Role of Distributed State Slides
April 19	More consistency Slides
April 21	Two-phase commit Reading: Bernstein, Hadzilacos, and Goodman, Distributed Recovery (up to, but not including, Three-Phase Commit) Slides
April 24	Paxos Reading: Lamport, Paxos Made Simple Slides
April 26	More paxos Slides
April 28	Even more paxos Reading: Renesse, Paxos Made Moderately Complex (first 20 pages) Slides
May 1	Byzantine fault tolerance
May 3	Data-center networks Slides
May 5	Consistent hashing Slides
May 8	Service-oriented architectures Reading: Yegge, Lessons for Google from Amazon's Service Oriented Architecture Slides
May 10	Chubby Reading: Burrows, The chubby lock service Slides
May 12	BigTable Reading: Chang et al, BigTable Slides
May 15	GFS Reading: Ghemawat et al, The Google file system Slides
May 17	Spanner Reading: Corbett et al, Spanner Slides
May 19	More Spanner Slides
May 22	Dynamo Reading: DeCandia et al., Dynamo: Amazon's Highly Available Key-Value Store Slides
May 24	Bitcoin Reading: Nakamoto, Bitcoin: A Peer-to-Peer Electronic Cash System Slides
May 26	More bitcoin, Correctness: Model checking Reading: Newcombe et al., Use of Formal Methods at Amazon Web Services Slides: Bitcoin, Model checking
May 31	Correctness: More model checking, proofs
June 2	Wrapup Reading: Lampson, Hints for Computer System Design Slides