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
02
New Year's Day
03 04
11:00-12:20 Lecture: intro
05 06
11:00-12:20 Lecture: exokernel I
09 10 11
11:00-12:20 Lecture: exokernel II
12 13
11:00-12:20 Lecture: SFI
23:00 Project proposal due
16
Martin Luther King Day
17 18
11:00-12:20 Lecture: Dune
19 20
11:00-12:20 Lecture: Haven
23 24 25
11:00-12:20 Lecture: deviant behavior
26 27
11:00-12:20 Lecture: undefined behavior
30
23:00 Assignment 1 due
31 01
11:00-12:20 Lecture: seL4 I
02 03
11:00-12:20 Lecture: seL4 II

February
Monday Tuesday Wednesday Thursday Friday
06 07 08
11:00-12:20 Lecture: Capsicum
09 10
11:00-12:20 Lecture: Flume
23:00 Project checkpoint due
13 14 15
11:00-12:20 Lecture: IntroVirt
16 17
11:00-12:20 Lecture: R2
20
Presidents Day
21 22
11:00-12:20 Lecture: crash consistency
23 24
11:00-12:20 Lecture: Featherstitch
27 28 01
11:00-12:20 Lecture: Linux scalability
02 03
11:00-12:20 Lecture: scalable commutativity

March
Monday Tuesday Wednesday Thursday Friday
06
23:00 Assignment 2 due
07 08
11:00-12:20 Lecture: demos
09 10
11:00-12:20 Lecture: demos
23:00 Project report due