Types for safe locking: Static race detection for Java (2006)

by Martin Abadi , Cormac Flanagan , Stephen N. Freund
Venue:ACM Transactions on Programming Languages and Systems
Citations:65 - 8 self

Documents Related by Co-Citation

305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
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
129 Effective static race detection for Java – Mayur Naik, Alex Aiken, John Whaley - 2006
290 Fixing the Java memory model – Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson - 1999
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
240 RacerX: Effective, Static Detection of Race Conditions and Deadlocks – Dawson Engler, Ken Ashcraft - 2003
405 Language Support for Lightweight Transactions – Tim Harris, Keir Fraser - 2003
123 Object race detection – C von Praun, T R Gross - 2001
516 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995
120 RaceTrack: Efficient detection of data race conditions via adaptive tracking – Yuan Yu - 2005
72 Autolocker: Synchronization Inference for Atomic Sections – Bill Mccloskey, Feng Zhou, David Gay, Eric Brewer - 2006
93 Associating synchronization constraints with data in an object-oriented language – Mandana Vaziri, Frank Tip, Julian Dolby - 2006
55 Goldilocks: A Race and Transaction-Aware Java Runtime – Tayfun Elmas
64 High-Level Data Races – Cyrille Artho, Klaus Havelund, Armin Biere - 2003
51 Type inference for parameterized race-free Java – Rahul Agarwal, Scott D. Stoller - 2004
55 Efficient on-the-fly data race detection in multithreaded C++ programs – Eli Pozniansky, Assaf Schuster - 2003
631 Virtual Time and Global States of Distributed Systems – Friedemann Mattern - 1988
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund