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 semantics | Hw 1 out | |
| Sep 4 | Lecture 04 | Substructural Type Systems | ||
| 3 | ||||
| Sep 9 | Lecture 05 | From System T to System BC | Hw 1 due | |
| Sep 11 | Lecture 06 | LFPL | ||
| 4 | ||||
| Sep 16 | Lecture 07 | LFPL: Soundness and Completeness | Hw 2 out | |
| Sep 18 | Lecture 08 | Cost Semantics: Resource Safety | ||
| 5 | ||||
| Sep 23 | Lecture 09 | Cost Semantics: Resource Effects | Hw 2 due | |
| Sep 25 | Lecture 10 | Justifying Cost Semantics & Cost Annaotation | ||
| 6 | ||||
| Sep 30 | Lecture 11 | Cost Semantics: Divergence | Hw 3 out | |
| Oct 2 | Lecture 12 | Linear AARA | ||
| 7 | ||||
| Oct 7 | Lecture 13 | Soundness of Linear AARA | Hw 3 due | |
| Oct 9 | Lecture 14 | Type Inference for AARA | ||
| Oct 14 | Fall Break | |||
| Oct 16 | Fall Break | |||
| 8 | ||||
| Oct 21 | Lecture 15 | 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 |