Lecture notes on future days are copies from last year to give you an idea of what’s coming up. We will update them as the course progresses. If you are particularly interested in some topic not covered here, talk to the course staff.

January
Monday Tuesday Wednesday Thursday Friday
07 08 09
11:30-12:50 Lecture: intro
10 11
11:30-12:50 Lecture: exokernel I
14 15 16
11:30-12:50 Lecture: Dune
17 18
Hack Day
23:00 Project proposal due
21
Martin Luther King Day
22 23
11:30-12:50 Lecture: exokernel II
24 25
11:30-12:50 Lecture: Haven
28 29 30
11:30-12:50 Lecture: SFI
31 01
Hack Day
23:00 Assignment 1 due

February
Monday Tuesday Wednesday Thursday Friday
04 05 06
11:30-12:50 Lecture: EROS
07 08
Hack Day
11
23:00 Project checkpoint due
12 13
11:30-12:50 Lecture: seL4
14 15
11:30-12:50 Lecture: proof-carrying code
18
Presidents Day
19 20
11:30-12:50 Lecture: KLEE
21 22
11:30-12:50 Lecture: Hyperkernel
25 26 27
11:30-12:50 Lecture: crash consistency
28 01
11:30-12:50 Lecture: HiStar

March
Monday Tuesday Wednesday Thursday Friday
04 05 06
11:30-12:50 Lecture: Linux scalability
07 08
11:30-12:50 Lecture: scalable commutativity
11
23:00 Assignment 2 due
12
Grad Visit Days
13
Grad Visit Days
14 15
11:30-12:50 Lecture: demos
23:00 Project report due