| Date | Topic | Presenter |
|---|---|---|
| 31 Mar | Flanagan and Qadeer, Types for Atomicity (TLDI'03) | Charlie |
| 7 April | Ford, Parsing Expression Grammars: A Recognition-Based Syntactic Foundation (POPL'04) | Keunwoo |
| 14 April | Neubauer and Thiemann, Discriminative sum types locate the source of type errors (ICFP'03) | Andrew |
| 21 April | Heine and Lam, A practical flow-sensitive and context-sensitive C and C++ memory leak detector (PLDI'03) | Mike |
| 28 April | O'Hearn, Yang, and Reynolds, Separation and Information Hiding (POPL'04) | Keunwoo |
| 5 May | Henzinger, Jhala, Majumdar, and McMillan, Abstractions from Proofs (POPL'04) | Dave |
| 12 May | Stephenson, Amarasinghe, Martin, and O'Reilly, Meta Optimization: Improving Compiler Heuristics with Machine Learning (PLDI'03). | Andrei |
| 19 May | Berndi, Lhoták, Qian, Hendren, and Umanee. Points-to Analysis using BDDs (PLDI'03) | Sorin |
| 26 May | Whaley and Lam, Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams (PLDI'04) | |
| 2 Jun | Liblit, Aiken, Zheng, and Jordan. Bug Isolation via Remote Program Sampling (PLDI'03) | ? |