CS4212: Compiler Design (Autumn 2024)¶
Instructor: Ilya Sergey
Lectures: Mondays, 3:00pm-6:00pm
Location: LT18
Teaching Assistant: TBA
Lectures¶
Week 01: Introduction [W01 Slides] [W01 Code]
More lecture materials will be posted gradually as we progress through the course.
Code¶
This course’s GitHub Organisation (please, email me your GitHub handle to have access)
Homework Projects¶
TBA
Textbooks and Additional Resources¶
On General Principles of Compiler Construction
Compilers: Principles, Techniques, and Tools (2nd Edition) by Aho, Lam, Sethi, and Ullman
Advanced Compiler Design and Implementation by Muchnick
Modern Compiler Implementation in ML by Appel
On Compiling Functional Languages
The Implementation of Functional Programming Languages by Simon Peyton Jones
On Types and Programming Language Foundations
Types and Programming Languages by Pierce
Advanced Topics in Types and Programming Languages by Pierce et al.
Software Foundations by Pierce et al.
On Program Analysis
Static Program Analysis by Anders Møller and Michael I. Schwartzbach
Principles of Program Analysis by Nielson, Nielson, and Hankin
On OCaml
Real World OCaml by Yaron Minsky and Anil Madhavapeddy
Introduction to Objective Caml by Jason Hickey
Copyright¶
Most of the materials and assignments for this module have been adapted, with permission, from the UPenn’s compiler class by Steve Zdancewic.