Static Conflict Analysis for Multi-Threaded Object-Oriented Programs (2003)

Cached

Download Links

by Christoph von Praun , Thomas R. Gross
Citations:72 - 6 self

Documents Related by Co-Citation

568 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
128 Hybrid Dynamic Data Race Detection – Robert O'Callahan, et al. - 2003
304 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
410 Language Support for Lightweight Transactions – Tim Harris, Keir Fraser - 2003
186 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
246 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
207 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004
292 Fixing the Java memory model – Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson - 1999
528 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995