CS 131: Compilers - Fall 2026¶
Course Information¶
Instructor
-
office hours: Wednesday 4:00-5:00pm and by appointment, SIST 1C503.A
Teaching Assistants
Ma Ruize 马锐泽
email: marz2024@shanghaitech.edu.cn
office hours: TBD
Yan Zheng 鄢正
email: yanzheng2023@shanghaitech.edu.cn
office hours: TBD
Coordinates
Time: Tuesday, Thursday, 1:00pm - 2:40pm
Location: 1A106, SIST
Online discussion: Piazza
Homework submission: Blackboard
Homework Projects¶
HW1: Hellocaml!
Due: September 27th at 11:59pm
Textbooks and Resources¶
There is no required textbook for this course. However, you may find the following references useful for digging deeper into course topics.
On 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 Types and Type Systems
Types and Programming Languages by Pierce
Advanced Topics in Types and Programming Languages by Pierce et al.
On Program Analysis
Principles of Program Analysis by Nielson, Nielson, and Hankin
On OCaml
Introduction to Objective Caml by Jason Hickey
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 U.Penn’s CIS341 by Steve Zdancewic.