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:24 - 8 self

Documents Related by Co-Citation

241 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
125 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
110 Removing Unnecessary Synchronization in Java – Jeff Bogda, Urs Hölzle - 1999
89 Escape Analysis for Object Oriented Languages. Application to Java – Bruno Blanchet - 1999
359 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
211 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
312 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
375 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
34 On the complexity of escape analysis – A Deutsch - 1997
59 Escape Analysis: Correctness Proof, Implementation and Experimental Results – Bruno Blanchet - 1998
54 Escape Analysis on Lists – Young Gil Park, Benjamin Goldberg - 1992
47 Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages – John Plevyak, Xingbin Zhang, Andrew A. Chien - 1995
477 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
62 Static analyses for eliminating unnecessary synchronizations from Java programs – Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers - 1999
119 Context-Insensitive Alias Analysis Reconsidered – Erik Ruf, Erik Ruf - 1995
472 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
281 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
21 Tomographic string inversion – J Harris, S Lazaratos, R Michelena - 1990
98 Relevant Context Inference – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 1999