Albert Cohen, Peng Wu  Home/Search
Context
Related
| rocq.inria.fr/~acohen/publ...CW01.ps.gz 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: rocq.inria.fr/~...cations.html.en (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new approach to dependence testing in the presence of induction variables. Instead of looking for closed form expressions, our method computes monotonic evolution which captures the direction in which the value of a variable changes. This information is used for dependence testing of array references. Under this scheme, closed form computation and induction variable substitution can be delayed until after the dependence test and be performed on-demand. The technique can be... (Update)
Active bibliography (related documents): More All
1.6: Dependence Testing without Induction Variable Substitution - Cohen, Wu (2001) (Correct)
0.7: Induction Variable Analysis without Idiom Recognition.. - Wu, Cohen, Padua (2001) (Correct)
0.6: Pointer Analysis for Monotonic Container Traversals - Albert Cohen Peng (2001) (Correct)
Similar documents based on text: More All
0.3: Monotonic Evolution: an Alternative to Induction.. - Wu, Cohen.. (2001) (Correct)
0.2: The CR# Algebra and its Application in Loop Analysis and.. - van Engelen (2004) (Correct)
0.2: Using the Chains of Recurrences Algebra for Data Dependence.. - Birch (2002) (Correct)
BibTeX entry: (Update)
@misc{ cohen-dependence,
author = "Albert Cohen and Peng Wu",
title = "Dependence Testing without Induction Variable Substitution",
url = "citeseer.ist.psu.edu/736051.html" }
Citations (may not include all citations):866 Techniques and Tools (context) - Aho, Sethi et al. - 1986
415 Efficiently computing static single assignment form and the .. - Cytron, Ferrante et al. - 1991
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1998
136 Parallel programming with Polaris (context) - Blume, Eigenmann et al. - 1996
116 Monotone data flow analysis frameworks (context) - Kam, Ullman - 1977
68 Beyond induction variables: detecting and classifying sequen.. - Gerlek, Stoltz et al. - 1995
64 The range test: A dependence test for symbolic (context) - Blume, Eigenmann - 1994
49 A general data dependence test for dynamic (context) - Hummel, Hendren et al. - 1994
42 Symbolic analysis for parallelizing compilers - Haghighat, Polychronopoulos - 1996
23 the automatic parallelization of the perfect benchmarks - Eigenmann, Hoeflinger et al. - 1998
17 Parallelization in the presence of generalized induction and.. - Pottenger, Eigenmann - 1995
11 Automatic recognition of induction & recurrence relations by.. (context) - Ammarguellat, Harrison - 1990
11 Compiler analysis of irregular memory accesses (context) - Lin, Padua - 2000
7 Loop monotonic computations: An approach for the efficient r.. (context) - Gupta, Spezialetti
7 Monotonic evolution: an alternative to induction variable su.. - Wu, Cohen et al. - 2001
3 Pointer analysis for monotonic container traversals - Cohen, Wu et al. - 2001
3 Points-to analysis for java with applications to loop optimi.. (context) - Wu, Feautrier et al. - 2000
3 the parallelization of general-purpose java programs (context) - Wu, Padua et al. - 2000
Documents on the same site (http://www-rocq.inria.fr/~acohen/publications/publications.html.en): More
Instance-wise Reaching Definition Analysis for Recursive.. - Cohen, Collard (1998) (Correct)
The New Framework for Loop Nest Optimization in GCC.. - Pop, Cohen, Jouvelot, .. (2006) (Correct)
Induction Variable Analysis without Idiom Recognition.. - Wu, Cohen, Padua (2001) (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