20. CC 2011: Saarbrücken, Germany (Part of ETAPS 2011)

Jens Knoop (Ed.): Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Lecture Notes in Computer Science 6601 Springer 2011, ISBN 978-3-642-19860-1

Invited Talk

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

JIT Compilation and Code Generation

Rodrigo Sol, Christophe Guillon, Fernando Magno Quintão Pereira, Mariza Andrade da Silva Bigonha:
Dynamic Elimination of Overflow Tests in a Trace Compiler. 2-21
Nurudeen Lameed, Laurie J. Hendren:
Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler. 22-41
Sebastian Buchwald, Andreas Zwinkau, Thomas Bersch:
SSA-Based Register Allocation with PBQP. 42-61

Program Analysis

Qiang Sun, Jianjun Zhao, Yuting Chen:
Probabilistic Points-to Analysis for Java. 62-81
Nomair A. Naeem, Ondrej Lhoták:
Faster Alias Set Analysis Using Summaries. 82-103
David J. Pearce:
JPure: A Modular Purity System for Java. 104-123
Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira:
Tainted Flow Analysis on e-SSA-Form Programs. 124-143

Reversible Computing and Interpreters

Holger Bock Axelsen:
Clean Translation of an Imperative Reversible Programming Language. 144-163
Stefan Brunthaler:
Interpreter Instruction Scheduling. 164-178

Parallelism and High-Performance Computing

Jonathan Rodriguez, Ondrej Lhoták:
Actor-Based Parallel Dataflow Analysis. 179-197
James Christopher Jenista, Yong Hun Eom, Brian Demsky:
Using Disjoint Reachability for Parallelization. 198-224
Thomas Henretty, Kevin Stock, Louis-Noël Pouchet, Franz Franchetti, J. Ramanujam, P. Sadayappan:
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures. 225-245
Mackale Joyner, Zoran Budimlic, Vivek Sarkar:
Subregion Analysis and Bounds Check Elimination for High Level Arrays. 246-265

Task and Data Distribution

Wenjing Ma, Sriram Krishnamoorthy, Gagan Agrawal:
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies. 266-285
Dominik Grewe, Michael F. P. O'Boyle:
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL. 286-305

Last update Tue May 22 23:23:23 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page