SCHEDULE IS UNDER CONSTRUCTION.

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
Assignment: Lab 1: StatDB
sep 26 sep 27
LEC 7: Refinement and Hoare logic
Preparation: Read Refinement.Proc and Refinement.Hoare
sep 28
DUE: Lab 0: Binary nat tree
sep 29
Student holiday
oct 2
LEC 8: Compcert & refinement
Preparation: Read Compcert
oct 3 oct 4
LEC 9: Rocksalt
Preparation: Read Rocksalt
Assignment: Lab 2
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
oct 12
DUE: Lab 2 A Remapped Disk
oct 13
oct 16
LEC 11: Modeling storage devices
Preparation: Read FSCQ
oct 17 oct 18
LEC 12: Logging
Preparation: Read VDFS
Assignment: Lab 3
oct 19
DUE: Lab 2 B Remapped Disk
oct 20
oct 23
LEC 13: Lab 2 discussion
oct 24 oct 25
LEC 14: Symbolic execution
Preparation: Read Yggdrasil
oct 26
DUE: Lab 3A Atomic Disk
oct 27
oct 30
Hacking day
oct 31 nov 1
LEC 15: File system specs
Preparation: Read SibylFS
nov 2
DUE: Lab 3B Atomic Disk
nov 3
nov 6
LEC 16: Concurrency
Preparation: Read Chess
nov 7 nov 8
Hacking day
nov 9
DUE: Lab 3C Atomic Disk
nov 10
Veteran's Day
nov 13
LEC 17: Lab 3 discussion
nov 14 nov 15
LEC 18: Concurrency
Preparation: Read Concurrent GC
nov 16
DUE: Lab 4A Replicated Disk
nov 17
nov 20
LEC 19: Isolation
Preparation: Read CertikOS
nov 21 nov 22
DROP DATE
Hacking day
nov 23
Thanksgiving
nov 24
Thanksgiving
nov 27
LEC 20: Security
Preparation: Read IronClad
nov 28 nov 29
LEC 21: Distributed systems
Preparation: Read Reliable messages
nov 30
DUE: Lab 4B Replicated Disk
dec 1
dec 4
LEC 22: Distributed systems
Preparation: Read IronFleet
dec 5 dec 6
LEC 23: Distributed systems
Preparation: Read Empirical study
dec 7
DUE: Lab 4C Replicated Disk
dec 8
dec 11
Hacking day
DUE: Lab 4D Replicated Disk
dec 12 dec 13
LEC 24: Lab 4 discussion, and wrap-up
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