CSE 452 Winter 2023 Schedule

January
Monday	Tuesday	Wednesday	Thursday	Friday
02 New Year's Day (observed)	03 16:30-17:30 OH (James) CSE1 (Allen) 440 or Zoom 18:00-19:00 OH (Nour) CSE2 (Gates) 121 18:30-19:30 OH (Eyad) CSE2 (Gates) 121 or Zoom	04 9:30-10:30 OH (Aman) CSE1 (Allen) 4th floor breakout 12:30-14:30 OH (Abhishek) CSE2 (Gates) 274 15:30-16:20 Lecture GWN 301 Intro, fault model, course mechanics, RPC Whiteboards Notes 16:30-17:30 OH (Ben) CSE2 (Gates) 153 19:30-20:30 OH (Zihan) Zoom	05 Section Labs 0 and 1 intro Slides Video (21sp) 9:30 Read lab 0 before section 12:30-13:30 OH (Ryan) CSE1 (Allen) 2nd floor breakout 13:30-14:30 OH (Henry) CSE1 (Allen) 4th floor breakout 20:30-21:30 OH (Aman) Zoom	06 10:00-11:00 OH (Theo) CSE1 (Allen) 5th floor breakout 11:00-12:00 OH (Ryan) CSE1 (Allen) 5th floor breakout 13:30-14:30 OH (Ben) CSE2 (Gates) 150 14:30-15:30 OH (Zihan) Zoom 15:30-16:20 Lecture GWN 301 More RPC, Design docs Reading: Google's Introduction to Distributed System Design Whiteboards Notes
09 10:00-11:00 OH (Theo) CSE1 (Allen) 4th floor breakout 15:30-16:20 Lecture GWN 301 Correctness of Distributed systems Whiteboards Notes 16:30-17:30 OH (Nour) CSE2 (Gates) 151	10 16:30-17:30 OH (James) CSE1 (Allen) 440 or Zoom 18:00-19:00 OH (Nour) CSE2 (Gates) 121 18:30-19:30 OH (Eyad) CSE2 (Gates) 121 or Zoom	11 9:30-10:30 OH (Aman) CSE1 (Allen) 4th floor breakout 12:30-14:30 OH (Abhishek) CSE2 (Gates) 274 15:30-16:20 Lecture GWN 301 Transition systems, Invariants, Stable properties Whiteboards Notes 16:30-17:30 OH (Ben) CSE2 (Gates) 153 19:30-20:30 OH (Zihan) Zoom	12 Section Transition systems practice Worksheet Solutions 12:30-13:30 OH (Ryan) CSE1 (Allen) 2nd floor breakout 13:30-14:30 OH (Henry) CSE1 (Allen) 4th floor breakout 20:30-21:30 OH (Aman) Zoom	13 10:00-11:00 OH (Theo) CSE1 (Allen) 5th floor breakout 11:00-12:00 OH (Ryan) CSE1 (Allen) 5th floor breakout 13:30-14:30 OH (Ben) CSE2 (Gates) 150 14:30-15:30 OH (Zihan) Zoom 15:30-16:20 Lecture GWN 301 Distributed transition systems Whiteboards Notes 23:59 Problem set 1, Lab 1 design doc, Lab 1
16 Martin Luther King Jr. Day	17 16:30-17:30 OH (James) CSE1 (Allen) 440 or Zoom 18:00-19:00 OH (Nour) CSE2 (Gates) 121 18:30-19:30 OH (Eyad) CSE2 (Gates) 121 or Zoom	18 9:30-10:30 OH (Aman) CSE1 (Allen) 4th floor breakout 12:30-14:30 OH (Abhishek) CSE2 (Gates) 274 15:30-16:20 Lecture GWN 301 Primary-backup Whiteboards Notes 16:30-17:30 OH (Ben) CSE2 (Gates) 153 19:30-20:30 OH (Zihan) Zoom	19 Section Lab 2 intro Slides Video (21sp) 12:30-13:30 OH (Ryan) CSE1 (Allen) 2nd floor breakout 13:30-14:30 OH (Henry) CSE1 (Allen) 4th floor breakout 20:30-21:30 OH (Aman) Zoom	20 10:00-11:00 OH (Theo) CSE1 (Allen) 5th floor breakout 11:00-12:00 OH (Ryan) CSE1 (Allen) 5th floor breakout 13:30-14:30 OH (Ben) CSE2 (Gates) 150 14:30-15:30 OH (Zihan) Zoom 15:30-16:20 Lecture GWN 301 More primary-backup Whiteboards Notes 23:59 Problem set 2
23 10:00-11:00 OH (Theo) CSE1 (Allen) 4th floor breakout 15:30-16:20 Lecture GWN 301 Linearizability Whiteboards Notes 16:30-17:30 OH (Nour) CSE2 (Gates) 151	24 16:30-17:30 OH (James) CSE1 (Allen) 440 or Zoom 18:00-19:00 OH (Nour) CSE2 (Gates) 121 18:30-19:30 OH (Eyad) CSE2 (Gates) 121 or Zoom	25 9:30-10:30 OH (Aman) CSE1 (Allen) 4th floor breakout 15:30-16:20 Lecture GWN 301 Time, Clocks, and Events Reading: Lamport, Time, Clocks, and the Ordering of Events (up to but not including the section on physical clocks) Whiteboards 16:30-17:30 OH (Ben) CSE2 (Gates) 153 19:30-20:30 OH (Zihan) Zoom	26 Section Lab 2 design Slides Video (21sp) 12:30-13:30 OH (Ryan) CSE1 (Allen) 2nd floor breakout 13:30-14:30 OH (Henry) CSE1 (Allen) 4th floor breakout 20:30-21:30 OH (Aman) Zoom	27 10:00-11:00 OH (Theo) CSE1 (Allen) 5th floor breakout 11:00-12:00 OH (Ryan) CSE1 (Allen) 5th floor breakout 13:30-14:30 OH (Ben) CSE2 (Gates) 150 14:30-15:30 OH (Zihan) Zoom 15:30-16:20 Lecture GWN 301 Reasoning about Knowledge Reading: Halpern and Moses, Knowledge and Common Knowledge in a Distributed Environment (focus on sections 1 through 4) Whiteboards Notes 23:59 Problem set 3, Lab 2 design doc
30 10:00-11:00 OH (Theo) CSE1 (Allen) 4th floor breakout 15:30-16:20 Lecture GWN 301 (Single-decree) Paxos Reading: Lamport, Paxos Made Simple Whiteboards 16:30-17:30 OH (Nour) CSE2 (Gates) 151	31 16:30-17:30 OH (James) CSE1 (Allen) 440 or Zoom 18:00-19:00 OH (Nour) CSE2 (Gates) 121 18:30-19:30 OH (Eyad) CSE2 (Gates) 121 or Zoom	01 9:30-10:30 OH (Aman) CSE1 (Allen) 4th floor breakout 12:30-14:30 OH (Abhishek) CSE2 (Gates) 274 15:30-16:20 Lecture GWN 301 More Paxos Whiteboards 16:30-17:30 OH (Ben) CSE2 (Gates) 153 19:30-20:30 OH (Zihan) Zoom	02 Section Single-decree Paxos practice Slides Video (21sp) 12:30-13:30 OH (Ryan) CSE1 (Allen) 2nd floor breakout 13:30-14:30 OH (Henry) CSE1 (Allen) 4th floor breakout 20:30-21:30 OH (Aman) Zoom	03 10:00-11:00 OH (Theo) CSE1 (Allen) 5th floor breakout 11:00-12:00 OH (Ryan) CSE1 (Allen) 5th floor breakout 13:30-14:30 OH (Ben) CSE2 (Gates) 150 14:30-15:30 OH (Zihan) Zoom 15:30-16:20 Lecture GWN 301 Canceled for CAV deadline and PLDI reviewing deadline 23:59 Lab 2

