As the course progresses hyperlinks will be provided to the lecture notes.
| Date | Lecture | Topic | Homework | Reading |
| Jan. 22 | ||||
| Jan. 29 | 1 | Aiken. Program analysis. (PPT, PS, PDF) | ||
| Feb. 5 | 2 | Aiken. Abstract Interpretation. (PPT, PS, PDF) | ||
| Feb. 12 | 3 | Aiken. Type-Based Program Analysis (PPT, PS, PDF) | ||
| Feb. 19 | No class. Holiday | |||
| Feb. 26 | 5 | Henzinger. PPT | ||
| Mar. 5 | 4 | Aiken. Constraint-Based Program Analysis (PPT, PS, PDF) | ||
| Mar 12 | 6 | Henzinger. PPT | ||
| Mar 19 | 7 | Henzinger. PPT | ||
| Mar 26 | No class. Spring Recess. | |||
| Apr. 2 | 8 | Henzinger. PPT | ||
| Apr. 9 | 9 | Necula. Axiomatic Semantics. (PPT, PS, PDF) | ||
| Apr. 16 | 10 | Necula. Verification Condition Generation (PPT, PS, PDF) | ||
| Apr. 23 | 11 | Necula. Decision Procedures. (PPT, PS, PDF) | ||
| Apr. 30 | 12 | Necula. Combining Program Analysis and Theorem Proving. (PPT, PS, PDF) | ||
| May. 7 | 13 | TBA |