Monday	Tuesday	Wednesday	Thursday	Friday
sep 4	sep 5 Reg Day	sep 6 LEC 1: Introduction to 6.826 slides Preparation: Install class software Assignment: Basics homework	sep 7	sep 8
sep 11 LEC 2: Specifications Preparation: Read Formal methods at Amazon; do reading questions Homework due: Basics Assignment: Induction homework	sep 12	sep 13 LEC 3: Coq Homework due: Induction Assignment: Lists homework	sep 14	sep 15
sep 18 LEC 4: Coq: modeling disks Homework due: Lists Assignment: Lab 0: Binary tree	sep 19	sep 20 LEC 5: In-class programming on lab 0 Preparation: Lab 0 up to and start on "binsearch_in"	sep 21	sep 22
sep 25 LEC 6: Refinement Preparation: Read Abstraction Functions and invariants and Generalizing Abstraction Functions; do reading questions Assignment: Lab 1: StatDB	sep 26	sep 27 LEC 7: Refinement and Hoare logic Preparation: Read Spec.Proc and Spec.Abstraction	sep 28 DUE: Lab 0: Binary nat tree	sep 29 Student holiday
oct 2 LEC 8: Compcert & refinement Preparation: Read Compcert; do reading questions	oct 3	oct 4 LEC 9: Rocksalt Preparation: Read Rocksalt; do reading questions Assignment: Lab 2: Remapped disk	oct 5 DUE: Lab 1 StatDB	oct 6 ADD DATE
oct 9 Columbus Day	oct 10 Columbus Day	oct 11 LEC 10: Crashes Preparation: Read SSDs; do reading questions	oct 12 DUE: Lab 2 A Remapped Disk	oct 13
oct 16 LEC 11: Modeling disks and logging Preparation: Read FSCQ; do reading questions	oct 17	oct 18 LEC 12: Symbolic execution Preparation: Read Yggdrasil; do reading questions Assignment: Lab 3: Atomic Pair	oct 19 DUE: Lab 2 B Remapped Disk	oct 20
oct 23 LEC 13: Lab 2 discussion and lab 3 preview	oct 24	oct 25 LEC 14: File system specs Preparation: Read SibylFS; do reading questions	oct 26 DUE: Lab 3A Atomic Disk	oct 27
oct 30 Hacking day	oct 31	nov 1 LEC 15: Specifying a high-performance file system Preparation: Read DFSCQ; do reading questions	nov 2 DUE: Lab 3B Atomic Disk	nov 3
nov 6 LEC 16: Concurrency Preparation: Read Chess; do reading questions	nov 7	nov 8 LEC 17: Specifying concurrency Preparation: Read Concurrency handout; do reading questions Assignment: Lab 4: Replicated Disk	nov 9 DUE: Lab 3C Atomic Disk	nov 10 Veteran's Day
nov 13 LEC 18: Lab 3 discussion and Lab 4 preview	nov 14	nov 15 LEC 19: Concurrency Preparation: Read Concurrent GC; do reading questions	nov 16 DUE: Lab 4A Replicated Disk	nov 17
nov 20 LEC 20: Distributed systems Preparation: Read Reliable messages; do reading questions	nov 21	nov 22 DROP DATE Hacking day	nov 23 Thanksgiving	nov 24 Thanksgiving
nov 27 LEC 21: Distributed systems Preparation: Read IronFleet; do reading questions	nov 28	nov 29 LEC 22: Distributed systems Preparation: Read Empirical study; do reading questions	nov 30 DUE: Lab 4B Replicated Disk	dec 1
dec 4 LEC 23: Isolation Preparation: Read Hyperkernel; do reading questions	dec 5	dec 6 LEC 24: Security Preparation: Read CertiKOS; do reading questions	dec 7 DUE: Lab 4C Replicated Disk	dec 8
dec 11 Hacking day	dec 12	dec 13 LEC 25: Lab 4 discussion, and wrap-up DUE: Lab 4D Replicated Disk	dec 14	dec 15

Questions or comments regarding 6.826? Contact us on Piazza or send e-mail to the 6.826 staff at 6826-staff@lists.csail.mit.edu.