If you are particularly interested in some topic or paper not covered here, add a suggestion on Piazza.

Schedule

January
Monday	Tuesday	Wednesday	Thursday	Friday
16	17	18 Introduction	19	20 Assignment: Lecture sign-up due
23 SAT & SMT, Part 1	24	25 SAT & SMT, Part 2	26	27 Assignment: SMT due
30 Boogie & Dafny	31	01 Advanced Dafny	02	03 Assignment: Dafny due

February
Monday	Tuesday	Wednesday	Thursday	Friday
06 OS: Verve	07	08 OS: seL4 - Part 1	09	10 Project proposal due
13 OS: seL4 - Part 2	14	15 OS: CertiKOS	16	17
20 File Systems: FSCQ	21	22 File Systems: Push-Button	23	24 Assignment: Coq due
27 Meta arguments	28	01 Compilers: CompCert	02	03

March
Monday	Tuesday	Wednesday	Thursday	Friday
06 Compilers: CakeML	07	08 Security: RockSalt	09	10 Assignment: Compression due
13 Spring Break	14 Spring Break	15 Spring Break	16 Spring Break	17 Spring Break
20 Security: Ironclad Apps - Part 1	21	22 Security: Ironclad Apps - Part 2	23	24 Project checkpoint due
27 Security: HMAC	28	29 Security: Certified Crypto	30	31

April
Monday	Tuesday	Wednesday	Thursday	Friday
03 Security: MiTLS	04	05 Security: Browser shim	06	07
10 Distributed Systems: IronFleet - Part 1	11	12 Distributed Systems: IronFleet - Part 2	13	14
17 Distributed Systems: Verdi	18	19 Web Apps	20	21
24 Databases: Cosette	25	26 Networks: Header space	27	28

May
Monday	Tuesday	Wednesday	Thursday	Friday
01 Project Presentations	02	03 Project Presentations	04	05 Project report due