February
Monday	Tuesday	Wednesday	Thursday	Friday
06 10:00-11:00 OH (Theo) CSE1 (Allen) 4th floor breakout 15:30-16:20 Lecture GWN 301 MultiPaxos Reading: Lamport, Paxos Made Moderately Complex Whiteboards 16:30-17:30 OH (Nour) CSE2 (Gates) 151	07 16:30-17:30 OH (James) CSE1 (Allen) 440 or Zoom 18:00-19:00 OH (Nour) CSE2 (Gates) 121 18:30-19:30 OH (Eyad) CSE2 (Gates) 121 or Zoom	08 9:30-10:30 OH (Aman) CSE1 (Allen) 4th floor breakout 12:30-14:30 OH (Abhishek) CSE2 (Gates) 274 15:30-16:20 Lecture GWN 301 More MultiPaxos Whiteboards 16:30-17:30 OH (Ben) CSE2 (Gates) 153 19:30-20:30 OH (Zihan) Zoom	09 Section Lab 3 Slides Video (21sp) 12:30-13:30 OH (Ryan) CSE1 (Allen) 2nd floor breakout 13:30-14:30 OH (Henry) CSE1 (Allen) 4th floor breakout 20:30-21:30 OH (Aman) Zoom	10 10:00-11:00 OH (Theo) CSE1 (Allen) 5th floor breakout 11:00-12:00 OH (Ryan) CSE1 (Allen) 5th floor breakout 13:30-14:30 OH (Ben) CSE2 (Gates) 150 14:30-15:30 OH (Zihan) Zoom 15:30-16:20 Lecture GWN 301 Lab 2 debrief and code review Whiteboards
13 10:00-11:00 OH (Theo) CSE1 (Allen) 4th floor breakout 15:30-16:20 Lecture GWN 301 Performance Whiteboards Notes 16:30-17:30 OH (Nour) CSE2 (Gates) 151	14 16:30-17:30 OH (James) CSE1 (Allen) 440 or Zoom 18:00-19:00 OH (Nour) CSE2 (Gates) 121 18:30-19:30 OH (Eyad) CSE2 (Gates) 121 or Zoom	15 9:30-10:30 OH (Aman) CSE1 (Allen) 4th floor breakout 12:30-14:30 OH (Abhishek) CSE2 (Gates) 274 15:30-16:20 Lecture GWN 301 Queueing Whiteboards Simulator Code 16:30-17:30 OH (Ben) CSE2 (Gates) 153 19:30-20:30 OH (Zihan) Zoom	16 Section Lab 3 design workshop 12:30-13:30 OH (Ryan) CSE1 (Allen) 2nd floor breakout 13:30-14:30 OH (Henry) CSE1 (Allen) 4th floor breakout 20:30-21:30 OH (Aman) Zoom	17 10:00-11:00 OH (Theo) CSE1 (Allen) 5th floor breakout 11:00-12:00 OH (Ryan) CSE1 (Allen) 5th floor breakout 13:30-14:30 OH (Ben) CSE2 (Gates) 150 14:30-15:30 OH (Zihan) Zoom 15:30-16:20 Lecture GWN 301 Tail latency in practice Reading: Li et al., Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency Whiteboards 23:59 Problem set 4, Lab 3 design doc
20 Presidents' Day	21 16:30-17:30 OH (James) CSE1 (Allen) 440 or Zoom 18:00-19:00 OH (Nour) CSE2 (Gates) 121 18:30-19:30 OH (Eyad) CSE2 (Gates) 121 or Zoom	22 9:30-10:30 OH (Aman) CSE1 (Allen) 4th floor breakout 12:30-14:30 OH (Abhishek) CSE2 (Gates) 274 15:30-16:20 Lecture GWN 301 Sharding Whiteboards 16:30-17:30 OH (Ben) CSE2 (Gates) 153 19:30-20:30 OH (Zihan) Zoom	23 Section Lab 4 part 1+2 intro Slides Video (21sp) 12:30-13:30 OH (Ryan) CSE1 (Allen) 2nd floor breakout 13:30-14:30 OH (Henry) CSE1 (Allen) 4th floor breakout 20:30-21:30 OH (Aman) Zoom	24 10:00-11:00 OH (Theo) CSE1 (Allen) 5th floor breakout 11:00-12:00 OH (Ryan) CSE1 (Allen) 5th floor breakout 13:30-14:30 OH (Ben) CSE2 (Gates) 150 14:30-15:30 OH (Zihan) Zoom 15:30-16:20 Lecture GWN 301 Atomic commit, transactions Whiteboards 23:59 Lab 3
27 10:00-11:00 OH (Theo) CSE1 (Allen) 4th floor breakout 15:30-16:20 Lecture GWN 301 Microservices Reading (blog): Yegge, Google Platform Rant Reading (optional): Keshav, How to Read a Paper Whiteboards 16:30-17:30 OH (Nour) CSE2 (Gates) 151	28 16:30-17:30 OH (James) CSE1 (Allen) 440 or Zoom 18:00-19:00 OH (Nour) CSE2 (Gates) 121 18:30-19:30 OH (Eyad) CSE2 (Gates) 121 or Zoom	01 9:30-10:30 OH (Aman) CSE1 (Allen) 4th floor breakout 12:30-14:30 OH (Abhishek) CSE2 (Gates) 274 15:30-16:20 Lecture GWN 301 Guest lecture by Taylor Blau: Distributed Systems at GitHub Slides 16:30-17:30 OH (Ben) CSE2 (Gates) 153 19:30-20:30 OH (Zihan) Zoom	02 Section Lab 4 part 2+3 Slides Video (21sp) 12:30-13:30 OH (Ryan) CSE1 (Allen) 2nd floor breakout 13:30-14:30 OH (Henry) CSE1 (Allen) 4th floor breakout 20:30-21:30 OH (Aman) Zoom	03 10:00-11:00 OH (Theo) CSE1 (Allen) 5th floor breakout 11:00-12:00 OH (Ryan) CSE1 (Allen) 5th floor breakout 13:30-14:30 OH (Ben) CSE2 (Gates) 150 14:30-15:30 OH (Zihan) Zoom 15:30-16:20 Lecture GWN 301 Google File System Reading (blog): Ghemawat et al., The Google File System Whiteboards 23:59 Lab 4 part 1

