Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs (1998)

Cached

Download Links

by James Corbett
Venue:In Proceedings of the International Symposium on Software Testing and Analysis
Citations:32 - 0 self

Documents Related by Co-Citation

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
117 Removing Unnecessary Synchronization in Java РJeff Bogda, Urs Hölzle - 1999
68 Static Analyses for Eliminating Unnecessary Synchronization from Java Programs – Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers - 1999
292 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
567 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
122 Effective synchronization removal for Java – E Ruf - 2000
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
381 Analysis of pointers and structures – D R Chase, M Wegman, F K Zadeck - 1990
396 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
29 Monitors and Exceptions: How to implement Java efficiently – Andreas Krall , Mark Probst - 1998
116 Thin Locks: Featherweight Synchronization for Java – David Bacon, Ravi Konuru, Chet Murthy, Mauricio Serrano - 1998
7 Mooly Sagiv, and Thomas Reps. Shape analysis – Reinhard Wilhelm - 2000
110 Call Graph Construction in Object-Oriented Languages – David Grove - 1997
46 Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages – John Plevyak, Xingbin Zhang, Andrew A. Chien - 1995
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
12 Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-based Programs – Lock - 1998