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

Active Bibliography

134 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
117 Removing Unnecessary Synchronization in Java – Jeff Bogda, Urs Hölzle - 1999
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs – Radu Rugina, Radu Rugina - 1990
19 Comprehensive Synchronization Elimination for Java – Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers
230 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
193 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
42 Detecting Race Conditions in Large Programs – Cormac Flanagan, Stephen N. Freund - 2001
24 reservation: Java locks can mostly do without atomic operations – Kiyokuni Kawachiya, Akira Koseki, Tamiya Onodera
100 Points-to Analysis for Java Using Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2001
65 Types for safe locking: Static race detection for Java – Martin Abadi, Cormac Flanagan, Stephen N. Freund - 2006
Faster Alias Set Analysis Using Summaries – Nomair A. Naeem
57 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
8 Pointer Analysis for Structured Parallel Programs – Radu Rugina, Martin C. Rinard - 2003
53 Pointer and Escape Analysis for Multithreaded Programs – Alexandru Salcianu, Martin Rinard - 2001
11 Loci: Simple Thread-Locality for Java – Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
74 Safe futures for Java – Adam Welc, Suresh Jagannathan, Antony Hosking - 2005
1 Eliminating Synchronization Bottlenecks Using Adaptive Replication – Martin C. Rinard, Pedro C. Diniz - 2003