Static analyses for eliminating unnecessary synchronizations from Java programs (1999)

by Jonathan Aldrich , Craig Chambers , Emin Gun Sirer , Susan Eggers
Venue:In Static Analysis Symposium (SAS
Citations:68 - 4 self

Active Bibliography

19 Comprehensive Synchronization Elimination for Java – Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers
117 Removing Unnecessary Synchronization in Java – Jeff Bogda, Urs Hölzle - 1999
6 Compiling Java for High Performance and the Internet – Zoran Budimlic - 2001
20 Techniques for Obtaining High Performance in Java Programs – Iffat H. Kazi, Berdenia Stanley, David J. Lilja, Amit Verma, Shakti Davis - 1999
11 Designing an algorithm for role analysis – Viktor Kuncak - 2001
45 Fast and Effective Optimization of Statically Typed Object-Oriented Languages – David Francis Bacon - 1997
External Uniqueness – Tobias Wrigstad A, Dave Clarke B
332 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
231 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
Microarchitectural Techniques to Enable Efficient Java Execution – Ramesh Radhakrishnan, Ramesh Radhakrishnan, B. Tech - 2000
unknown title – unknown authors
2 Who's Afraid of Ownership Types? – David G. Clarke, James Noble, John M. Potter - 1999
2 A Mode System for Flexible Alias Protection – John Potter, David Clarke, James Noble - 1998
1 Coping with aliasing in the GNU Eiffel Compiler implementation – Olivier Zendra, Dominique Colnet - 2000
2 Dynamic Alias Protection in Prototype-Based Languages – James Noble, David Clarke, John Potter - 1998
9 Proof Linking: A Modular Verification Architecture for Mobile Code Systems – Philip W. L. Fong - 2004
4 Direct Reasoning – Gregory W. Kulczycki - 2004
2 Overcoming Representation Exposure – David Clarke, James Noble, John Potter - 1999
4 The interdependence of effects and uniqueness – John Boyland - 2001