Thomas Fahringer, Bernhard Scholz  Home/Search
Context Related
Links: ACM DBLP | par.univie.ac.at/p...oratr199915.ps.gz vcpc.univie.ac.at/...oratr199915.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The quality of many optimizations and analyses of parallelizing compilers depends significantly on the ability to evaluate symbolic expressions and on the amount of information available about program variables at arbitrary program points. In this paper, we describe an effective and unified symbolic evaluation framework that statically determines the values of variables and symbolic expressions, assumptions about and constraints between variable values and the condition under which control flow ... (Update)
Context of citations to this paper: More
...Parameters Cache Cache Hit Function Symbolic Cache Evaluation Figure 1. Overview of predicting cache performance Fahringer and Scholz, 1999). The current implementation of our recurrence solver handles recurrences of the following kind: linear recurrence variables...
...High Performance Fortran (HPF) compilers for parallelization of numerical algorithms. An interesting tool by Fahringer and Scholz [43] uses symbolic evaluation to determine concurrency. This seems to point to the interesting situation of a computer algebra system used to...
Cited by: More
Metamorphic Testing and Beyond - Chen, Kuo, Tse, Zhou (2004) (Correct)
Value Range Analysis of Conditionally Updated Variables .. - Birch, van Engelen.. (2004) (Correct)
Parallel Systems in Symbolic and Algebraic Computation - Matooane (2002) (Correct)
Similar documents (at the sentence level):
5.7%: Symbolic Evaluation for Parallelizing Compilers - Fahringer, Scholz (1997) (Correct)
Active bibliography (related documents): More All
0.6: Efficient Symbolic Analysis for Parallelizing Compilers and.. - Fahringer (1998) (Correct)
0.6: Development and Performance Analysis of Real-World .. - Fahringer, Blaha, .. (1999) (Correct)
0.5: Development and Performance Analysis of Real-World.. - Distributed And Parallel (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 - Thomas Fahringer Alexandru (2002) (Correct)
Related documents from co-citation: More All
2: A case study on the selection of useful relations in metamorphic testing (context) - Chen, Huang et al.
2: The Theory of Groups (context) - Hall - 1976
2: Software Manual for the Elementary Functions (context) - Cody, Waite - 1980
BibTeX entry: (Update)
Fahringer, T. and B. Scholz: 1999, `A Unified Symbolic Evaluation Framework for Parallelizing Compilers'. Technical Report AURORA TR1999-15 (http://www.vcpc.univie.ac.at/aurora/), University of Vienna, Austria. http://citeseer.ist.psu.edu/fahringer99unified.html More
@article{ fahringer00unified,
author = "T. Fahringer and B. Scholz",
title = "A Unified Symbolic Evaluation Framework for Parallelizing Compilers",
journal = "IEEE Transactions on Parallel and Distributed Systems",
volume = "11",
number = "11",
pages = "105--??",
year = "2000",
url = "citeseer.ist.psu.edu/fahringer99unified.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977 DBLP
415 Efficiently computing static single assignment form and the .. - Cytron, Ferrante et al. - 1991 ACM DBLP
352 Supercompilers for Parallel and Vector Computers (context) - Zima, Chapman - 1990 ACM
287 Mathematica - A System for Doing Mathematics by Computer (context) - Wolfram - 1991
250 Automatic Discovery of Linear Restraints Among Variables of .. - Cousot, Halbwachs - 1978 ACM DBLP
245 The Omega Test: a Fast and Practical Integer Programming Alg.. - Pugh - 1992 ACM DBLP
225 Flow Analysis of Computer Programs (context) - Hecht - 1977 ACM
197 Maximizing Multiprocessor Performance with the SUIF Compiler - Hall, Anderson et al. - 1996 DBLP
132 Automatic Data Partitioning on Distributed Memory Multicompu.. - Gupta - 1992 ACM
129 Global value numbers and redundant computations (context) - Rosen, Wegman et al. - 1988 ACM DBLP
94 Performance analysis of parallelizing compilers on the perfe.. (context) - Blume, Eigenmann - 1992
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 ACM
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
55 Interactive parallel programming using the ParaScope editor - Kennedy, McKinley et al. - 1991 ACM DBLP
54 Fuzzy array dataflow analysis - Barthou, Collard et al. - 1997 ACM DBLP
49 Symbolic Execution and Program Testing (context) - King - 1976 ACM DBLP
45 Gated SSA-Based Demand-Driven Symbolic Analysis for Parallel.. - Tu, Padua - 1995 ACM DBLP
42 Symbolic Range Propagation - Blume, Eigenmann - 1995 ACM DBLP
41 Automatic Array Privatization and Demand-Driven Symbolic Ana.. - Tu - 1995 ACM
40 Interprocedural Symbolic Analysis - Havlak - 1994 ACM
39 Estimating and Optimizing Performance for Parallel Programs - Fahringer - 1995 ACM DBLP
37 Vienna Fortran Compilation System - Version (context) - Benkner, Andel et al. - 1995
34 Advanced Compilation Techniques in the Paradigm Compiler for.. - Su, Lain et al. - 1995 ACM DBLP
31 Nonlinear array dependence analysis - Pugh, Wonnacott - 1995 ACM
26 ACM Transactions on Programming Languages and Systems (context) - Haghighat, Polychronopoulos et al. - 1996
26 IEEE Transactions on Software Engineering (context) - Cheatham, Holloway et al. - 1979
25 Constraint-Based Array Dependence Analysis (context) - Wonnacott - 1995 ACM DBLP
25 Technical Report - FORTRAN, Specification - 1996
24 Delinearization: An efficient way to break multiloop depende.. - Maslov - 1992 DBLP
22 Experience using control dependence in PTRAN (context) - Cytron, Ferrante et al. - 1990
18 Qualifying Reusable Functions Using Symbolic Execution (context) - Cimitile, De Lucia et al. - 1995 ACM DBLP
18 Simplifying Polynomial Constraints Over Integers to Make Dep.. - Maslov, Pugh - 1994 ACM
15 An Overview of Symbolic Analysis Techniques Needed for the E.. - Blume, Eigenmann - 1994 DBLP
15 Efficient Symbolic Analysis for Parallelizing Compilers and .. - Fahringer - 1998
13 Symbolic Analysis for Parallelizing Compilers - Haghighat - 1995 ACM DBLP
11 Toward Symbolic Performance Prediction of Parallel Programs - Fahringer - 1996 ACM DBLP
10 Some Techniques for Solving Recurrences (context) - Lueker - 1980 ACM DBLP
9 Interfacing Mathematica from the Vienna Fortran Compilation .. (context) - Scheibl, Celic et al. - 1996
8 Software Specialization Via Symbolic Execution (context) - Coen-Porisini, De Paoli et al. - 1991 ACM DBLP
6 Buffer-safe communication optimization based on data flow an.. - Fahringer, Mehofer - 1997
6 Oxfor Science Publications (context) - Metcalf, Reid et al. - 1996
5 Algorithmic Concept Recognition Support for Automatic Parall.. (context) - DiMartino - 1998
5 Series in Computer Science (context) - Aho, Sethi et al. - 1988
5 Lecture Notes in Computer Science: Languages and Compilers f.. (context) - Chapman, Fahringer et al. - 1993
3 linearized augmented plane wave program for calculating crys.. (context) - Blaha, Schwarz et al. - 1995
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