Conference Program

Saturday, 2 April 2011
07:30-08:00 Registration opens
08:00-09:45 Workshops and Tutorials (Morning Sessions)
09:45-10:15 Coffee Break
10:15-12:00 Workshops and Tutorials (Morning Sessions)
14:00-15:45 Workshops and Tutorials (Afternoon Sessions)
15:45-16:15 Coffee Break
16:15-18:00 Workshops and Tutorials (Afternoon Sessions)
Sunday, 3 April 2011
08:00-09:45 Workshops and Tutorials (Morning Sessions)
09:45-10:15 Coffee Break
10:15-12:00 Workshops and Tutorials (Morning Sessions)
14:00-15:45 Workshops and Tutorials (Afternoon Sessions)
15:45-16:15 Coffee Break
16:15-18:00 Workshops and Tutorials (Afternoon Sessions)
18:00-20:00 Welcome Reception (warning: schedule changed, was 19:00-21:00)
Monday, 4 April 2011
07:45-08:30 Breakfast
08:30-08:50 Welcome
08:50-09:50 First Keynote: The Language, Optimizer, and Tools Mess
Erik Altman, IBM
09:50-10:20 Coffee Break
10:20-12:00 Low-Level Code Optimization
Chair: Uma Srinivasan
MAO - an Extensible Micro-Architectural Optimizer
Robert Hundt, Easwaran Raman, Martin Thuresson and Neil Vachharajani.
Phase-based Tuning for Better Utilization of Performance-Asymmetric Multicore Processors
Tyler Sondag and Hridesh Rajan.
Dynamic Register Promotion of Stack Variables
Jianjun Li, Chenggang Wu and Wei-Chung Hsu.
Link-Time Optimization for Power Efficiency in a Tagless Instruction Cache
Timothy Jones, Sandro Bartolini, Jonas Maebe and Dominique Chanet.
12:00-13:30 Lunch
13:30-15:10 Speculation and Transactional Memory
Chair: Christoph von Praun
The Runtime Abort Graph and its Application to Software Transactional Memory Optimization
Dhruva Chakrabarti, Prithviraj Banerjee, Hans Boehm, Pramod Joisha and Robert Schreiber.
LAR-CC: Large Atomic Regions with Conditional Commits
Edson Borin, Youfeng Wu, Mauricio Breternitz Jr. and Cheng Wang.
Runtime Automatic Speculative Parallelization
Ben Hertzberg and Kunle Olukotun.
Dynamically Accelerating Client-side Web Applications through Decoupled Execution
Mojtaba Mehrara and Scott Mahlke.
15:10-15:40 Coffee Break
15:40-16:55 Language Support for Optimization
Chair: Francois Bodin
Language and Compiler Support for Auto-Tuning Variable-Accuracy Algorithms
Jason Ansel, Yee Lok Wong, Cy Chan, Marek Olszewski, Alan Edelman and Saman Amarasinghe.
Automated Programmable Control and Parameterization of Compiler Optimizations
Qing Yi.
Extendable Pattern-Oriented Optimization Directives
Huimin Cui, Jingling Xue, Lei Wang, Yang Yang, Xiaobing Feng and Dongrui Fan.
17:00-18:30 Poster Session
18:30-20:00 Business Meeting
Tuesday, 5 April 2011
07:45-08:50 Breakfast
08:50-09:50 Second Keynote: Formally verifying a compiler: why? how? how far?
Xavier Leroy, INRIA
09:50-10:20 Coffee Break
10:20-12:00 Vectorization and Parallelization
Chair: CJ Newburn
Predictive Modeling in a Polyhedral Optimization Space
Eunjung Park, Louis-Noel Pouchet, John Cavazos, Albert Cohen and P. Sadayappan.
Automatic parallelization of fine-grained meta-functions on a Chip Multiprocessor
Sanghoon Lee and James Tuck.
Whole-Function Vectorization
Ralf Karrenberg and Sebastian Hack.
Vapor SIMD: Auto-Vecotrize Once, Run Everywhere
Dorit Nuzman, Ira Rosen, Sergei Dyshel, Ayal Zaks, Erven Rohou, Kevin Williams, Albert Cohen and David Yuste.
12:00-13:30 Lunch
13:30-15:10 Data Locality
Chair: Tipp Moseley
On-Chip Cache Hierarchy Aware Tile Scheduling for Multicore Machines
Jun Liu, Yuanrui Zhang, Wei Ding and Mahmut Kandemir.
Pinpointing Data Locality Problems Using Data-centric Analysis
Xu Liu and John Mellor-Crummey.
Automated Locality Optimization based on the Reuse Distance of String Operations
Silvius Rus, Raksit Ashok and David Xinliang Li.
Neighborhood-Aware Data Locality Optimization for NoC-Based Multicores
Mahmut Kandemir, Yuanrui Zhang, Jun Liu and Taylan Yemliha.
15:10-15:40 Coffee Break
15:40-16:30 Program Safety
Chair: Thomas Gross
AccuLock: Accurate and Efficient Detection of Data Races
Xinwei Xie and Jingling Xue.
Practical Memory Checking with Dr. Memory
Derek Bruening and Qin Zhao.
17:00-22:00 Social Event at Montenvers - sponsored by Google
Wednesday, 6 April 2011
07:45-08:50 Breakfast
08:50-10:30 Dynamic Compilation
Chair: Grigori Fursin
Intel's Array Building Blocks: A Retargetable, Dynamic Compiler and Embedded Language
Chris J. Newburn, Byoungro So, Zhenying Liu, Michael McCool, Anwar Ghuloum, Stefanus Du Toit, Zhi Gang Wang, Zhao Hui Du, Yongjian Chen, Gansha Wu, Peng Guo, Zhanglin Liu and Dan Zhang.
A HW/SW Co-designed Multi-Core Virtual Machine for Energy-Efficient General Purpose Computing
Youfeng Wu, Shiliang Hu, Edson Borin and Cheng Wang.
A Trace-based Java JIT Compiler Retrofitted from a Method-based Compiler
Hiroshi Inoue, Hiroshige Hayashizaki, Peng Wu and Toshio Nakatani.
Using Machines to Learn Method-Specific Compilation Strategies
Ricardo Nabinger Sanchez, Jose Nelson Amaral, Duane Szafron, Marius Pirvu and Mark Stoodley.
10:30-11:00 Coffee Break
11:00-12:15 Program Analysis
Chair: Ayal Zaks
Prioritizing Constraint Evaluation for Efficient Points-to Analysis
Rupesh Nasre and R Govindarajan.
Highly Scalable Distributed Dataflow Analysis
Joseph L. Greathouse, Chelsea LeBlanc, Todd Austin and Valeria Bertacco.
Flow-Sensitive Pointer Analysis for Millions of Lines of Code
Ben Hardekopf and Calvin Lin.
12:15-12:30 Concluding remarks and Awards