Compiler Construction

1. Front Matter

   PDF

2. GPU Optimisation

   1. Improving Performance of OpenCL on CPUs

      • Ralf Karrenberg, Sebastian Hack

      Pages 1-20

   2. Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality

      • Swapneela Unkule, Christopher Shaltz, Apan Qasem

      Pages 21-40

3. Program Analysis

   1. Programming Paradigm Driven Heap Analysis

      • Mark Marron, Ondřej Lhoták, Anindya Banerjee

      Pages 41-60

   2. Parallel Replication-Based Points-To Analysis

      • Sandeep Putta, Rupesh Nasre

      Pages 61-80

   3. A New Method for Program Inversion

      • Cong Hou, George Vulov, Daniel Quinlan, David Jefferson, Richard Fujimoto, Richard Vuduc

      Pages 81-100

   4. Analytical Bounds for Optimal Tile Size Selection

      • Jun Shirako, Kamal Sharma, Naznin Fauzia, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan et al.

      Pages 101-121

4. Objects and Components

   1. Static Detection of Unsafe Component Loadings

      • Taeho Kwon, Zhendong Su

      Pages 122-143

   2. Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis

      • Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivančić, Aarti Gupta, Nishant Sinha et al.

      Pages 144-164

   3. GC-Safe Interprocedural Unboxing

      • Leaf Petersen, Neal Glew

      Pages 165-184

5. Dynamic Analysis and Runtime Support

   1. Compiler Support for Value-Based Indirect Branch Prediction

      • Muhammad Umar Farooq, Lei Chen, Lizy Kurian John

      Pages 185-199

   2. Compiler Support for Fine-Grain Software-Only Checkpointing

      • Chuck (Chengyan) Zhao, J. Gregory Steffan, Cristiana Amza, Allan Kielstra

      Pages 200-219

   3. VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework

      • Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss

      Pages 220-239

   4. Sambamba: A Runtime System for Online Adaptive Parallelization

      • Kevin Streit, Clemens Hammacher, Andreas Zeller, Sebastian Hack

      Pages 240-243

6. Back Matter

   PDF

This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 13 papers presented in this book were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: GPU optimisation, program analysis, objects and components, and dynamic analysis and runtime support.

• automatic parallelization
• model checking
• optimistic optimization
• reverse computation
• verification
• algorithm analysis and problem complexity

• School for Informatics, University of Edinburgh, Edinburgh, UK

  Michael O’Boyle

Policies and ethics