If you are particularly interested in some topic not covered here, send mail to the course staff.
| March | ||||
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 28 |
29
Lecture:
intro
|
30
Sign up due
|
31
Lecture:
SMT
|
01 |
| April | ||||
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
04
Assignment: SMT due
|
05
Lecture:
Dafny I
|
06 |
07
Lecture:
Dafny II
|
08 |
| 11 |
12
Lecture:
Coq I
|
13 |
14
Lecture:
Coq II
|
15
Project proposal due
|
| 18 |
19
Lecture:
CompCert I
|
20 |
21
Lecture:
CompCert II
|
22 |
| 25 |
26
Lecture:
IronFleet I (question)
|
27 |
28
Lecture:
IronFleet II
|
29 |
| May | ||||
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 02 | 03 | 04 |
05
Lecture:
Verdi II
|
06 |
| 09 |
10
Hack day
|
11 |
12
Lecture:
FSCQ
|
13
Project checkpoint due
|
| 16 |
17
Lecture:
seL4
|
18 |
19
Lecture:
guest lecture by Gernot Heiser
|
20 |
| 23 |
24
Lecture:
RockSalt
|
25 |
26
Lecture:
HMAC
|
27 |
|
30
Memorial Day
|
31
Lecture:
Ironclad
|
01 |
02
Lecture:
miTLS
|
03 |
| June | ||||
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 06 | 07 | 08 | 09 |
10
Project report due
|