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 ]

fp@cs
Frank Pfenning