CS 131: Compilers - Fall 2025

Course Information

Instructor

Teaching Assistants

  • Zhang Yangjie 张炀杰

    office hours: Wednesday 19:00 - 20:00, Online

    The registration function is enabled for this meeting. Please click the link to register and join the meeting:

    https://meeting.tencent.com/dm/tGZwt9zU2vCM

    Tencent Meeting：940-7558-3602

  • Zhao Sizhe 赵思哲

    office hours: Thursday 20:00 - 21:00, Location: 1B-106

Coordinates

  • Time: Tuesday, Thursday, 13:00 - 14:30

  • Location: 1A106, SIST

  • Online discussion: Piazza

  • Homework submission: Blackboard

Homework Projects

  • HW1: Hellocaml!

    • Due: September 28th at 11:59pm

  • HW2: X86lite simulator

  • Due: October 14th 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

  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