MondayTuesday WednesdayThursday 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.

Creative Commons License