Abstract is missing.
- Future-Proofing Collections: From Mutable to Persistent to ParallelMartin Odersky. 1 [doi]
- Dynamic Elimination of Overflow Tests in a Trace CompilerRodrigo Sol, Christophe Guillon, Fernando Magno Quintão Pereira, Mariza Andrade da Silva Bigonha. 2-21 [doi]
- Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT CompilerNurudeen Lameed, Laurie J. Hendren. 22-41 [doi]
- SSA-Based Register Allocation with PBQPSebastian Buchwald, Andreas Zwinkau, Thomas Bersch. 42-61 [doi]
- Probabilistic Points-to Analysis for JavaQiang Sun, Jianjun Zhao, Yuting Chen. 62-81 [doi]
- Faster Alias Set Analysis Using SummariesNomair A. Naeem, Ondrej Lhoták. 82-103 [doi]
- JPure: A Modular Purity System for JavaDavid J. Pearce. 104-123 [doi]
- Tainted Flow Analysis on e-SSA-Form ProgramsAndrei Rimsa, Marcelo d Amorim, Fernando Magno Quintão Pereira. 124-143 [doi]
- Clean Translation of an Imperative Reversible Programming LanguageHolger Bock Axelsen. 144-163 [doi]
- Interpreter Instruction SchedulingStefan Brunthaler. 164-178 [doi]
- Actor-Based Parallel Dataflow AnalysisJonathan Rodriguez, Ondrej Lhoták. 179-197 [doi]
- Using Disjoint Reachability for ParallelizationJames Christopher Jenista, Yong Hun Eom, Brian Demsky. 198-224 [doi]
- Data Layout Transformation for Stencil Computations on Short-Vector SIMD ArchitecturesThomas Henretty, Kevin Stock, Louis-Noël Pouchet, Franz Franchetti, J. Ramanujam, P. Sadayappan. 225-245 [doi]
- Subregion Analysis and Bounds Check Elimination for High Level ArraysMackale Joyner, Zoran Budimlic, Vivek Sarkar. 246-265 [doi]
- Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory HierarchiesWenjing Ma, Sriram Krishnamoorthy, Gagan Agrawal. 266-285 [doi]
- A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCLDominik Grewe, Michael F. P. O Boyle. 286-305 [doi]