Skip to main content
SpringerLink
Log in

Compiler Construction

20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Jens Knoop

    1. Faculty of Informatics, Institute of Computer Languages, TU Vienna, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

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

Included in the following conference series:

Conference proceedings info: CC 2011.

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 (16 papers)

  1. Front Matter

    Download chapter PDF

  3. JIT Compilation and Code Generation

    1. Dynamic Elimination of Overflow Tests in a Trace Compiler

      • Rodrigo Sol, Christophe Guillon, Fernando Magno Quintão Pereira, Mariza A. S. Bigonha
      Pages 2-21

    2. Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler

      • Nurudeen Lameed, Laurie Hendren
      Pages 22-41

    3. SSA-Based Register Allocation with PBQP

      • Sebastian Buchwald, Andreas Zwinkau, Thomas Bersch
      Pages 42-61

  4. Program Analysis

    1. Probabilistic Points-to Analysis for Java

      • Qiang Sun, Jianjun Zhao, Yuting Chen
      Pages 62-81

    2. Faster Alias Set Analysis Using Summaries

      • Nomair A. Naeem, Ondřej Lhoták
      Pages 82-103

    3. JPure: A Modular Purity System for Java

      • David J. Pearce
      Pages 104-123

    4. Tainted Flow Analysis on e-SSA-Form Programs

      • Andrei Rimsa, Marcelo d’Amorim, Fernando Magno Quintão Pereira
      Pages 124-143

  5. Reversible Computing and Interpreters

    1. Clean Translation of an Imperative Reversible Programming Language

      • Holger Bock Axelsen
      Pages 144-163

    2. Interpreter Instruction Scheduling

      • Stefan Brunthaler
      Pages 164-178

  6. Parallelism and High-Performance Computing

    1. Actor-Based Parallel Dataflow Analysis

      • Jonathan Rodriguez, Ondřej Lhoták
      Pages 179-197

    2. Using Disjoint Reachability for Parallelization

      • James Jenista, Yong hun Eom, Brian Demsky
      Pages 198-224

    3. Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures

      • Tom Henretty, Kevin Stock, Louis-Noël Pouchet, Franz Franchetti, J. Ramanujam, P. Sadayappan
      Pages 225-245

    4. Subregion Analysis and Bounds Check Elimination for High Level Arrays

      • Mackale Joyner, Zoran Budimlić, Vivek Sarkar
      Pages 246-265

  7. Task and Data Distribution

    1. Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies

      • Wenjing Ma, Sriram Krishnamoorthy, Gagan Agrawal
      Pages 266-285

    2. A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL

      • Dominik Grewe, Michael F. P. O’Boyle
      Pages 286-305

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Compiler Construction

Keywords

About this book

This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 15 revised full papers presented together with the abstract of one invited talk were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on JIT compilation and code generation, program analysis, reversible computing and interpreters, parallelism and high-performance computing, and task and data distribution.

Editors and Affiliations

  • Faculty of Informatics, Institute of Computer Languages, TU Vienna, Vienna, Austria

    Jens Knoop

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation