Semantical interprocedural parallelization: an overview of the PIPS project

The Omega test: a fast and practical integer programming algorithm for dependence analysis

Proceedings of the 1991 ACM/IEEE conference on Supercomputing

A practical algorithm for exact array dependence analysis

Communications of the ACM

Static analysis of upper and lower bounds on dependences and parallelism

ACM Transactions on Programming Languages and Systems (TOPLAS)

Efficient context-sensitive pointer analysis for C programs

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation

Symbolic array dataflow analysis for array privatization and program parallelization

Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing

Detecting coarse-grain parallelism using an interprocedural parallelizing compiler

Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing

Automatic selection of high-order transformations in the IBM XL FORTRAN compilers

IBM Journal of Research and Development - Special issue: performance analysis and its impact on design

Measuring the effectiveness of automatic parallelization in SUIF

ICS '98 Proceedings of the 12th international conference on Supercomputing

New type signatures for legacy Fortran subroutines

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization

IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools for parallel processing

Generation of Efficient Nested Loops from Polyhedra

International Journal of Parallel Programming - Special issue on instruction-level parallelism and parallelizing compilation, part 2

Array resizing for scientific code debugging, maintenance and reuse

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Loop parallelization algorithms

Compiler optimizations for scalable parallel systems

Interprocedural analysis based on guarded array regions

Compiler optimizations for scalable parallel systems

Maximizing Multiprocessor Performance with the SUIF Compiler

Computer

Compilation Principle of a Specification Language Dedicated to Signal Processing

PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies

Sequencing Fortran program array verifications

ACM SIGPLAN Fortran Forum

Efficient and effective array bound checking

ACM Transactions on Programming Languages and Systems (TOPLAS)

Interprocedural parallelization analysis in SUIF

ACM Transactions on Programming Languages and Systems (TOPLAS)

Facilitating the search for compositions of program transformations

Proceedings of the 19th annual international conference on Supercomputing

Some ways to reduce the space dimension in polyhedra computations

Formal Methods in System Design

A general approach for partitioning N-dimensional parallel nested loops with conditionals

Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures

Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies

International Journal of Parallel Programming

Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation

Cartesian factoring of polyhedra in linear relation analysis

SAS'03 Proceedings of the 10th international conference on Static analysis

Automatic detection of uninitialized variables

CC'03 Proceedings of the 12th international conference on Compiler construction

Semi-automatic extraction and exploitation of hierarchical pipeline parallelism using profiling information

Proceedings of the 19th international conference on Parallel architectures and compilation techniques

The Paralax infrastructure: automatic parallelization with a helping hand

Proceedings of the 19th international conference on Parallel architectures and compilation techniques

A Modular Static Analysis Approach to Affine Loop Invariants Detection

Electronic Notes in Theoretical Computer Science (ENTCS)

ΣC: a programming model and language for embedded manycores

ICA3PP'11 Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part I

Combining widening and acceleration in linear relation analysis

SAS'06 Proceedings of the 13th international conference on Static Analysis

Speculative parallelization on GPGPUs

Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming

Equivalence checking of static affine programs using widening to handle recurrences

ACM Transactions on Programming Languages and Systems (TOPLAS)

Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach

Electronic Notes in Theoretical Computer Science (ENTCS)

MIC-RO: enabling efficient remote offload on heterogeneous many integrated core (MIC) clusters with InfiniBand

Proceedings of the 27th international ACM conference on International conference on supercomputing

Generating data transfers for distributed GPU parallel programs

Journal of Parallel and Distributed Computing

Integrating profile-driven parallelism detection and machine-learning-based mapping

ACM Transactions on Architecture and Code Optimization (TACO)