| Date | Topic | Reading | Deadlines
|
| 1/20 | Basics | Introduction |
|
| 1/22 | | No class |
|
| 1/27 | | Logical clocks |
|
| 1/29 | | Paxos | Deadline to form project groups.
|
| 2/3 | | Raft |
|
| 2/5 | | Raft (contd) |
|
| 2/10 | Byzantine consensus | Byzantine Generals and PBFT |
|
| 2/12 | | PBFT contd. |
|
| 2/17 | Consenus: Practice | Chubby |
|
| 2/19 | | Project proposal meetings |
|
| 2/23 | Consistency | Consistency, Linearizability |
|
| 2/26 | | Consistency models and CAP theorem | Project proposal + related work survey due
|
| 3/3 | | Eventual consistency: Bayou |
|
| 3/5 | | Eventual consistency: Dynamo |
|
| 3/10 | Distributed transactions | Transactions: 2PC and variants |
|
| 3/12 | | Transactions: Spanner |
|
| 3/17 | | Spring break |
|
| 3/19 | | Spring break |
|
| 3/24 | Student Presentations | SpecPaxos, CURP |
|
| 3/26 | | Aurora, DynamoDB |
|
| 3/31 | | SWARM, Tigon |
|
| 4/2 | | ICG | Project checkpoints
|
| 4/7 | | In-class exam |
|
| 4/9 | Virtual Machine Fault-Tolerance | VMware FT, Remus |
|
| 4/14 | Fault-tolerant Computing | Spark and Lineage Stash |
|
| 4/16 | | Fault-tolerant Stream Processing |
|
| 4/21 | | Beldi and Boki |
|
| 4/23 | Fault-tolerant ML | Check-N-Run, Gemini |
|
| 4/28 | | Oobleck, ReCycle |
|
| 4/30 | Durable execution frameworks | |
|
| 5/5 | Project presentations | |
|
| 5/14 | | | Project report due |