3 Course Calendar
We list some important dates on this calendar for your reference. This calendar is subject to change.
Date | Note |
Monday, Jan. 6, 2020 | Syllabus, Math, and Rebuilding the Universe |
Wednesday, Jan. 8, 2020 | Modeling Languages |
Monday, Jan. 13, 2020 | Modeling Languages |
Tuesday, Jan. 14, 2020 | Homework 1 Assigned |
Wednesday, Jan. 15, 2020 | SNOW DAY |
Monday, Jan. 20, 2020 | POPL DAY |
Wednesday, Jan. 22, 2020 | POPL DAY |
Friday, Jan. 24, 2020 | Homework 1 Due |
Monday, Jan. 27, 2020 | Homework 1 Review; Modeling imperative features, modeling type systems |
Wednesday, Jan. 29, 2020 | Proof by Induction, and more Type Systems! |
Monday, Feb. 3, 2020 | Type system for imperative languages, and more type safety! |
Monday, Feb. 3, 2020 | Homework 2 Assigned! |
Wednesday, Feb. 5, 2020 | Linking, and modeling assembly |
Monday, Feb. 10, 2020 | Compiler pass 1: CPS! |
Wednesday, Feb. 12, 2020 | Compiler pass 2: Closure Conversion! |
Monday, Feb. 17, 2020 | READING BREAK! |
Wednesday, Feb. 19, 2020 | READING BREAK! |
Monday, Feb. 24, 2020 | Homework 2 Due! |
Monday, Feb. 24, 2020 | Compiler Correctness Theorems! |
Monday, Feb. 24, 2020 | Project Assigned! |
Wednesday, Feb. 26, 2020 | Begin Seminar on Compiler Correctness |
Wednesday, Feb. 26, 2020 | From System F to Typed Assembly Language |
Monday, Mar. 2, 2020 | TIL: A type-directed optimizing compiler for ML |
Wednesday, Mar. 4, 2020 | Proof Carrying Code |
Monday, Mar. 9, 2020 | Dependently Typed Assembly Language |
Wednesday, Mar. 11, 2020 | Bringing the Web up to Speed with WebAssembly |
Monday, Mar. 16, 2020 | Formal Certification of a Compiler Back-end |
Wednesday, Mar. 18, 2020 | Formal Certification of a Compiler Back-end |
Monday, Mar. 23, 2020 | Compositional CompCert |
Wednesday, Mar. 25, 2020 | Lightweight Verification of Separate Compilation |
Monday, Mar. 30, 2020 | Typed Closure Conversion Preserves Observational Equivalence |
Wednesday, Apr. 1, 2020 | The Correctness Security Gap in Compiler Optimization |
Monday, Apr. 6, 2020 | Securing the .NET Programming Model |
Wednesday, Apr. 8, 2020 | CT-wasm: Type-driven Secure Cryptography for the Web Ecosystem |
Wednesday, Apr. 8, 2020 | Projects Write-up Due. |
Wednesday, Apr. 15, 2020 | Project Critiques Due. |