Pedro Diniz and Martin Rinard Department of Computer Science Engineering I...  Home/Search
Context Related
| mit.edu/~rinard/paper/popl97.pdf ucsb.edu/~martin/paper/popl97.ps stanford.edu/~martin/paper/popl97.ps Cached: 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.
PS.gz PS Image Update HelpFrom: mit.edu/~rinard/paper/ (more) From: stanford.edu/~martin/pape...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e#cient parallel software. This paper describes a new framework for synchronization optimizations and a new set of transformations for programs that implement critical sections using mutual exclusion locks. These transformations allow the compiler to move constructs that acquire and release locks both within and between procedures and to eliminate... (Update)
Cited by: More
Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (Correct)
Compiler and Runtime Support for Shared Memory.. - Li, Jin, Agrawal (2002) (Correct)
Analysis of Multithreaded Programs - Rinard (2001) (Correct)
Similar documents (at the sentence level):
62.0%: Synchronization Transformations for Parallel Computing - Diniz, Rinard (1997) (Correct)
Similar documents based on text: More All
0.5: Dynamic Feedback: An Effective Technique for Adaptive Computing - Diniz, Rinard (1997) (Correct)
0.3: Eliminating Synchronization Overhead in Automatically.. - Diniz, Rinard (1999) (Correct)
0.2: On the Complexity of Commutativity Analysis - Ibarra, Diniz, Rinard (1996) (Correct)
Related documents from co-citation: More All
11: Lock coarsening: Eliminating lock overhead in automatically parallelized object-.. - Diniz, Rinard - 1996
9: Context-sensitive interprocedural points-to analysis in the presence of function.. - Emami, Ghiya et al. - 1994
9: Escape Analysis for Java - Choi, Gupta et al. - 1999
BibTeX entry: (Update)
P. Diniz and M. Rinard. Synchronization transformations for parallel computing. In Proceedings of the Twenty-fourth Annual ACM Symposium on the Principles of Programming Languages, Paris, France, January 1997. http://citeseer.ist.psu.edu/diniz97synchronization.html More
@article{ diniz99synchronization,
author = "Pedro C. Diniz and Martin C. Rinard",
title = "Synchronization transformations for parallel computing",
journal = "Concurrency: Prac\-tice and Experience",
volume = "11",
number = "13",
pages = "773--802",
year = "1999",
url = "citeseer.ist.psu.edu/diniz97synchronization.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cag.lcs.mit.edu/~rinard/paper/): More
Hierarchical Concurrency in Jade - Scales, Rinard, Lam, Anderson (Correct)
Commutativity Analysis: A Technique for Automatically.. - Rinard, Diniz (1996) (Correct)
Commutativity Analysis: A New Analysis Framework for.. - Rinard, Diniz (1996) (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