Skip to main content
SpringerLink
Log in

Compiler Construction

21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Michael O’Boyle

    1. School for Informatics, University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7210)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CC 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

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

    Download chapter PDF
Back to top

Other volumes

  1. Compiler Construction

Keywords

About this book

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.

Editors and Affiliations

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

    Michael O’Boyle

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation