Symbolic Analysis for Parallelizing Compilers

Towards a structural load testing tool

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis

Symbolic evaluation for parallelizing compilers

ICS '97 Proceedings of the 11th international conference on Supercomputing

The Design of the PROMIS Compiler—Towards Multi-Level Parallelization

International Journal of Parallel Programming - Special issue on international symposium on high performance computing 1997, part I

A Unified Symbolic Evaluation Framework for Parallelizing Compilers

IEEE Transactions on Parallel and Distributed Systems

Symbolic Analysis in the PROMIS Compiler

LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing

Automatic Coarse Grain Task Parallel Processing on SMP Using OpenMP

LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers

Coarse-Grain Task Parallel Processing Using the OpenMP Backend of the OSCAR Multigrain Parallelizing Compiler

ISHPC '00 Proceedings of the Third International Symposium on High Performance Computing

Efficient Symbolic Analysis for Optimizing Compilers

CC '01 Proceedings of the 10th International Conference on Compiler Construction

A unified framework for nonlinear dependence testing and symbolic analysis

Proceedings of the 18th annual international conference on Supercomputing

Efficient Techniques for Advanced Data Dependence Analysis

Proceedings of the 14th International Conference on Parallel Architectures and Compilation Techniques

On the automatic parallelization of sparse and irregular Fortran programs[1]This work is supported in part by Army contract DABT63-95-C-0097; Army contract N66001-97-C-8532; NSF contract MIP-9619351; and a Partnership Award from IBM. This work is not necessarily representative of the positions or policies of the Army or Government.

Scientific Programming

Language Extensions in Support of Compiler Parallelization

Languages and Compilers for Parallel Computing

Eliminating redundant range checks in GNAT using symbolic evaluation

Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies

Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization

Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization

A Modular Static Analysis Approach to Affine Loop Invariants Detection

Electronic Notes in Theoretical Computer Science (ENTCS)

Performance of OSCAR multigrain parallelizing compiler on SMP servers

LCPC'04 Proceedings of the 17th international conference on Languages and Compilers for High Performance Computing

Hierarchical parallelism control for multigrain parallel processing

LCPC'02 Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing

A symbolic analysis framework for static analysis of imperative programming languages

Journal of Systems and Software