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:73 - 8 self

Documents Related by Co-Citation

596 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
147 Effective static race detection for Java – Mayur Naik, Alex Aiken, John Whaley - 2006
328 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
313 Fixing the Java memory model – Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson - 1999
657 Virtual Time and Global States of Distributed Systems – Friedemann Mattern - 1988
565 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995
276 RacerX: Effective, Static Detection of Race Conditions and Deadlocks – Dawson Engler, Ken Ashcraft - 2003
436 Language Support for Lightweight Transactions – Tim Harris, Keir Fraser - 2003
205 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001