Position Paper — ToleRace : Tolerating and Detecting Races
暂无分享,去创建一个
[1] Yuanyuan Zhou,et al. AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants , 2007, IEEE Micro.
[2] Karthik Pattabiraman,et al. Samurai: protecting critical data in unsafe languages , 2008, Eurosys '08.
[3] Michael Burrows,et al. Eraser: a dynamic data race detector for multi-threaded programs , 1997, TOCS.
[4] Jeffrey S. Foster,et al. LOCKSMITH: context-sensitive correlation analysis for race detection , 2006, PLDI '06.
[5] Emery D. Berger,et al. DieHard: probabilistic memory safety for unsafe languages , 2006, PLDI '06.
[6] Alexander Aiken,et al. Effective static race detection for Java , 2006, PLDI '06.
[7] Karthik Pattabiraman,et al. Software Critical Memory: All Memory is Not Created Equal , 2006 .