Compiler Construction

by O'Boyle, Michael; Sassone, Vladimiro

• ISBN13: 9783642286513
• ISBN10: 3642286518
• Format: Paperback
• Copyright: 2012-05-04
• Publisher: Springer-Verlag New York Inc

Summary

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.

Table of Contents

GPU Optimisation
Improving Performance of OpenCL on CPUs	p. 1
Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality	p. 21
Program Analysis
Programming Paradigm Driven Heap Analysis	p. 41
Parallel Replication-Based Points-To Analysis	p. 61
A New Method for Program Inversion	p. 81
Analytical Bounds for Optimal Tile Size Selection	p. 101
Objects and Components
Static Detection of Unsafe Component Loadings	p. 122
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis	p. 144
GC-Safe Interprocedural Unboxing	p. 165
Dynamic Analysis and Runtime Support
Compiler Support for Value-Based Indirect Branch Prediction	p. 185
Compiler Support for Fine-Grain Software-Only Checkpointing	p. 200
VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework	p. 220
Sambamba: A Runtime System for Online Adaptive Parallelization	p. 240
Author Index	p. 245
Table of Contents provided by Ingram. All Rights Reserved.