Optimized run-time race detection and atomicity checking using partial discovered types
暂无分享,去创建一个
Rahul Agarwal | Scott D. Stoller | Liqiang Wang | Amit Sasturkar | Liqiang Wang | S. Stoller | Amit Sasturkar | Rahul Agarwal
[1] Thomas R. Gross,et al. Object race detection , 2001, OOPSLA '01.
[2] Cormac Flanagan,et al. A type and effect system for atomicity , 2003, PLDI.
[3] Rahul Agarwal,et al. Automated type-based analysis of data races and atomicity , 2005, PPoPP.
[4] Martin C. Rinard,et al. A parameterized type system for race-free Java programs , 2001, OOPSLA '01.
[5] Michael Burrows,et al. Eraser: a dynamic data race detector for multi-threaded programs , 1997, TOCS.
[6] Jong-Deok Choi,et al. Hybrid dynamic data race detection , 2003, PPoPP '03.
[7] Dawson R. Engler,et al. RacerX: effective, static detection of race conditions and deadlocks , 2003, SOSP '03.
[8] Stephen N. Freund,et al. Type-based race detection for Java , 2000, PLDI '00.
[9] Richard J. Lipton,et al. Reduction: a method of proving properties of parallel programs , 1975, CACM.
[10] Stephen N. Freund,et al. Atomizer: a dynamic atomicity checker for multithreaded programs , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
[11] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[12] Martin C. Rinard,et al. ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), November 2002 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks , 2022 .
[13] Rahul Agarwal,et al. Type Discovery for Parameterized Race-Free Java , 2004 .
[14] Stephen N. Freund,et al. Type inference against races , 2004, Sci. Comput. Program..
[15] Martin Rinard,et al. Safejava: a unified type system for safe programming , 2004 .
[16] Scott D. Stoller,et al. Run-Time Analysis for Atomicity , 2003, Electron. Notes Theor. Comput. Sci..
[17] Jong-Deok Choi,et al. Efficient and precise datarace detection for multithreaded object-oriented programs , 2002, PLDI '02.
[18] Thomas A. Henzinger,et al. Race checking by context inference , 2004, PLDI '04.
[19] Rahul Agarwal,et al. Type Inference for Parameterized Race-Free Java , 2004, VMCAI.
[20] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.
[21] Klaus Havelund,et al. Using Runtime Analysis to Guide Model Checking of Java Programs , 2013, SPIN.