| Date | Topic | Presenter |
|---|---|---|
| 7 Jan | (organizational meeting) | n/a |
| 14 Jan | (no class --- POPL) | n/a |
| 21 Jan | iburg: PDF | |
| 28 Jan | Assmann: compressed postscript | Andrei |
| 4 Feb | (Kathleen Fisher visit) | |
| 11 Feb | Visser et al.: PDF File | Andrew |
| 18 Feb | Peyton Jones et al.: PDF File | Keunwoo |
| 25 Feb | Lacey & de Moor: gzipped postscript | Sorin |
| 3 Mar | Berhard Steffen: Data Flow Analysis as Model Checking | Tao |
| 10 Mar | Sittampalam et al.: PDF file | Charlie |