7.5.0.17

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.