The rest of the readings.

readings.md

@@ -37,14 +37,14 @@ For days marked <span class="discussion">Discussion</span>, you must turn in you
 | Friday, 11/13    | <span class="lecture">Lecture</span>: replication; total order vs. determinism; consistency models: FIFO, causal, "strong"; primary-backup replication; chain replication; latency and throughput
 	| Monday, 11/16    | <span class="discussion">Discussion</span>: Robbert van Renesse and Fred B. Schneider, ["Chain Replication for Supporting High Throughput and Availability" (OSDI 2004)](readings/chain-replication.pdf)
 | Wednesday, 11/18 | <span class="lecture">Lecture</span>: handling node failure in replication protocols; introduction to consensus; problems equivalent to consensus; the FLP result; introduction to Paxos
-| Friday, 11/20    | <span class="discussion">Discussion</span>: Impossibility of Distributed Consensus with One Faulty Process
+| Friday, 11/20    | <span class="discussion">Discussion</span>: Michael J. Fischer, Nancy A. Lynch, and Michael S. Paterson, ["Impossibility of Distributed Consensus with One Faulty Process" (JACM 1985)](readings/flp.pdf)
 | Monday, 11/23    | <span class="lecture">Lecture</span>: Paxos: the interesting parts
-| Wednesday, 11/25 | <span class="discussion">Discussion</span>: Paxos Made Simple
+| Wednesday, 11/25 | <span class="discussion">Discussion</span>: Leslie Lamport, ["Paxos Made Simple" (2001)](readings/paxos-simple.pdf)
 | Friday, 11/27    | No class (Thanksgiving)
 | Monday, 11/30    | <span class="lecture">Lecture</span>: Paxos wrap-up: nontermination, Multi-Paxos, fault tolerance; other consensus protocols: Viewstamped Replication, Zab, Raft; passive vs. active (state machine) replication
-| Wednesday, 12/2  | <span class="discussion">Discussion</span>: In Search of an Understandable Consensus Protocol
+| Wednesday, 12/2  | <span class="discussion">Discussion</span>: Diego Ongaro and John Ousterhout, ["In Search of an Understandable Consensus Algorithm" (ATC 2014)](readings/raft-atc14.pdf)
 | Friday, 12/4     | <span class="lecture">Lecture</span>: eventual consistency; strong convergence and strong eventual consistency; intro to application-specific conflict resolution; network partitions; availability; the consistency/availability trade-off; anti-entropy with Merkle trees; gossip; quorum consistency
-| Monday, 12/7     | <span class="discussion">Discussion</span>: Dynamo 
+	| Monday, 12/7     | <span class="discussion">Discussion</span>: Giuseppe DeCandia et al., ["Dynamo: Amazon’s Highly Available Key-value Store" (SOSP 2007)](readings/amazon-dynamo-sosp2007.pdf)
 | Wednesday, 12/9  | <span class="lecture">Lecture</span>: sharding; consistent hashing
-| Friday, 12/11    | <span class="discussion">Discussion</span>: Chord
+| Friday, 12/11    | <span class="discussion">Discussion</span>: Ion Stoica et al., ["Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications" (SIGCOMM 2001)](readings/chord.pdf)
 | Wednesday, 12/16 | Video presentations, noon-3pm Pacific time