|
PEPM Workshop (June 7, 9:30-5:30) |
|
Tutorials (June 8, 8:30-5:00) |
|
Reception (June 8, 7:00-9:00pm) |
|
Session 1: Embedded Systems (June 9, 8:30-10:00) Chair: Nevin Heintze |
Linear Analysis and Optimization of Stream Programs
Andrew A. Lamb, William Thies, and Saman Amarasinghe (MIT)
Taming the IXP Network Processor
Lal George (Network Speed Technologies, Inc.) and Matthias Blume (Toyota Technological Institute at Chicago)
|
Session 2: Power-Aware Compilation (June 9, 10:25-11:25) Chair: Chandra Krintz |
Compile-time Dynamic Voltage Scaling Settings: Opportunities and Limits
Fen Xie, Margaret Martonosi, and Sharad Malik (Princeton Univ.)
|
Session 3: Code Optimization I (June 9, 2:00-3:30) Chair: Santosh Pande |
Meta Optimization: Improving Compiler Heuristics with Machine Learning
Mark Stephenson, Saman Amarasinghe, Martin Martin,
and Una-May O'Reilly (MIT)
Compile-time Composition of Run-time Data and Iteration Reorderings
Michelle M. Strout, Larry Carter, and Jeanne Ferrante (UC San Diego)
|
Session 4: Program Analysis (June 9, 4:00-5:30) Chair: Jens Palsberg |
Static Conflict Analysis for Multi-Threaded Object-Oriented Programs
Christoph von Praun and Thomas R. Gross (ETH Zurich)
Checking and Inferring Local Non-Aliasing
Alex Aiken (UC Berkeley), Jeffrey S. Foster (Univ. of Maryland), John Kodumal (UC Berkeley),
and Tachio Terauchi (UC Berkeley)
|
PLDI Conference report; SIGPLAN and PLDI Awards (June 9, 5:30-6:00) |
|
Session 5: Error Detection and Debugging I (June 10, 8:30-10:00) Chair: Jong-Deok Choi |
CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C
Nurit Dor (Tel-Aviv Univ.), Michael Rodeh (IBM Research),
and Mooly Sagiv (Tel-Aviv Univ.)
A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector
David L. Heine and Monica S. Lam (Stanford Univ.)
|
Session 6: Error Detection and Debugging II (June 10, 10:25-11:25) Chair: Amer Diwan |
A Static Analyzer for Large Safety-Critical Software
Bruno Blanchet (1,2), Patrick Cousot (2), Radhia Cousot (1,3),
Jérôme Feret (2),
Laurent Mauborgne (2), Antoine Miné (2),
David Monniaux (1,2), and Xavier Rival (2)
((1) CNRS, (2) École normale supérieure, (3) École polytechnique)
|
Session 7: Validation (June 10, 2:00-3:30) Chair: Manuvir Das |
Automatically Proving the Correctness of Compiler Optimizations
Sorin Lerner, Todd Millstein, and Craig Chambers (Univ. of Washington)
CCured in the Real World
Jeremy Condit, Matthew Harren, Scott McPeak, George Necula,
and Westley Weimer (UC Berkeley)
|
Session 8: Code Optimization II (June 10, 4:00-6:00) Chair: Mary Hall |
Static Array Storage Optimization in MATLAB
Pramod G. Joisha and Prithviraj Banerjee (Northwestern Univ.)
Stride Prefetching by Dynamically Inspecting Objects
Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, and
Toshio Nakatani (IBM Research, Japan)
Optimizing Indirect Branch Prediction Accuracy in Virtual Machine Interpreters
M. Anton Ertl (TU Wien) and David Gregg (Trinity College)
|
Session 9: Code Optimization III (June 11, 8:30-10:00) Chair: Kemal Ebcioglu |
Region-based Hierarchical Operation Partitioning for Multicluster Processors
Michael Chu, Kevin Fan, and Scott Mahlke (Univ. of Michigan)
A Region-Based Compilation Technique for a Java Just-In-Time Compiler
Toshio Suganuma, Toshiaki Yasue, and Toshio Nakatani (IBM Research, Japan)
|
Session 10: Type Systems (June 11, 10:25-11:25) Chair: John Hatcliff |
A Type and Effect System for Atomicity
Cormac Flanagan and Shaz Qadeer (HP Systems Research Center)
|
IVME Workshop (June 12) |