Detecting Race Conditions in Large Programs (2001)

by Cormac Flanagan , Stephen N. Freund
Venue:PASTE'01
Citations:42 - 5 self

Documents Related by Co-Citation

557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
181 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
123 Object race detection – C von Praun, T R Gross - 2001
96 Type-safe multithreading in Cyclone – Dan Grossman - 2003
314 Model Checking Java Programs Using Java PathFinder – Klaus Havelund, Thomas Pressburger - 1998
369 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
126 Hybrid Dynamic Data Race Detection – Robert O'Callahan, et al. - 2003
215 A type and effect system for atomicity – Cormac Flanagan, Shaz Qadeer - 2003
200 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004
240 RacerX: Effective, Static Detection of Race Conditions and Deadlocks – Dawson Engler, Ken Ashcraft - 2003
57 Warlock: A static data race analysis tool – N Sterling - 1993
103 Model-Checking Multi-Threaded Distributed Java Programs – Scott D. Stoller - 2000
47 Detecting Data Races in Parallel Program Executions – Robert Netzer Netzer, Barton P. Miller - 1989
67 Static Conflict Analysis for Multi-Threaded Object-Oriented Programs – Christoph von Praun, Thomas R. Gross - 2003
37 Testing concurrent Java programs using randomized scheduling – S D Stoller - 2002
63 Multithreaded Java program test generation – O Edelstein, E Farchi, Y Nir, G Ratsaby, S Ur - 2002
62 Guava: A Dialect of Java without Data Races – David F. Bacon, Robert E. Strom, Ashis Tarafdar - 2000