Schedule
Tentative schedule, subject to change in the future.
LEC: lecture material
READ: text or papers to be read BEFORE each class
Quiz: quiz
LAB: lab out
DUE: lab due
Time | Topic | Lecture | Homework & Quizzes | Lab |
March 24 | Overview |
LEC: Overview; Control-flow graphs; READ: control-flow graphs; |
LAB: lab 1: Control-flow graphs | |
March 31 | Optimization overview |
LEC: Optimization;
READ: Optimization |
Quiz: quiz 1 |
|
April 7 | Data-flow analysis |
LEC: Data-flow analysis;
READ: Data-flow analysis |
Quiz: quiz 2 |
LAB: lab 2: Data-flow analysis |
April 14 | Optimizations |
LEC: Optimizations
READ: Optimizations |
Quiz: quiz 3 |
|
April 21 | Lattice, Monotone framework |
LEC: Lattice
READ: Lattice |
Quiz: quiz 4 |
LAB: lab 3: Lattice |
April 28 | SSA |
LEC: SSA
READ: SSA |
Quiz: quiz 5 |
|
May 12 | Interprocedural analysis |
LEC: Interprocedural
READ: Interprocedural |
Quiz: quiz 6 |
LAB: lab 4: SSA |
May 19 | Pointer analysis |
LEC: Pointer
READ: Pointer |
Quiz: quiz 7 |
|
May 26 | Abstract Interpretation |
LEC: AI
READ: AI |
Quiz: quiz 8 |
LAB: lab 5: Interprocedural |
June 9 | Dynamic analysis |
LEC: Dynamic
READ: Dynamic |
Quiz: quiz 9
|
|
June 16 | Register Allocation |
LEC:
Allocation
READ: allocation |
Quiz: quiz 10 |
LAB: lab 6: Pointer |
June 23 | Polyhedral Analysis |
LEC: Polyhedral
READ: Polyhedral |
Quiz: quiz 11 |
|
June 30 | Closures & Continuations |
LEC: Closures
READ: Functional Language Compilation |
Quiz: quiz 12 |
|
July 10 | Final Test |
Time: 14:00-16:00 Location: Minxue 101-102 Style: open book & open notes |