Date | Topic | Lecture Notes |
1/9 | Course overview | Syllabus |
  | Attribute grammars | slides |
  | Operational semantics | slides |
2/22 | Midterm exam (in class) | Results: median ?, max possible ? |   | Abstract interpretation | slides |
3/12, 3/14 | No classes (spring break) | |
  | Types | slides |
  | Control-flow analysis | slides |
  | Data-flow analysis | slides |
  | Compiler optimizations | slides |
  | Misc | overflows; bugs |
4/18 | Last class | |
4/29 (Monday) | Final exam (8:00 am - 9:45 am) | Results: median ?, max possible ? |