CC 2011

16 papers

1. A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL · Dominik Grewe, Michael F. P. O'Boyle
2. Actor-Based Parallel Dataflow Analysis · Jonathan Rodriguez, Ondrej Lhoták
3. Clean Translation of an Imperative Reversible Programming Language · Holger Bock Axelsen
4. Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures · Thomas Henretty, Kevin Stock, Louis-Noël Pouchet, Franz Franchetti, J. Ramanujam, P. Sadayappan
5. Dynamic Elimination of Overflow Tests in a Trace Compiler · Rodrigo Sol, Christophe Guillon, Fernando Magno Quintão Pereira, Mariza Andrade da Silva Bigonha
6. Faster Alias Set Analysis Using Summaries · Nomair A. Naeem, Ondrej Lhoták
7. Future-Proofing Collections: From Mutable to Persistent to Parallel · Martin Odersky
8. Interpreter Instruction Scheduling · Stefan Brunthaler
9. JPure: A Modular Purity System for Java · David J. Pearce
10. Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies · Wenjing Ma, Sriram Krishnamoorthy, Gagan Agrawal
11. Probabilistic Points-to Analysis for Java · Qiang Sun, Jianjun Zhao, Yuting Chen
12. SSA-Based Register Allocation with PBQP · Sebastian Buchwald, Andreas Zwinkau, Thomas Bersch
13. Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler · Nurudeen Lameed, Laurie J. Hendren
14. Subregion Analysis and Bounds Check Elimination for High Level Arrays · Mackale Joyner, Zoran Budimlic, Vivek Sarkar
15. Tainted Flow Analysis on e-SSA-Form Programs · Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira
16. Using Disjoint Reachability for Parallelization · James Christopher Jenista, Yong Hun Eom, Brian Demsky