| Week 1 |
| Monday 3/26 |
Landscape,
context-sensitive dataflow |
MD |
| Wednesday 3/28 |
IDFA via
graph reachability |
MD |
| Week 2 |
| Monday 4/2 |
Dependence graphs, slicing |
MD |
| Wednesday 4/4 |
Context-sensitive algorithms |
Erik Ruf |
| Week 3 |
| Monday 4/9 |
Abstract interpretation |
MD |
| Wednesday 4/11 |
Abstract interpretation |
MD |
| Week 4 |
| Monday 4/16 |
Type inference;
Algorithm W |
MD |
| Wednesday 4/18 |
Program
analysis via type inference |
MD |
| Week 5 |
| Monday 4/23 |
Polymorphic type inference |
Jakob Rehof |
| Wednesday 4/25 |
Subtyping;
set constraints |
Manuel Fahndrich |
| Week 6 |
| Monday 4/30 |
Effect
systems/Region inference |
MD |
|
|
|
| Week 7 |
| Monday 5/7 |
Path simulation,
decision procedures |
MD |
| Wednesday 5/9 |
Model checking |
Sriram Rajamani |
| Week 8 |
| Monday 5/14 |
Program
verification |
MD |
| Wednesday 5/16 |
Analysis of OO programs |
Craig Chambers |
| Week 9 |
| Monday 5/21 |
Program
profiling |
Tom Ball |
| Wednesday 5/23 |
Vault/SLAM |
Rob Deline
/
Sriram Rajamani |
| Week 10 |
| Wednesday 5/30 |
ESP/Wrapup |
MD |
