|
478
|
Eraser: a dynamic data race detector for multithreaded programs
– Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson
- 1997
|
|
261
|
Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
– Chandrasekhar Boyapati, Robert Lee, Martin Rinard
- 2002
|
|
100
|
Hybrid Dynamic Data Race Detection
– Robert O'Callahan, et al.
- 2003
|
|
155
|
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs
– Jong-deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
- 2002
|
|
221
|
Type-based race detection for Java
– Cormac Flanagan, Stephen N. Freund
|
|
351
|
Language Support for Lightweight Transactions
– Tim Harris, Keir Fraser
- 2003
|
|
69
|
Types for atomicity
– C Flanagan, S Qadeer
- 2003
|
|
164
|
Atomizer: a dynamic atomicity checker for multithreaded programs
– Cormac Flanagan, Stephen N. Freund
- 2004
|
|
195
|
RacerX: Effective, Static Detection of Race Conditions and Deadlocks
– Dawson Engler, Ken Ashcraft
- 2003
|
|
106
|
Effective static race detection for Java
– Mayur Naik, Alex Aiken, John Whaley
- 2006
|
|
247
|
Fixing the Java memory model
– Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson
- 1999
|
|
188
|
A type and effect system for atomicity
– Cormac Flanagan, Shaz Qadeer
- 2003
|
|
104
|
Object Race Detection
– C von Praun, T Gross
- 2001
|
|
51
|
Performance Evaluation Corporation. SPEC Benchmarks. Available from http://www.spec.org
– Standard
- 2004
|
|
90
|
Type-safe multithreading in Cyclone
– Dan Grossman
- 2003
|
|
118
|
Effective synchronization removal for Java
– E Ruf
- 2000
|
|
137
|
Reduction: a method of proving properties of parallel programs
– Richard J Lipton
- 1975
|
|
239
|
Classes and Mixins
– Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
- 1998
|
|
49
|
Type inference for parameterized race-free Java
– Rahul Agarwal, Scott D. Stoller
- 2004
|
