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
|