CGO 2009: Seattle, Washington, USA

Optimization for Concurrency

• Greg Bronevetsky:
  Communication-Sensitive Static Dataflow for Parallel Message Passing Applications. 1-12
  
• Michael F. Spear, Maged M. Michael, Michael L. Scott, Peng Wu:
  Reducing Memory Ordering Overheads in Software Transactional Memory. 13-24
  
• Yuelu Duan, Xiaobing Feng, Lei Wang, Chao Zhang, Pen-Chung Yew:
  Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs. 25-34
  
• Jing Yu, María Jesús Garzarán, Marc Snir:
  ESoftCheck: Removal of Non-vital Checks for Fault Tolerance. 35-46
  

Profile-Directed Optimization

• Xiangyu Zhang, Armand Navabi, Suresh Jagannathan:
  Alchemist: A Transparent Dependence Distance Profiling Infrastructure. 47-58
  
• Paul Berube, José Nelson Amaral, Rayson Ho, Raúl Silvera:
  Workload Reduction for Multi-input Feedback-Directed Optimization. 59-69
  
• Subhajit Roy, Y. N. Srikant:
  Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm. 70-80
  

Intelligence in Optimization

• Hugh Leather, Edwin V. Bonilla, Michael F. P. O'Boyle:
  Automatic Feature Generation for Machine Learning Based Optimizing Compilation. 81-91
  
• Feng Mao, Xipeng Shen:
  Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines. 92-101
  
• Yevgen Voronenko, Frédéric de Mesmay, Markus Püschel:
  Computer Generation of General Size Linear Transform Libraries. 102-113
  

Program Analysis and Optimization

• Benoit Boissinot, Alain Darte, Fabrice Rastello, Benoît Dupont de Dinechin, Christophe Guillon:
  Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency. 114-125
  
• Fernando Magno Quintão Pereira, Daniel Berlin:
  Wave Propagation and Deep Propagation for Pointer Analysis. 126-135
  
• Paul Lokuciejewski, Daniel Cordes, Heiko Falk, Peter Marwedel:
  A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models. 136-146
  
• Ivan D. Baev:
  Techniques for Region-Based Register Allocation. 147-156
  

Dynamic Optimization

• Kirk Kelsey, Tongxin Bai, Chen Ding, Chengliang Zhang:
  Fast Track: A Software System for Speculative Program Optimization. 157-168
  
• Jason Mars, Robert Hundt:
  Scenario Based Optimization: A Framework for Statically Enabling Online Optimizations. 169-179
  
• Jianjun Li, Chenggang Wu, Wei-Chung Hsu:
  An Evaluation of Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems. 180-189
  
• John Cuthbertson, Sandhya Viswanathan, Konstantin Bobrovsky, Alexander Astapchuk, Eric Kaczmarek. Uma Srinivasan:
  A Practical Approach to Hardware Performance Monitoring Based Dynamic Optimizations in a Production JVM. 190-199
  

Optimizing Stream Programs

• Abhishek Udupa, R. Govindarajan, Matthew J. Thazhuthaveetil:
  Software Pipelined Execution of Stream Programs on GPUs. 200-209
  
• Yoonseo Choi, Yuan Lin, Nathan Chong, Scott A. Mahlke, Trevor N. Mudge:
  Stream Compilation for Real-Time Embedded Multicore Systems. 210-220
  

Representing Calling Contexts

• Mauricio J. Serrano, Xiaotong Zhuang:
  Building Approximate Calling Context from Partial Call Traces. 221-230
  
• Mikael Collin, Mats Brorsson:
  Two-Level Dictionary Code Compression: A New Scheme to Improve Instruction Code Density of Embedded Applications. 231-242
  
• Stefan Schäckeler, Weijia Shang:
  Procedural Abstraction with Reverse Prefix Trees. 243-253
  

Tools

• Tipp Moseley, Dirk Grunwald, Ramesh Peri:
  OptiScope: Performance Accountability for Optimizing Compilers. 254-264
  
• Lixia Liu, Silvius Rus:
  Perflint: A Context Sensitive Performance Advisor for C++ Programs. 265-274
  
• Naveen Kumar, Bruce R. Childers, Mary Lou Soffa:
  Transparent Debugging of Dynamically Optimized Code. 275-286
  

Last update Tue May 22 23:23:33 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page