Lectures

Course Notes#

The following course notes are intended to complement what is covered in lectures. Feel free to bring questions to class. Enjoy!

Week 1#

• Introduction
• Lexical Analysis

Week 2#

• Syntactic Analysis

Week 3#

• Follow-up on Syntactic Analysis
• Turtle example

Week 4#

• Semantic Analysis

Week 5#

• Runtime Environment

Week 6#

• Monday: Midterm exam. Example exam
• Translation

Week 7#

• Canonical Trees

Week 8#

• Code Generation

Week 9#

• Liveness Analysis

Week 10#

• Register Allocation

Week 11#

• Monday, Garbage Collection by Tony
• Tuesday, Hardware Speculation by Shoaib Akram Speculation Systems Research

Week 12#

• Monday, Gradually-Typed Languages by Fabian Muehlboeck Slides
• Tuesday, The CakeML compiler: verification stories Michael Norrish Slides