Detecting Race Conditions in Large Programs (2001)

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

Documents Related by Co-Citation

558 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
193 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
122 Object race detection – C von Praun, T R Gross - 2001
94 Type-safe multithreading in Cyclone – Dan Grossman - 2003
317 Model Checking Java Programs Using Java PathFinder – Klaus Havelund, Thomas Pressburger - 1998
127 Hybrid Dynamic Data Race Detection – Robert O'Callahan, et al. - 2003
214 A type and effect system for atomicity – Cormac Flanagan, Shaz Qadeer - 2003
201 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004
374 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
242 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
66 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
64 Multithreaded Java Program Test Generation. Software Testing and Verification – O Edelstein, E Farchi, Y Nir, G Ratsaby, S Ur
61 Guava: A Dialect of Java without Data Races – David F. Bacon, Robert E. Strom, Ashis Tarafdar - 2000
131 Effective static race detection for Java – Mayur Naik, Alex Aiken, John Whaley - 2006
196 A System and Language for Building System-Specific, Static Analyses – Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler - 2002