Automatic Array Privatization and Demand-Driven Symbolic Analysis

Automatic Array Privatization and Demand-Driven Symbolic Analysis (1995)

Cached

Download Links

by Peng Tu

Citations:

BibTeX

@TECHREPORT{Tu95automaticarray,
    author = {Peng Tu},
    title = {Automatic Array Privatization and Demand-Driven Symbolic Analysis},
    institution = {},
    year = {1995}
}

Bookmark

OpenURL

Abstract

Citations

8879	Computers and Intractability: A guide to the Theory of NP-Completeness - Garey, Johnson - 1979
929	Performance Fortran Forum. High Performance Fortran language speci��cation. version 2.0 - High - 1997
911	Active messages: a mechanism for integrated communication and computation - Eicken, Culler, et al. - 1992
749	Efficiently computing static single assignment form and the control dependence graph - Cytron, Ferrante, et al. - 1991
749	The program dependence graph and its use in optimization - F, Ottenstein, et al. - 1987
470	Automatic discovery of linear restraints among the variables of a program - COUSOT, HALBWACHS - 1978
427	Optimizing Supercompilers for Supercomputers - Wolfe - 1989
405	Supercompilers for Parallel and Vector Computers - Zima, Chapman - 1990
334	Dependence Analysis for Supercomputing - Banerjee - 1988
295	Advanced compilers optimizations for supercomputers - Padua, Wolfe - 1986
295	Constant propagation with conditional branches - Wegman, Zadeck - 1991
263	R.: Abstract interpretation and application to logic programs - Cousot, Cousot - 1992
259	Distributed shared memory: A survey of issues and algorithms - Nitzberg, Lo - 1991
203	The parallel execution of do loops - Lamport - 1974
196	An implementation of interprocedural bounded regular section analysis - Havlak, Kennedy - 1991
166	Unimodular transformations of double loops - Banerjee - 1990
165	Global value numbers and redundant computations - Rosen, Wegman, et al. - 1988
164	SUPERB - a tool for semiautomatic MIMD SIMD parallelization - Zima, Bast, et al. - 1988
149	Combinatorial Algorithms: Theory and Practice - Reingold, Nievergelt, et al. - 1977
146	Process decomposition through locality of reference - Rogers, Pingali - 1989
124	Compiling programs for distributedmemory multiprocessors - Callahan, Kennedy - 1988
123	The Program Dependence Web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages - Ballance, Maccabe, et al. - 1990
119	Automatic Array Privatization - Tu, Padua
99	Beyond induction variables: Detecting and classifying sequences using a demand-driven ssa form - Gerlek, Stoltz, et al. - 1995
98	An overview of the PTRAN analysis system for multiprocessing - Allen, Burke, et al. - 1987
88	Experience in the automatic parallelization of four Perfect benchmark programs - Eigenmann, Hoeflinger, et al. - 1991
86	Analysis of programs for parallel processing - Bernstein - 1966
85	Beyond induction variables - Wolfe - 1992
82	Array expansion - Feautrier - 1988
78	On the Number of Operations Simultaneously Executable in FORTRAN-like Programs and Their Resulting Speed0up - Kuck, Muraoka, et al. - 1972
76	Compiler support for machine-independent parallel programming - Hiranandani, Kennedy, et al. - 1992
73	The Range test: a dependence test for symbolic, non-linear expressions - Blume, Eigenmann - 1994
66	Gated SSA-based demand-driven symbolic analysis for parallelizing compilers - Tu, Padua - 1995
64	Supercomputer performance evaluation and the Perfect benchmarks - Cybenko, Kipp, et al. - 1990
64	Array privatization for parallel execution of loops - Li - 1992
61	A scheme to enforce data dependence on large multiprocessor systems - Zhu, Yew - 1987
58	K.: Dependence-based program analysis - Johnson, Pingali - 1993
57	What's in a Name? or The Value of Renaming for Parallelism Detection and Storage Allocation - Cytron, Ferante - 1987
57	Measuring Parallelism in Computation-Intensive Scientific/Engineering Applications - Kumar - 1988
57	High-speed multiprocessors and compilation techniques - Padua, Kuck, et al. - 1980
53	The program structure tree: computing control regions in linear time - Johnson, Pearson, et al. - 1994
44	Symbolic dependence analysis for high-performance parallelizing compilers - Haghighat, Polychronopoulos - 1990
38	Polaris: The next generation in parallelizing compilers - Blume, Eigenmann, et al. - 1994
34	Symbolic program analysis and optimization for parallelizing compilers - Haghighat, Polychronopoulos - 1992
34	Array privatization for shared and distributed memory machines - Tu, Padua - 1992
32	III. Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation - Ammarguellat, Harrison - 1990
30	Symbolic evaluation and the analysis of programs - Cheatham, Holloway, et al. - 1979
28	Data dependence in ordinary programs - Banerjee - 1976
27	Construction of thinned gated single-assignment form - Havlak - 1993
24	Automatic generation of nested, fork-join parallelism - Burke, Cytron, et al. - 1989