Automatic translation of FORTRAN programs to vector form
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analysis of event synchronization in a parallel programming tool
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Efficient and exact data dependence analysis
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
The Omega test: a fast and practical integer programming algorithm for dependence analysis
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
A Fast Algorithm for the Two-Variable Integer Programming Problem
Journal of the ACM (JACM)
Dependence Analysis for Supercomputing
Dependence Analysis for Supercomputing
The Power Test for Data Dependence
IEEE Transactions on Parallel and Distributed Systems
Solving Integer Programs from Dependence and Synchronization Problems
Solving Integer Programs from Dependence and Synchronization Problems
Optimizing supercompilers for supercomputers
Optimizing supercompilers for supercomputers
Compiler optimization to improve data locality for processor multithreading
Scientific Programming
A general data dependence analysis for parallelizing compilers
The Journal of Supercomputing
A general data dependence analysis to nested loop using integer interval theory
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
| Hi-index | 0.00 |
We present a new method to determine whether a convex region contains any integer points. The method is designed for array subscript analysis in parallel programs. The general problem is whether a system of linear equalities and inequalities has an integer solution. A set of known techniques is used to transform the problem to that of finding whether a convex region contains any integer points. The main result of the paper is a set of new search procedures that identify an integer solution in a convex region, or prove that no integer solutions exist. They are based on the geometrical properties of convex regions that are not empty, but also do not contain any integer points. The results contribute to exact and efficient dependence and synchronization analysis of parallel programs.Index Terms驴Subscript analysis, dependence testing, integer programming, parallelizing compilers, parallel program analysis, synchronization analysis.