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

View PDF

Download Links

by Christoph von Praun , Thomas R. Gross
Citations:85 - 6 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
436 Language Support for Lightweight Transactions – Tim Harris, Keir Fraser - 2003
201 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
328 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
138 Hybrid Dynamic Data Race Detection – Robert O'Callahan, et al. - 2003
215 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004
261 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
276 RacerX: Effective, Static Detection of Race Conditions and Deadlocks – Dawson Engler, Ken Ashcraft - 2003
565 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995