| Alternate document: Details Symbolic Expression Evaluation to Support Parallelizing Compilers (97) Thomas Fahringer |
Thomas Fahringer, Bernhard Scholz  Home/Search
Context Related
| par.univie.ac.at/p...oratr199707.ps.gz par.univie.ac.at/~tf/papers/...ics97.ps par.univie.ac.at/public...tr9710.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: vcpc.univie.ac.at/aurora/publi... (more) From: par.univie.ac.at/...tr9697_short (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we describe efficient symbolic evaluation techniques to compute the values of variables and symbolic expressions, and to determine the condition under which control flow reaches a program statement at compile time. Computations are represented as algebraic expressions over the input data which maintains the crucial relationship between input data and the resulting analysis information. Our symbolic evaluation techniques comprise accurate modeling of assignment and conditional... (Update)
Context of citations to this paper: More
.... case execution time analysis [1] to cache hit prediction [4] to alias analysis [3] to optimization problems of High Performance Fortran [12], and to pointer analysis for detecting memory leaks [17] The underlying program representation for symbolic evaluation is the control...
...nest that is triangular. An example of such a loop nest can be found in the TRFD code, which has been extensively studied for compiler optimization [2, 3, 6]. Application of the CR rewrite rules on T (i) gives 2 CR , 1 , 1, 2 i , c 2 i , c 3 , 2 c 3 c 1 , c...
Cited by: More
Value Range Analysis of Conditionally Updated Variables .. - Birch, van Engelen.. (2004) (Correct)
P³T+: A Performance Estimator for Distributed and.. - Fahringer, Pozgaj (1999) (Correct)
Efficient Symbolic Analysis for Parallelizing Compilers and.. - Fahringer (1998) (Correct)
Similar documents (at the sentence level):
13.4%: A Unified Symbolic Evaluation Framework for Parallelizing.. - Fahringer, Scholz (1999) (Correct)
Active bibliography (related documents): More All
0.3: Buffer-Safe and Cost-Driven Communication Optimization - Fahringer, Mehofer (1999) (Correct)
0.3: Buffer-Safe Communication Optimization based on Data Flow.. - Fahringer, Mehofer (1997) (Correct)
0.2: Evaluation of Benchmark Performance Estimation for Parallel.. - Fahringer (1994) (Correct)
Similar documents based on text: More All
0.5: Interprocedural Symbolic Evaluation of Ada Programs with .. - Blieberger.. (1999) (Correct)
0.3: Symbolic Cache Analysis for Real-Time Systems - Blieberger, Fahringer, Scholz (1999) (Correct)
0.2: On the Evaluation of JavaSymphony for Cluster Applications - Fahringer, Jugravu, Di.. (2002) (Correct)
Related documents from co-citation: More All
8: Automatic Performance Prediction for Parallel Programs on Massively Parallel Com.. (context) - Fahringer - 1993
7: Technical Report - FORTRAN, Specification - 1993
7: Efficient Symbolic Analysis for Parallelizing Compilers and Performance Estimato.. - Fahringer
BibTeX entry: (Update)
T. Fahringer and B. Scholz, "Symbolic Evaluation for Parallelizing Compilers," in Proc. of the 11th ACM International Conference on Supercomputing, (Vienna, Austria), July 1997. http://citeseer.ist.psu.edu/fahringer97symbolic.html More
@inproceedings{ fahringer97symbolic,
author = "Thomas Fahringer and Bernhard Scholz",
title = "Symbolic Evaluation for Parallelizing Compilers",
booktitle = "International Conference on Supercomputing",
pages = "261-268",
year = "1997",
url = "citeseer.ist.psu.edu/fahringer97symbolic.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
415 Efficiently computing static single assignment form and the .. - Cytron, Ferrante et al. - 1991
287 Mathematica - A System for Doing Mathematics by Computer (context) - Wolfram - 1991
245 The Omega Test: a Fast and Practical Integer Programming Alg.. - Pugh - 1992
217 The PERFECT club benchmarks: Effective performance evaluatio.. - Berry - 1989
86 The program Dependence Web: a Representation Supporting Cont.. (context) - Ballance, Maccabe et al. - 1990
70 Automatic Performance Prediction of Parallel Programs (context) - Fahringer - 1996
45 Gated SSA-Based DemandDriven Symbolic Analysis for Paralleli.. - Tu, Padua - 1995
42 Symbolic Range Propagation - Blume, Eigenmann - 1995
37 Vienna Fortran Compilation System - Version (context) - Benkner - 1995
34 Advanced Compilation Techniques in the Paradigm Compiler for.. - Su, Lain et al. - 1995
13 Symbolic Analysis for Parallelizing Compilers - Haghighat - 1995
9 Interfacing Mathematica from the Vienna Fortran Compilation .. (context) - Scheibl, Celic et al. - 1996
5 Series in Computer Science (context) - Aho, Sethi et al. - 1988
3 Symbolic Expression Evaluation to Support Parallelizing Comp.. - Fahringer - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.vcpc.univie.ac.at/aurora/publications/): More
Dynamic Load Balancing on Heterogeneous Workstation.. - Hlavacs, Ueberhuber (1998) (Correct)
Dynamic Asset Allocation under Uncertainty for Pension Fund .. - Pflug, Swietanowski (1998) (Correct)
Estimating Cache Performance for Sequential and Data Parallel.. - Fahringer (1997) (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