POPL



Home

Details

Schedule

References


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