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

  • Michael O’Boyle
Conference proceedings CC 2012

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

Table of contents

  1. Front Matter
  2. GPU Optimisation

    1. Ralf Karrenberg, Sebastian Hack
      Pages 1-20
    2. Swapneela Unkule, Christopher Shaltz, Apan Qasem
      Pages 21-40
  3. Program Analysis

    1. Mark Marron, Ondřej Lhoták, Anindya Banerjee
      Pages 41-60
    2. Sandeep Putta, Rupesh Nasre
      Pages 61-80
    3. Cong Hou, George Vulov, Daniel Quinlan, David Jefferson, Richard Fujimoto, Richard Vuduc
      Pages 81-100
    4. Jun Shirako, Kamal Sharma, Naznin Fauzia, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan et al.
      Pages 101-121
  4. Objects and Components

    1. Taeho Kwon, Zhendong Su
      Pages 122-143
    2. Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivančić, Aarti Gupta, Nishant Sinha et al.
      Pages 144-164
    3. Leaf Petersen, Neal Glew
      Pages 165-184
  5. Dynamic Analysis and Runtime Support

    1. Muhammad Umar Farooq, Lei Chen, Lizy Kurian John
      Pages 185-199
    2. Chuck (Chengyan) Zhao, J. Gregory Steffan, Cristiana Amza, Allan Kielstra
      Pages 200-219
    3. Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss
      Pages 220-239
    4. Kevin Streit, Clemens Hammacher, Andreas Zeller, Sebastian Hack
      Pages 240-243
  6. Back Matter

About these proceedings


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

Editors and affiliations

  • Michael O’Boyle
    • 1
  1. 1.School for InformaticsUniversity of EdinburghEdinburghUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-28651-3
  • Online ISBN 978-3-642-28652-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment