Compiler Construction

1. Front Matter

   PDF

2. Invited Talk

   1. Future-Proofing Collections: From Mutable to Persistent to Parallel

      • Martin Odersky

      Pages 1-1

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

   PDF

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.

• Java
• Phyton
• code optimization
• compliation techniques
• concurrency
• dataflow analysis
• dynamic compilation
• just-in-time compilation
• optimization
• parallel programming
• points-to-analysis
• probability
• program representation
• static code analysis
• task partitioning
• virtual machines
• algorithm analysis and problem complexity

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

  Jens Knoop

Policies and ethics