Sambamba: A Runtime System for Online Adaptive Parallelization
Abstract elided by the publisher.
673 papers · page 14 of 34
Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality
Abstract elided by the publisher.
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis
Abstract elided by the publisher.
Compiler Support for Fine-Grain Software-Only Checkpointing
Abstract elided by the publisher.
Clean Translation of an Imperative Reversible Programming Language
Abstract elided by the publisher.
Interpreter Instruction Scheduling
Abstract elided by the publisher.
SSA-Based Register Allocation with PBQP
Abstract elided by the publisher.
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL
Abstract elided by the publisher.
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures
Stencil computations are at the core of applications in many domains such as computational electromagnetics, image processing, and partial differential equation solvers used in a variety of scientific and engineering applications. Short-vector SIMD instruction sets such as SSE an…
Using Disjoint Reachability for Parallelization
Abstract elided by the publisher.
Subregion Analysis and Bounds Check Elimination for High Level Arrays
Abstract elided by the publisher.
Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler
Abstract elided by the publisher.
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies
Abstract elided by the publisher.
Faster Alias Set Analysis Using Summaries
Abstract elided by the publisher.
Future-Proofing Collections: From Mutable to Persistent to Parallel
Abstract elided by the publisher.
JPure: A Modular Purity System for Java
Abstract elided by the publisher.
Tainted Flow Analysis on e-SSA-Form Programs
Abstract elided by the publisher.
Actor-Based Parallel Dataflow Analysis
Abstract elided by the publisher.
Dynamic Elimination of Overflow Tests in a Trace Compiler
Abstract elided by the publisher.
Probabilistic Points-to Analysis for Java
Abstract elided by the publisher.