William Pugh, David Wonnacott  Home/Search
Context Related
| umd.edu/users/davew/omega5.ps.Z umd.edu/pub/papers/pa...CSTR3372.ps.Z umd.edu/Library/TRs/C...CSTR3372.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: umd.edu/users/davew/pubs (more) From: umd.edu/TRs/TRnoabs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Standard array data dependence techniques can only reason about linear constraints. There has also been work on analyzing some dependences involving polynomial constraints. Analyzing array data dependences in real-world programs requires handling many "unanalyzable" terms: subscript arrays, run-time tests, function calls. The standard approach to analyzing such programs has been to omit and ignore any constraints that cannot be reasoned about. This is unsound when reasoning about value-based... (Update)
Cited by: More
The New Framework for Loop Nest Optimization in GCC.. - Pop, Cohen, Jouvelot, .. (Correct)
Putting Polyhedral Loop Transformations to Work - Bastoul, Cohen, Girbal.. (2003) (Correct)
A Polyhedral Approach to Ease the Composition of Program.. - Cohen, Girbal, Temam (2004) (Correct)
Similar documents (at the sentence level):
6.5%: Constraint-Based Array Dependence Analysis - William Pugh, David Wonnacott (1998) (Correct)
Active bibliography (related documents): More All
0.5: Static Analysis of Upper and Lower Bounds on Dependences and.. - Pugh, Wonnacott (1994) (Correct)
0.5: Steering Clear of Triples: Deriving the Control Flow Graph.. - Schwartz (1998) (Correct)
0.3: An Automaton-Theoretic Approach to Safety and Security in.. - Lanotte (2003) (Correct)
Similar documents based on text: More All
0.1: Going beyond Integer Programming with the Omega Test to.. - Pugh, Wonnacott (1992) (Correct)
0.1: Experiences with Constraint-based Array Dependence Analysis - Pugh, Wonnacott (1994) (Correct)
Related documents from co-citation: More All
27: Fuzzy array dataflow analysis - Barthou, Collard et al. - 1997
15: Array data-flow analysis and its use in array privatization (context) - Maydan, Amarasinghe et al. - 1993
12: Dataflow analysis of scalar and array references (context) - Feautrier - 1991
BibTeX entry: (Update)
W. Pugh and D. Wonnacott. Nonlinear array dependence analysis. In B. K. Szymanski and B. Sinharoy, editors, Languages, Compilers and Run-Time Systems for Scalable Computers, pages 1--14. Kluwer Academic Publishers, Boston, 1995. Integrating Data and Task Parallelism in Scientific Programs 185 http://citeseer.ist.psu.edu/pugh95nonlinear.html More
@misc{ pugh95nonlinear,
author = "W. Pugh and D. Wonnacott",
title = "Nonlinear array dependence analysis",
text = "W. Pugh and D. Wonnacott. Nonlinear array dependence analysis. In B. K.
Szymanski and B. Sinharoy, editors, Languages, Compilers and Run-Time Systems
for Scalable Computers, pages 1--14. Kluwer Academic Publishers, Boston,
1995. Integrating Data and Task Parallelism in Scientific Programs 185",
year = "1995",
url = "citeseer.ist.psu.edu/pugh95nonlinear.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
245 The Omega test: a fast and practical integer programmingalgo.. - Pugh - 1992
217 The PERFECT Club benchmarks: Effective performance evaluatio.. - Berry - 1989
129 Global value numbers and redundant computations (context) - Rosen, Wegman et al. - 1988
66 Eliminating false data dependences using the Omega test (context) - Pugh, Wonnacott - 1992
64 Array expansion - Feautrier - 1988
64 A practical decision procedure for arithmetic with function .. (context) - Shostak - 1979
44 The privatizing doall test: A run-time technique for doall l.. - Rauchwerger, Padua - 1994
36 Automatic detection of parallelism: A grand challenge for hi.. (context) - Blume, Eigenmann et al. - 1994
35 pn upper bound on the complexity of presburger arithmetic (context) - Oppen - 1978
28 Lazy array data-flow dependence analysis - Maslov - 1994
21 Static analysis of upper and lower bounds on dependences and.. - Pugh, Wonnacott - 1993
20 Elements of Mathematical Logic (context) - Kreisel, Krevine - 1967
17 An evaluation of exact methods for analysis of value-based a.. (context) - Pugh, Wonnacott - 1993
14 Detecting equality of values in programs (context) - Alpern, Wegman et al. - 1988
13 Symbolic analysis techniques needed for effective paralleliz.. (context) - Blume, Eigenmann - 1994
8 Theorem proving in arithmetic with multiplication (context) - Cooper - 1972
5 Experience in the automatic parallelization of 4 Perfect ben.. (context) - Eigenmann, Hoeflinger et al. - 1991
3 Undeciability of presburger arithmetic with a single monadic.. (context) - Downey - 1972
2 Detecting value-based scalar dependence - Stoltz, Wolfe - 1994
1 Technical Report Research Report N o (context) - cois, Paul et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://counter.cs.umd.edu/users/davew/pubs.html):
Experiences with Constraint-based Array Dependence Analysis - Pugh, Wonnacott (1994) (Correct)
Going beyond Integer Programming with the Omega Test to.. - Pugh, Wonnacott (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC