| Date | Topic | Comments |
| 1/8 | Introduction | |
| 1/10 | ASM (ch. 2) | |
| 1/15 | ASM (ch. 2) | |
| 1/17 | Calc: A small language | |
| 1/22 | Formalization of Calc in ASM | |
| 1/24 | Type safety of Calc | |
| 1/29 | Type safety of Calc | Type safety proof due |
| 1/31 | Ch. 3 | |
| 2/5 | Ch. 3 | |
| 2/7 | Ch. 4-5 | |
| 2/12 | Ch. 4-5 | |
| 2/14 | Type Safety Proof | Venkatesh Choppella |
| 2/19 | Type Safety Proof | Venkatesh Choppella |
| 2/21 | Haskell I | Ryan Newton and Felix Terkhorn |
| 2/26 | Haskell II | Ryan Newton and Felix Terkhorn |
| 2/28 | Haskell III | Ryan Newton and Felix Terkhorn |
| 3/5 | Ch. 8 | |
| 3/7 | Ch. 8 | Assignment 2 due |
| 3/12 | --------------- | Spring break |
| 3/14 | --------------- | Spring break |
| 3/19 | Introduction to the JVM and bytecode language | Project progress review |
| 3/21 | Ch. 9.1, 10.1 | |
| 3/26 | Ch. 10.1, 11.1 | |
| 3/28 | Ch. 15 | |
| 4/2 | Ch. 15 | |
| 4/4 | Ch. 16 | Assignment 3 due |
| 4/9 | Ch. 16 | |
| 4/11 | Ch. 17 | |
| 4/16 | Ch. 17 | |
| 4/18 | Ch. 18 | |
| 4/23 | Ch. 18 | |
| 4/25 | Conclusion | |
| 4/30 | Projects due |