Synchronization Transformations for Parallel Computing (1997)

by Pedro Diniz , Martin Rinard
Venue:In Proceedings of the 24th Annual ACM Symposium on the Principles of Programming Languages
Citations:25 - 9 self

Documents Related by Co-Citation

262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
117 Removing Unnecessary Synchronization in Java РJeff Bogda, Urs Hölzle - 1999
92 Escape Analysis for Object Oriented Languages. Application to Java – Bruno Blanchet - 1999
135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
231 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
46 Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages – John Plevyak, Xingbin Zhang, Andrew A. Chien - 1995
386 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
68 Static Analyses for Eliminating Unnecessary Synchronization from Java Programs – Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers - 1999
396 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
327 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
37 On the complexity of escape analysis – A Deutsch - 1997
61 Escape Analysis: Correctness Proof, Implementation and Experimental Results – Bruno Blanchet - 1998
57 Escape Analysis on Lists – Young Gil Park, Benjamin Goldberg - 1992
126 Context-Insensitive Alias Analysis Reconsidered – Erik Ruf, Erik Ruf - 1995
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
292 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
27 Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs – Pedro Diniz, Martin Rinard - 1996
12 Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-based Programs – Lock - 1998