Jaejin Lee and David A. Padua Department of Computer Science University of...  Home/Search
Context Related
| ucsb.edu/~ckrintz/...duaparallel.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: ucsb.edu/~ckrintz/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Traditional compiler techniques developed for sequential programs do not guarantee the correctness (sequential consistency) of compiler transformations when applied to parallel programs. This is because traditional compilers for sequential programs do not account for the updates to a shared variable by di erent threads. We present a concurrent static single assignment (CSSA) form for parallel programs containing cobegin/coend and parallel do constructs and post/wait synchronization primitives.... (Update)
Cited by: More
The Pensieve Project: A Compiler Infrastructure for Memory.. - Chi-Leung Wong Zehra (Correct)
Automatic Implementation of Programming Language Consistency .. - Zehra Sura Chi-Leung (Correct)
Polynomial-time Algorithms for Enforcing Sequential - Consistency In Spmd (Correct)
Similar documents (at the sentence level):
9.9%: Compilation Techniques for Explicitly Parallel Programs - Lee (1999) (Correct)
Active bibliography (related documents): More All
1.5: A Constant Propagation Algorithm for Explicitly Parallel Programs - Lee, Midki (1998) (Correct)
1.2: A Compiler for Multiple Memory Models - Samuel Midkiff Ibm (2001) (Correct)
0.6: Hiding the Java Memory Model with Compilers - Lee (Correct)
Similar documents based on text: More All
0.3: Parallel Static Single Assignment Form and Constant Propagation .. - Lee, Padua (Correct)
0.3: Concurrent Static Single Assignment Form and Constant.. - Lee, Midkiff, Padua (1997) (Correct)
0.1: Restructuring Programs for High-Speed Computers with.. - Blume, Eigenmann.. (1996) (Correct)
Related documents from co-citation: More All
10: Code Motion for Explicitly Parallel Programs (context) - Knoop, Ste - 1999
9: Hiding relaxed memory consistency with compilers (context) - Lee, Padua - 2000
8: Multiprocessors should support simple memory consistency models - Hill - 1998
BibTeX entry: (Update)
J.Lee, et al. Basic Compiler Algorithms for Parallel Programs. PPoPP'99, pp. 1-12, 1999. http://citeseer.ist.psu.edu/lee99basic.html More
@inproceedings{ lee99basic,
author = "Jaejin Lee and David A. Padua and Samuel P. Midkiff",
title = "Basic Compiler Algorithms for Parallel Programs",
booktitle = "Principles Practice of Parallel Programming",
pages = "1-12",
year = "1999",
url = "citeseer.ist.psu.edu/lee99basic.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
606 How to make a multiprocessor computer that correctly execute.. (context) - Lamport - 1979
480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
232 Constant propagation with conditional branches (context) - Wegman, Zadeck - 1991
119 Detecting equality of variables in programs (context) - Alpern, Wegman et al. - 1988
86 Advanced Compiler Design and Implementation (context) - Muchnick - 1997
57 Modern Compiler Implementation in Java (context) - Appel - 1998
46 Analysis of event synchronization in a parallel programming .. - Callahan, Kennedy et al. - 1990
36 Multiprocessors should support simple memory-consistency mod.. - Hill - 1998
34 Event synchronization analysis for debugging parallel progra.. - Emrath, Ghosh et al. - 1989
28 Detecting nondeterminacy in parallel programs (context) - Emrath, Ghosh et al. - 1992
27 Race frontier: Reproducing data races in parallel-program de.. (context) - Choi, Min - 1991
27 Eciently computing static single assignment form and the con.. (context) - Cytron, Ferrante et al. - 1991
18 Static single assignment for explicitly parallel programs (context) - Srinivasan, Hook et al. - 1993
18 Compiling programs with user parallelism (context) - Midki, Padua et al. - 1990
17 PCF parallel fortran extensions (context) - Computing - 1991
14 Concurrent static single assignment form and constant propag.. - Lee, Midki et al. - 1997
14 Concurrent static single assignment form and concurrent spar.. - Lee, Midki et al. - 1997
12 Optimizing parallel SPMD programs - Krishnamurthy, Yelick - 1994
8 Technical Report CRPC-TR95636-S (context) - Cooper, Simpson et al. - 1995
6 Parallelism for free: Ecient and optimal bitvector analysis .. (context) - Knoop, Ste et al. - 1996
6 A constant propagation algorithm for explicitly parallel pro.. - Lee, Midki et al. - 1998
4 Eliminating partially dead code in explicitly parallel progr.. - Knoop - 1998
4 Optimizing parallel programs with explicit synchronization (context) - Krishnamurthy, Yelick - 1995
4 Issues in the optimization of parallel programs (context) - Midki, Padua - 1990
3 Analyses and optimizations for shared address space programs (context) - Krishnamurthy, Yelick - 1996
3 Analysis and optimization of explicitly parallel programs us.. - Sarkar - 1997
3 Ecient and correct execution of parallel programs that share.. (context) - Shasha, Snir - 1988
3 Department of Electrical and Computer Engineering (context) - Simpson, Elimination et al. - 1996
2 An ecient construction of parallel static single assignment .. (context) - Srinivasan, Grunwald - 1991
2 Oregon Graduate Institute of Science and Technology (context) - Srinivasan, parallel et al. - 1994
2 Parallel program graphs and their classi cation (context) - Sarkar, Simons - 1993
1 Compilation Techniques for Parallel Shared Memory Programs (context) - Lee - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ucsb.edu/~ckrintz/papers/): More
NWSLite: A Non-Parametric Prediction Utility for.. - Gurun, Krintz, Wolski (Correct)
Efficient Representation and Validation of Proofs - Necula, Lee (1998) (Correct)
A Machine Learning Approach to Automatic Production of.. - Monsifrot, Bodin.. (2002) (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