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

Cached

Download Links

by Christoph von Praun , Thomas R. Gross
Citations:66 - 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
127 Hybrid Dynamic Data Race Detection – Robert O'Callahan, et al. - 2003
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
303 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
201 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004
404 Language Support for Lightweight Transactions – Tim Harris, Keir Fraser - 2003
71 Types for atomicity – C Flanagan, S Qadeer - 2003
240 RacerX: Effective, Static Detection of Race Conditions and Deadlocks – Dawson Engler, Ken Ashcraft - 2003
214 A type and effect system for atomicity – Cormac Flanagan, Shaz Qadeer - 2003
129 Effective static race detection for Java – Mayur Naik, Alex Aiken, John Whaley - 2006
289 Fixing the Java memory model – Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson - 1999
122 Object race detection – C von Praun, T R Gross - 2001
54 Performance Evaluation Corporation, SPEC’s Benchmarks and Published Results – Standard - 2006
55 Efficient on-the-fly data race detection in multithreaded C++ programs – Eli Pozniansky, Assaf Schuster - 2003
94 Type-safe multithreading in Cyclone – Dan Grossman - 2003
122 Effective synchronization removal for Java – E Ruf - 2000
160 Reduction: a method of proving properties of parallel programs – R J Lipton - 1975
257 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998