| 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 |
