|
241
|
Escape analysis for Java
– Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff
- 1999
|
|
108
|
Compiler and runtime support for efficient software transactional memory
– Ali-Reza Adl-Tabatabai, Brian T Lewis, Vijay Menon, Brian R Murphy, Bratin Saha, Tatiana Shpeisman
- 2006
|
|
316
|
Composable memory transactions
– Tim Harris, Simon Marlow, Simon Peyton, Jones Maurice Herlihy
- 2005
|
|
1540
|
The Java Language Specification
– J Gosling, B Jay, G Steele
- 1996
|
|
221
|
Type-based race detection for Java
– Cormac Flanagan, Stephen N. Freund
|
|
297
|
Shared memory consistency models: A tutorial
– Sarita V. Adve, Kourosh Gharachorloo
- 1996
|
|
478
|
Eraser: a dynamic data race detector for multithreaded programs
– Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson
- 1997
|
|
104
|
Types for safe locking
– Cormac Flanagan
- 1999
|
|
62
|
Static analyses for eliminating unnecessary synchronizations from Java programs
– Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers
- 1999
|
|
118
|
Effective synchronization removal for Java
– E Ruf
- 2000
|
|
940
|
How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs
– L Lamport
- 1979
|
|
1022
|
The Java Virtual Machine Specification
– Tim Lindholm, Frank Yellin
- 1996
|
|
30
|
What do high-level memory models mean for transactions
– Dan Grossman
- 2006
|
|
414
|
Software Transactional Memory
– Nir Shavit, Dan Touitou
- 1995
|
|
55
|
Guava: A Dialect of Java without Data Races
– David F. Bacon, Robert E. Strom, Ashis Tarafdar
- 2000
|
|
110
|
Removing Unnecessary Synchronization in Java
– Jeff Bogda, Urs Hölzle
- 1999
|
|
261
|
Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
– Chandrasekhar Boyapati, Robert Lee, Martin Rinard
- 2002
|
|
211
|
Compositional Pointer and Escape Analysis for Java Programs
– John Whaley, Martin Rinard
- 1999
|
|
273
|
Extended static checking
– David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe
- 1998
|
