Main Preliminary Program Registration Invited Speakers Program Committee Important Dates Submission Categories Affiliated Meetings Research Paper Advice Tool Paper Advice Venue and travel Previous Meetings Savannah, Georgia, USA

ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM '09)
Savannah, Georgia, USA, January 19-20, 2009 (Associated with POPL 2009)

Invited Speakers

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

• Cristina 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.