|
241
|
Escape analysis for Java
– Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff
- 1999
|
|
110
|
Removing Unnecessary Synchronization in Java
– Jeff Bogda, Urs Hölzle
- 1999
|
|
211
|
Compositional Pointer and Escape Analysis for Java Programs
– John Whaley, Martin Rinard
- 1999
|
|
78
|
Escape analysis for object-oriented languages: application to java
– Bruno Blanchet
- 1999
|
|
221
|
Type-based race detection for Java
– Cormac Flanagan, Stephen N. Freund
|
|
118
|
Effective synchronization removal for Java
– E Ruf
- 2000
|
|
104
|
Types for safe locking
– Cormac Flanagan
- 1999
|
|
211
|
Polymorphic effect systems
– John M. Lucassen, David K. Gifford
- 1988
|
|
1540
|
The Java Language Specification
– J Gosling, B Jay, G Steele
- 1996
|
|
273
|
Extended static checking
– David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe
- 1998
|
|
239
|
Classes and Mixins
– Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
- 1998
|
|
478
|
Eraser: a dynamic data race detector for multithreaded programs
– Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson
- 1997
|
|
281
|
Solving Shape-Analysis Problems in Languages with Destructive Updating
– Mooly Sagiv, Thomas Repst, Reinhard Wilhelm
- 1996
|
|
247
|
Fixing the Java memory model
– Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson
- 1999
|
|
302
|
Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis
– Jeffrey Dean, David Grove, Craig Chambers
- 1995
|
|
180
|
Control Flow Analysis in Scheme
– Olin Shivers
- 1988
|
|
59
|
Escape Analysis: Correctness Proof, Implementation and Experimental Results
– Bruno Blanchet
- 1998
|
|
89
|
Escape Analysis for Object Oriented Languages. Application to Java
– Bruno Blanchet
- 1999
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
