15-417/817 HOT Compilation
Schedule

The class notes provide additional reading material
They complement, but do not replace the lecture
The schedule is subject to change throughout the semester

Date			Lecture Notes	Additional Reading	Due

Tue	Jan	14	Sax	lec01.sax lec01.sax.val
Thu	Jan	16	Linear Typechecking	lec02.sax lec02.sax.val

Tue	Jan	21	Linear Natural Deduction (by Sophia Roshal)	lec03.adj0
Thu	Jan	23	Compilation		Lab 1 (tests)

Tue	Jan	28	Evaluation
Thu	Jan	30	Optimizations	inc.sax rev.sax	Lab 1 (compilers)

Tue	Feb	4	Negative Types	lec07.nd lec07.nd.sax
Thu	Feb	6	Closures		Lab 2 (tests)

Tue	Feb	11	Closure Conversion	lec09.nd lec09.nd.sax
Thu	Feb	13	Adjoint Types	lec10.adj	Lab 2 (compilers)

Tue	Feb	18	Lecture Cancelled
Thu	Feb	20	Law and Order	lec11.adj	Lab 3 (tests)

Tue	Feb	25	Substructural Parametricity	[draft paper]
Thu	Feb	27	Ordered Type Checking		Lab 3 (compilers)

Tue	Mar	4	Spring Break
Thu	Mar	6	Spring Break

Tue	Mar	11	Adjoint Sax
Thu	Mar	13	Data Layout	lec15.adj lec15.adj.snax lec15.adj.snax.c

Tue	Mar	18	Calling Conventions		Lab 4 (tests)
Thu	Mar	20	(CSD Open House)

Tue	Mar	25	Sequent Calculus		Lab 4 (compilers)
Thu	Mar	27	Adjoint Ordered Types

Tue	Apr	1	Garbage Collection	[Gupta23]
Thu	Apr	3	Spring Carnival

Tue	Apr	8	Continuation-Passing Style	[Danvy95]
Thu	Apr	10	Heap-Free Functional Programs	Hofmann [ESOP'00] [NJC'00]

Tue	Apr	15	Polarized Types
Thu	Apr	17	The Enriched Effect Calculus

Tue	Apr	22	Concurrent LF (from Fall'23)	sax.clf sax-typed.clf sax-dest.clf [SchackNielsen11phd] [Celf Implementation]
Fri	Apr	25			Lab 5 (code & write-up)

[ Home | Schedule | Assignments | Resources ]