CS4212: Compiler Design (Autumn 2022)

• 1. Course Syllabus and Grading Schema
• 2. Software Prerequisites
• 3. OCaml Style Guide

• Instructor: Ilya Sergey

• Lectures: Mondays, 9:00am-12:00pm

• Location: COM1-VCRM

• Teaching Assistant: George Pîrlea

Lectures

• Week 01: Introduction [W01 Slides] [W01 Code]

• Week 02: X86Lite [W02 Slides] [W02 Code] [X86lite Specification]

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

• 1. HW1: Hellocaml

Textbooks and Resources

On 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 Types and Type Systems

1. Types and Programming Languages by Pierce

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

On Program Analysis

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

On OCaml

1. Introduction to Objective Caml by Jason Hickey

2. Real World OCaml by Yaron Minsky, Anil Madhavapeddy, and 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.