Schedule
This is a tentative schedule. There will likely be changes and we will try to keep this page up to date.
| Week | Date | Event | Topic | Assignments |
|---|---|---|---|---|
| 1 | ||||
| Aug 26 | Lecture 01 | Overview / Traditional Analysis of Algorithms | ||
| Aug 28 | Lecture 02 | Amoritzed Analysis and Complexity Theory | ||
| 2 | ||||
| Sep 2 | Lecture 03 | PL Foundations: Syntax and Static Semantics | Hw 1 out | |
| Sep 4 | Lecture 04 | PL Foundations: Dynamic Semantics | ||
| 3 | ||||
| Sep 9 | Lecture 05 | Big-Stop Semantics / Normal Forms | Hw 1 due | |
| Sep 11 | Lecture 06 | Substructural Type Systems | ||
| 4 | ||||
| Sep 16 | Lecture 07 | ICC & System T | Hw 2 out | |
| Sep 18 | Lecture 08 | Constructor Free Types | ||
| 5 | ||||
| Sep 23 | Lecture 09 | LFPL | Hw 2 due | |
| Sep 25 | Lecture 10 | LFPL: Soundness and Completeness | ||
| 6 | ||||
| Sep 30 | Lecture 11 | Cost Semantics | Hw 3 out | |
| Oct 2 | Lecture 12 | Justifying Cost Semantics & Cost Annotations | ||
| 7 | ||||
| Oct 7 | Lecture 13 | Linear AARA | Hw 3 due | |
| Oct 9 | Lecture 14 | Soundness of Linear AARA | ||
| Oct 14 | Fall Break | |||
| Oct 16 | Fall Break | |||
| 8 | ||||
| Oct 21 | Lecture 15 | Type Inference for AARA | Hw 4 out | |
| Oct 23 | Lecture 16 | Remainder contexts | ||
| 9 | ||||
| Oct 28 | Lecture 17 | Univeriate polynomial AARA | Hw 4 due | |
| Oct 30 | Lecture 18 | Resource-polymorphic Recursion | MPs start | |
| 10 | ||||
| Nov 4 | Democracy Day | |||
| Nov 6 | Lecture 19 | Resource Polynomials | ||
| 11 | ||||
| Nov 11 | Lecture 20 | Multivariate polynomial AARA | ||
| Nov 13 | Lecture 21 | AARA and Recursive Types | ||
| 12 | ||||
| Nov 18 | Lecture 22 | Probabilistic programs | ||
| Nov 20 | Lecture 23 | AARA and Expected Cost | ||
| 13 | ||||
| Nov 25 | Thanksgiving Break | |||
| Nov 27 | Thanksgiving Break | |||
| 14 | ||||
| Dec 3 | Lecture 24 | |||
| Dec 5 | MPs due |