Sebastian Pop, Albert Cohen, Georges-Andre Silber  Home/Search
Context Related
| cri.ensmp.fr/classement/doc...A371.pdf 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: cri.ensmp.fr/classement/2005 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents the design of an induction variable analyzer suitable for the analysis of typed, low-level, three address representations in SSA form. At the heart of our analyzer is a new algorithm recognizing scalar evolutions. We define a representation called trees of recurrences that is able to capture di#erent levels of abstractions: from the finer level that is a subset of the SSA representation restricted to arithmetic operations on scalar variables, to the coarser levels such ... (Update)
Cited by: More
The New Framework for Loop Nest Optimization in GCC.. - Pop, Cohen, Jouvelot, .. (Correct)
Induction Variable Analysis with Delayed Abstractions - Pop, Cohen, Silber (2005) (Correct)
Active bibliography (related documents): More All
1.3: An Evaluation of the New Framework for Loop Nest.. - Pop, Cohen, Silber (Correct)
0.4: Value Range Analysis of Conditionally Updated Variables .. - Birch, van Engelen.. (2004) (Correct)
0.3: The triVM intermediate language reference manual - Johnson (2002) (Correct)
Similar documents based on text: More All
0.3: Toward a Systematic, Pragmatic and Architecture-Aware.. - Parello, Temam, al. (2004) (Correct)
0.2: In Search of a Program Generator to Implement.. - Cohen, Donadio.. (2004) (Correct)
0.2: Branch Strategies to Optimize Decision Trees for.. - Carribault.. (2004) (Correct)
Related documents from co-citation: More All
4: Autovectorization in GCC (context) - Naishlos - 2004
4: Advanced Compiler Design & Implementation (context) - Muchnick - 1997
4: Multidimensional chains of recurrences - Kislenkov, Mitrofanov et al. - 1998
BibTeX entry: (Update)
S. Pop, A. Cohen, and G.-A. Silber. Induction variable analysis with delayed abstractions. In 2005 International Conference on High Performance Embedded Architectures and Compilers, 2005. Barcelona, Spain. http://citeseer.ist.psu.edu/article/pop05induction.html More
@misc{ pop05induction,
author = "S. Pop and A. Cohen and G. Silber",
title = "Induction variable analysis with delayed abstractions",
text = "S. Pop, A. Cohen, and G.-A. Silber. Induction variable analysis with delayed
abstractions. In 2005 International Conference on High Performance Embedded
Architectures and Compilers, 2005. Barcelona, Spain.",
year = "2005",
url = "citeseer.ist.psu.edu/article/pop05induction.html" }
Citations (may not include all citations):866 Techniques and Tools (context) - Aho, Sethi et al. - 1986
294 High Performance Compilers for Parallel Computing (context) - Wolfe - 1996
164 A practical algorithm for exact array dependence analysis (context) - Pugh - 1992
109 Advanced Compiler Design & Implementation (context) - Muchnick - 1997
87 Loop Transformations for Restructuring Compilers: The Founda.. (context) - Banerjee - 1992
68 Beyond induction variables: detecting and classifying sequen.. - Gerlek, Stoltz et al. - 1995
68 Beyond induction variables - Wolfe - 1992
67 ciently computing static single assignment form and the cont.. (context) - Cytron, Ferrante et al. - 1991
51 Linear unification (context) - Paterson, Wegman - 1976
48 Optimizing Compilers for Modern Architectures (context) - Allen, Kennedy - 2002
42 Symbolic analysis for parallelizing compilers - Haghighat, Polychronopoulos - 1996
28 Designing the McCAT compiler based on a family of structured.. - Hendren, Donawa et al. - 1993
26 Chains of recurrences a method to expedite the evaluation of.. - Bachmann, Wang et al. - 1994
25 Static analysis of linear congruence equalities among variab.. (context) - Granger - 1991
19 LLVM: A compilation framework for lifelong program analysis .. - Lattner, Adve - 2004
17 Parallelization in the presence of generalized induction and.. - Pottenger, Eigenmann
16 The octagon abstract domain (context) - Mine - 2001
8 Multidimensional chains of recurrences - Kislenkov, Mitrofanov et al. - 1998
8 Loop induction variable canonicalization in parallelizing co.. (context) - Liu, Lo et al. - 1996
8 GENERIC and GIMPLE: a new tree representation for entire fun.. (context) - Merill - 2003
7 Hacker's Delight (context) - Warren - 2003
7 Tree SSA - a new optimization infrastructure for GCC (context) - Novillo - 2003
6 cient symbolic analysis for optimizing compilers (context) - van Engelen - 2001
6 Vectorization for simd architectures with alignment constrai.. (context) - Eichenberger, Wu et al. - 2004
6 High-level loop optimizations for GCC (context) - Berlin, Edelsohn et al. - 2004
6 A unified framework for nonlinear dependence testing and sym.. (context) - van Engelen, Birch et al. - 2004
6 Autovectorization in GCC (context) - Naishlos - 2004
4 On computational properties of chains of recurrences - Zima - 2001
4 Fast recognition of scalar evolutions on three-address ssa c.. (context) - Pop, Clauss et al. - 2004
4 Induction variable analysis with delayed abstractions - Pop, Cohen et al. - 2005
3 Xil and yil: the intermediate languages of tobey (context) - O'Brien, O'Brien et al. - 1995
3 The value evolution graph and its use in memory reference an.. (context) - Rus, Zhang et al. - 2004
2 A propagation engine for gcc (context) - Novillo - 2005
http://www.javagrande.org
http://www.spec.org
http://www.gnu.org/software/gnugo/gnugo.html
Documents on the same site (http://www.cri.ensmp.fr/classement/2005.html): More
A Case-Study of Design Space Exploration for.. - Hurbain, Ancourt, .. (Correct)
Motivation-Driven Educational Game Design: Applying Best.. - Denis, Jouvelot (Correct)
Induction Variable Analysis with Delayed Abstractions - Pop, Silber, Cohen (2005) (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