List of accepted papers (no particular ordering):
Actor-based Parallel Dataflow Analysis
Jonathan Rodriguez and Ondřej Lhoták (University of
Waterloo, Waterloo, ON, Canada)
Using Disjoint Reachability for Parallelization
James Jenista, Yong hun Eom, and Brian Demsky
(University of California, Irvine, CA, USA)
Dynamic Elimination of Overflow Tests in a Trace Compiler
Rodrigo Sol (Universidade Federal de Minas Gerais (UFMG),
Belo Horizonte, Brazil),
Christophe Ghillon (STMicorelectronics, Grenoble France), and
Fernando Magno Quintão Pereira, and Mariza A.S. Bigonha
(Universidade Federal de Minas Gerais (UFMG),
Belo Horizonte, Brazil)
SSA-based Register Allocation with PBQP
Sebastian Buchwald, Andreas Zwinkau, and Thomas Bersch
(Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany)
Staged Static Techniques to Efficiently Implement Array Copy
Semantics in a MATLAB JIT Compiler
Nurudeen Lameed and Laurie Hendren (School of Computer Science,
McGill University, Montreal, QC, Canada)
A Static Task Partitioning Approach for Heterogeneous Systems
Using OpenCL
Dominik Grewe and Michael O'Boyle
(School of Informatics, The University of Edinburgh, Edinburgh,
Scotland, UK)
Data Layout Transformation for Stencil Computations on Short-Vector
SIMD Architectures
Thomas Henretty, Kevin Stock, Louis-Noël Pouchet
(Department of Computer Science and Engineering,
The Ohio State University, Columbus, OH, USA),
Franz Franchetti (Department of Electrical and Computer Engineering,
Carnegie Mellon University, Pittsburgh, PA, USA),
J. Ramanujam (Department of Electrical and Computer Engineering,
Louisiana State University, Baton Rouge, LA, USA),
and P. Sadayappan (Department of Computer Science and Engineering,
The Ohio State University, Columbus, OH, USA)
Probabilistic Points-to Analysis for Java
Qiang Sun (Department of Computer Science and Engineering, Shanghai
Jiao Tong University, Shanghai, China),
Jianjun Zhao (Department of Computer Science and Engineering
and School of Software, Shanghai
Jiao Tong University, Shanghai, China),
and Yuting Chen (School of Software, Shanghai
Jiao Tong University, Shanghai, China)
Tainted Flow Analysis on e-SSA form Programs
Andrei Rimsa (Universidade Federal de Minas Gerais (UFMG),
Belo Horizonte, Brazil),
Marcelo d'Amorim (Universidade Federal de Pernambuco (UFPE),
Recife, Brazil),
and Fernando Magno Quintão Pereira (Universidade Federal
de Minas Gerais (UFMG), Belo Horizonte, Brazil)
JPure: A Modular Purity System for Java
David J. Pearce (School of Engineering and Computer Science,
Victoria University of Wellington, Wellington, New Zealand)
Faster Alias Set Analysis Using Summaries
Nomair Naeem and Ondřej Lhoták (University of
Waterloo, Waterloo, ON, Canada)
Clean Translation of an Imperative Reversible Programming Language
Holger Bock Axelsen (DIKU, Department of Computer Science,
The University of Copenhagen, København, Denmark)
Subregion Analysis and Bounds Check Elimination for High Level Arrays
Mackale Joyner (Texas Instruments, Dallas, TX, USA),
Zoran Budimlić and Vivek Sarkar (Department of Computer Science,
Rice University, Houston, TX, USA)
Practical Loop Transformations for Tensor Contraction Expressions
on Multi-Level Memory Hierarchies
Wenjing Ma (Department of Computer Science and Engineering,
The Ohio State University, Columbus, OH, USA),
Sriram Krishnamoorthy (Pacific Northwest National Lab, Richland, WA, USA),
and Gagan Agrawal (Department of Computer Science and Engineering,
The Ohio State University, Columbus, OH, USA)
Interpreter Instruction Scheduling
Stefan Brunthaler (Institute of Computer Languages, Vienna
University of Technology, Vienna, Austria)