March
Monday	Tuesday	Wednesday	Thursday	Friday
06 10:00-11:00 OH (Theo) CSE1 (Allen) 4th floor breakout 15:30-16:20 Lecture GWN 301 Dynamo Reading (blog): Decandia et al., Dynamo: Amazon's Highly Available Key-Value Store Whiteboards 16:30-17:30 OH (Nour) CSE2 (Gates) 151	07 16:30-17:30 OH (James) CSE1 (Allen) 440 or Zoom 18:00-19:00 OH (Nour) CSE2 (Gates) 121 18:30-19:30 OH (Eyad) CSE2 (Gates) 121 or Zoom	08 9:30-10:30 OH (Aman) CSE1 (Allen) 4th floor breakout 12:30-14:30 OH (Abhishek) CSE2 (Gates) 274 15:30-16:20 Lecture GWN 301 Formal methods at AWS Reading (blog): Newcombe et al., Use of Formal Methods at Amazon Web Services Whiteboards TLA+ demo code 16:30-17:30 OH (Ben) CSE2 (Gates) 153 19:30-20:30 OH (Zihan) Zoom	09 Section Lab 4 open office hours 12:30-13:30 OH (Ryan) CSE1 (Allen) 2nd floor breakout 13:30-14:30 OH (Henry) CSE1 (Allen) 4th floor breakout 20:30-21:30 OH (Aman) Zoom	10 10:00-11:00 OH (Theo) CSE1 (Allen) 5th floor breakout 11:00-12:00 OH (Ryan) CSE1 (Allen) 5th floor breakout 13:30-14:30 OH (Ben) CSE2 (Gates) 150 14:30-15:30 OH (Zihan) Zoom 15:30-16:20 Lecture GWN 301 Tapir and course wrapup Reading (blog): Zhang et al., Building Consistent Transactions with Inconsistent Replication Whiteboards 23:59 Lab 4 parts 2+3