Dirk Grunwald, Harini Srinivasan  Home/Search
Context Related
| colorado.edu/pub/te...CUCS60592.ps.Z colorado.edu/pub/cs...CUCS60592.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: colorado.edu (more) From: gatech.edu/people/home...dataflow (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We have extended the standard monotone dataflow system for the reaching definitions problem to accommodate explicitly parallel programs; this information is used in many standard optimization problems. This paper considers the parallel sections construct, both with and without explicit synchronization; a future paper considers the parallel do construct. Although work has been done on analyzing parallel programs to detect data races, little work has been done on optimizing such programs; the... (Update)
Context of citations to this paper: More
...programs. General frameworks for analyzing explicit parallel programs are presented by Chow and Harrison[2] Grunwald and Srinivasan[5], and Ferrante et al. 4] In their work, ####### ##### parallelism[2] event synchronizations[5] and ##### loops[4] are considered. In...
Cited by: More
Pointer and Escape Analysis for Multithreaded Programs - Martin Rinard Alexandru (2001) (Correct)
Arvind Krishnamurthy - Report No Ucb (Correct)
Analysis of Multithreaded Programs - Rinard (2001) (Correct)
Similar documents (at the sentence level):
74.5%: A Monotone Data Flow System for Analyzing Explicitly.. - Grunwald, Srinivasan (1992) (Correct)
Active bibliography (related documents): More All
0.5: Static Single Assignment Form for Explicitly Parallel.. - Eric Stoltz Harini (1994) (Correct)
0.5: An Efficient Construction of Parallel Static Single.. - Srinivasan, Grunwald (1991) (Correct)
0.5: Optimal Code Motion for Parallel Programs (Extended Abstract) - Knoop, Steffen, Vollmer (1995) (Correct)
Similar documents based on text: More All
0.5: Symbolic Reaching Definitions Analysis of Ada Programs - Blieberger, Burgstaller (1998) (Correct)
0.3: CustoMalloc: Efficient Synthesized Memory Allocators - Grunwald, Zorn (1992) (Correct)
0.3: The Design of an Object-Oriented Runtime System For.. - Baille, Grunwald.. (1995) (Correct)
Related documents from co-citation: More All
14: Issues in the optimization of parallel programs (context) - Midkiff, Padua - 1990
9: Static Analysis of Low-level Synchronization (context) - Callahan, Subhlok - 1988
8: Parallelism for free: Efficient and optimal bitvector analyses for parallel prog.. - Knoop, Steffen et al. - 1996
BibTeX entry: (Update)
Dirk Grunwald and Harini Srinivasan. Data flow equations of explicitly parallel programs. In PPoPP 93. ACM SIGPLAN NOTICES, 1993. http://citeseer.ist.psu.edu/grunwald93data.html More
@inproceedings{ grunwald93data,
author = "D. Grunwald and H. Srinivasan",
title = "Data Flow Equations for Explicitly Parallel Programs",
booktitle = "Proceedings of the Fourth {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming",
address = "San Diego, CA",
year = "1993",
url = "citeseer.ist.psu.edu/grunwald93data.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
415 Efficiently computing static single assignment form and the .. - Cytron, Ferrante et al. - 1991
68 Program Flow Analysis: Theory and Applications (context) - Muchnick, Jones - 1981
48 Static Analysis of low-level synchronization (context) - Callahan, Subhlok - 1988
46 Analysis of event synchronization in a parallel programming .. - Callahan, Kennedy et al.
37 Issues in the optimization of parallel programs (context) - Midkiff, Padua - 1990
17 PCF Parallel FORTRAN Extensions (context) - Forum - 1991
16 Compile-time detection of race conditions in a parallel prog.. (context) - Balasundaram, Kennedy - 1989
14 Analyzing programs with explicit parallelism (context) - Srinivasan, Wolfe - 1992
14 Analyzing programs with explicit parallelism (context) - Srinivasan - 1991
9 An Efficient Construction of Parallel Static Single Assignme.. - Srinivasan, Grunwald - 1991
3 Data structures for optimizing programs with explicit parall.. (context) - Wolfe, Srinivasan - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.cs.colorado.edu.html): More
Harvest: A Scalable, Customizable Discovery and Access System - Bowman (1995) (Correct)
Molecular Dynamics on the Cray Y-MP - Ay Mp (Correct)
Objectives - The Principal (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