Detecting Read-Only Methods in Java (2000)

Cached

Download Links

by Jeff Bogda
Venue:In Proc. of the ACM Workshop on Languages, Compilers, and Runtime Systems for Scalable Computers (LCR 2000
Citations:2 - 0 self

Documents Related by Co-Citation

117 Removing Unnecessary Synchronization in Java РJeff Bogda, Urs Hölzle - 1999
122 Effective synchronization removal for Java – E Ruf - 2000
231 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
1 Critical Section, Be Gone – Jeff Bogda, Ambuj Singh - 2000
7 Mooly Sagiv, and Thomas Reps. Shape analysis – Reinhard Wilhelm - 2000
13 Sealed calls in Java packages – Ayal Zaks, Vitaly Feldman, Nava Aizikowitz - 2000
32 Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs – James Corbett - 1998
79 Putting static analysis to work for verification: A case study – Tal Lev-ami, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm - 2000
68 Static Analyses for Eliminating Unnecessary Synchronization from Java Programs – Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers - 1999
50 Wait-free Parallel Algorithms for the Union-Find Problem – Richard J. Anderson, Heather Woll - 1994
31 Field Analysis: Getting Useful and Low-cost Interprocedural Information – Sanjay Ghemawat, Keith H. Randall, Daniel J. Scales, All Daniel J. Scales - 2000
39 A Framework for Interprocedural Optimization in the Presence of Dynamic Class Loading – Vugranam C. Sreedhar , Michael Burke, Jong-Deok Choi - 2000
38 Quicksilver: A Quasi-Static Compiler for Java – Mauricio Serrano, Rajesh Bordawekar, Sam Midkiff, Manish Gupta - 2000
127 Scalable propagation-based call graph construction algorithms – Frank Tip - 2000
5 Language Constructs and Runtime Systems for Compositional Parallel Programming – Ian Foster, Carl Kesselman - 1994
1 The "Double-Checked Locking is Broken" Declaration. http://www.cs.umd.edu/~pugh/java/memoryModel – D Bacon, J Bloch, J Bogda, C Click, P Haahr, D Lea, T May, J-W Maessen, J Mitchell, K Nielsen, B Pugh - 2000
1 A Java fork/join framework. http://gee.cs.oswego.edu/dl/papers/fj.pdf – D Lea - 2000
11 The Illinois Concert System: A Problem-solving Environment for Irregular Applications – A A Chien, Julian Dolby - 1994