| Date | Topic | Presenter |
|---|---|---|
| Jan 3 | Organizational meeting | (Dan) |
| Jan 10 | Extensible Programming with First-Class Cases (ICFP 2006) | Kate and Matt |
| Jan 17 | Automatic generation of peephole superoptimizers (ASPLOS 06) | Ben L. and Steve |
| Jan 24 | The DaCapo benchmarks: Java benchmarking development and analysis (OOPSLA 06) | Jacob and Charlie |
| Jan 31 | Compiler Optimizations to Reduce Security Overhead (CGO 06) | Sam and Jon |
| Feb 7 | A Practical Escape and Effect Analysis for Building Lightweight Method Summaries (CC07) | Anna and Laura |
| Feb 14 |
Polyglot: An Extensible Compiler Framework for Java (CC03) and Untrusted Hosts and Confidentiality: Secure Program Partitioning (SOSP01) |
Ben L. and Aaron | Feb 21 | Dynamic Heap Type Inference for Program Understanding and Debugging (POPL 07) | Miryung and Marius |
| Feb 28 | LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation (CGO 04) | Ben Y. and Chris |
| Mar 7 | Refinement-Based Context-Sensitive Points-To Analysis for Java (PLDI 06) | Steve and Andrew |