CS 2205, PLDI, Fall 2026
Instructor:
Qinxiang Cao
(曹钦翔)
TAs: Kan Liu(刘衎)
Lectures
Time 1:
Tuesday 10:00-11:40
Time 2:
Thursday 10:00-11:40 (odd weeks)
Location:
East Middle Hall (东中院) 4-204
Email:
caoqinxiang@sjtu.edu.cn
Extended Reading
Winskel, Glynn.
The Formal Semantics of Programming Languages: An Introduction.
Appel, Andrew W.
Modern Compiler Implementation in C.
Course Supplements
To Be Released
Course Projects
To Be Released
Lecture Schedule
Week
Date
Lecture Notes
Attachments
Homework
1
09/15
课程信息简介.
pdf
词法分析.
pdf
link
09/17
词法分析器示例.
zip
课后思考题.
pdf
语法分析.
pdf
link
2
09/24
link
3
09/29
link
4
10/08
语法分析器示例.
zip
5
10/13
思考题.
pdf
10/15
寄存器分配.
pdf
link
6
10/22
课后思考题.
pdf
7
10/27
指称语义.
pdf
10/29
不动点定理.
pdf