The program of PEPM'09 includes two invited talks by leading researchers in the field.
- Umut Acar. Toyota
Technological Institute and University of Chicago.
Title: Self-adjusting computation
Cifuentes. Sun Microsystems Laboratories.
Title: Program Analysis for Bug Detection using Parfait.
Abstract: The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program analyses, multiple layers per bug type, to identify bugs in a program more quickly and accurately.
Parfait also aims to identify security bugs, i.e., bugs that may be exploited by a malicious user. To this end, an optional pre- processing step is available to reduce the scope of potential bugs of interest.
To evaluate Parfait's precision and recall, we have developed BegBunch, a bug benchmarking suite that contains existing synthetic benchmarks and samples of bugs (``bug kernels'') taken from open source code.