CC B

17 papers

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