|
15-417/817 HOT Compilation
|
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 ]
fp@cs
Frank Pfenning