In the absence of better information worst case assumptions must be made for the side effects of calls on arrays. Interprocedural array side effect analysis computes the side effects of calls on array variables. The results enhance the precision of dependence testing and enable interprocedural transformations. This thesis presents and evaluates an interprocedural array side effect analysis more precise than existing efficient solutions, yet not as expensive as the precise methods. Array shapes are described by simple sections. The diagonal information available in simple sections allows precise representation of array shapes commonly encountered in practice. Most operations on simple sections are quadratic in the number of dimensions of the...
Array data-flow analysis is known to be crucial to the success of array privatization, one of the mo...
In the context of an object-oriented programming language such as Java, the ubiquitous use of instan...
Array data flow analysis is known to be crucial to the success of array privatization, one of the mo...
Exact side effects of array references in subroutines are essential for exact interprocedural depend...
Compiling for efficient execution on advanced computer architectures requires extensive program anal...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/16...
Abstract Many program optimizations require exact knowledge of the sets of array elements that are ...
Abstract. Many program optimizations require exact knowledge of the sets of array elements that are ...
The automatic transformation of sequential programs for efficient execution on parallel computers in...
A parallelizing compiler relies on data dependence analysis to detect independent operations in a us...
Standard array data dependence testing algorithms give information about the alias-ing of array refe...
Special Issue on LCPC'95 ; 29 pagesInternational audienceMany program optimizations require exact kn...
We present a new interprocedural modification side effects algorithm for C programs, that can discer...
The first interprocedural modification side-effects analysis (MODC ) for C that obtains better than ...
In this article we examine the role played by the interprocedural analysis of array accesses in the ...
Array data-flow analysis is known to be crucial to the success of array privatization, one of the mo...
In the context of an object-oriented programming language such as Java, the ubiquitous use of instan...
Array data flow analysis is known to be crucial to the success of array privatization, one of the mo...
Exact side effects of array references in subroutines are essential for exact interprocedural depend...
Compiling for efficient execution on advanced computer architectures requires extensive program anal...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/16...
Abstract Many program optimizations require exact knowledge of the sets of array elements that are ...
Abstract. Many program optimizations require exact knowledge of the sets of array elements that are ...
The automatic transformation of sequential programs for efficient execution on parallel computers in...
A parallelizing compiler relies on data dependence analysis to detect independent operations in a us...
Standard array data dependence testing algorithms give information about the alias-ing of array refe...
Special Issue on LCPC'95 ; 29 pagesInternational audienceMany program optimizations require exact kn...
We present a new interprocedural modification side effects algorithm for C programs, that can discer...
The first interprocedural modification side-effects analysis (MODC ) for C that obtains better than ...
In this article we examine the role played by the interprocedural analysis of array accesses in the ...
Array data-flow analysis is known to be crucial to the success of array privatization, one of the mo...
In the context of an object-oriented programming language such as Java, the ubiquitous use of instan...
Array data flow analysis is known to be crucial to the success of array privatization, one of the mo...