teaching
Websites and materials for courses I taught.
Current Courses
15-814 Types and Programming Languages (Fall 2026)
Past Courses
-
Spring 2026: 15-819 Probabilistic Programming Languages
-
Spring 2025: Sabbatical
-
Fall 2024: 15-814 Types and Programming Languages
-
Spring 2024: 15-411/611 Compiler Design
-
Fall 2023: 15-814 Types and Programming Languages
-
Spring 2023: 15-411/611 Compiler Design
-
Fall 2022: 15-814 Types and Programming Languages
-
Spring 2022: 15-312 Foundations of Programming Languages
-
Spring 2021: 15-312 Foundations of Programming Languages
-
Fall 2020: 15-819 Resource Aware Programming Languages
-
Spring 2020: 15-312 Foundations of Programming Languages
-
Fall 2019: 15-819 Foundations of Quantitative Program Analysis
-
Summer 2019: OPLSS: Resource Analysis
-
Spring 2019: 15-312 Foundations of Programming Languages (with Stephanie Balzer)
-
Fall 2018: 15-411/15-611 Compiler Design
-
Summer 2018 OPLSS: Introduction to Types and Semantics (with Paul Downen)
-
Spring 2018 15-312 Foundations of Programming Languages
-
Fall 2017: 15-411/15-611 Compiler Design
-
Spring 2017: 15-312 Foundations of Programming Languages (with Bob Harper)
-
Fall 2016: 15-411/15-611 Compiler Design
-
Summer 2016: OPLSS: Automated Complexity Analysis
-
Spring 2016: 15-819 Advanced Topics in Programming Languages: Resource Analysis