| Opening | 8:50 -- 9:30 |
| Welcome and Agenda | Jonathan Cook and Michael Ernst |
| Program Analysis: A Hierarchy (slides) | Andreas Zeller |
| Instrumentation | 9:30 -- 10:30 |
| Efficient Instrumentation for Performance Profiling (slides) | Edu Metz and Raimondas Lencevicius |
| Dynamic Analysis from the Bottom Up (slides) | Markus Mock |
| Coffee Break | 10:30 -- 11:00 |
| Testing and Static Analysis | 11:00 -- 12:30 |
| Exploiting Synergy Between Testing and Inferred Partial Specifications (slides) | Tao Xie and David Notkin |
| Generating Test Data for Dynamically Discovering Likely Program Invariants | Neelam Gupta |
| Static and Dynamic Analysis: Synergy and Duality (slides) | Michael Ernst |
| Lunch | 12:30 -- 2:00 |
| Pattern Discovery | 2:00 -- 3:30 |
| Improving Design Pattern Instance Recognition by Dynamic Analysis | Lothar Wendehals |
| An Efficient Algorithm for Detecting Patterns in Traces of Procedure Calls (slides) | Abdelwahab Hamou-Lhadj and Timothy C. Lethbridge |
| Towards Differential Program Analysis | Joel Winstead and David Evans |
| Coffee Break | 3:30 -- 4:00 |
| Frameworks and Languages | 4:00 -- 5:30 |
| Languages for Dynamic Instrumentation | Steve Reiss and Manos Renieris |
| Some Axioms and Issues in the UFO Dynamic Analysis Framework | Clinton Jeffery and Mikhail Auguston |
| Scripting Runtime Dynamic Analyses (slides) | Jonathan Cook, Abdulmalik Al-Gahmi, Shalini Devi, and Navin Vedagiri |