CS4212: Compiler Design (Autumn 2024)

  • Instructor: Ilya Sergey

  • Lectures: Mondays, 3:00pm-6:00pm

  • Location: LT18

  • Teaching Assistant: TBA

Lectures

More lecture materials will be posted gradually as we progress through the course.

Code

Homework Projects

TBA

Textbooks and Additional Resources

On General Principles of Compiler Construction

  1. Compilers: Principles, Techniques, and Tools (2nd Edition) by Aho, Lam, Sethi, and Ullman

  2. Advanced Compiler Design and Implementation by Muchnick

  3. Modern Compiler Implementation in ML by Appel

On Compiling Functional Languages

  1. The Implementation of Functional Programming Languages by Simon Peyton Jones

On Types and Programming Language Foundations

  1. Types and Programming Languages by Pierce

  2. Advanced Topics in Types and Programming Languages by Pierce et al.

  3. Software Foundations by Pierce et al.

On Program Analysis

  1. Static Program Analysis by Anders Møller and Michael I. Schwartzbach

  2. Principles of Program Analysis by Nielson, Nielson, and Hankin

On OCaml

  1. Real World OCaml by Yaron Minsky and Anil Madhavapeddy

  2. Introduction to Objective Caml by Jason Hickey