Dynamically checking ownership policies in concurrent c/c++ programs
暂无分享,去创建一个
[1] Frank Tip,et al. Dynamic detection of atomic-set-serializability violations , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
[2] Jeffrey S. Foster,et al. LOCKSMITH: context-sensitive correlation analysis for race detection , 2006, PLDI '06.
[3] Kunle Olukotun,et al. STAMP: Stanford Transactional Applications for Multi-Processing , 2008, 2008 IEEE International Symposium on Workload Characterization.
[4] Cormac Flanagan,et al. A type and effect system for atomicity , 2003, PLDI '03.
[5] Stephen N. Freund,et al. FastTrack: efficient and precise dynamic race detection , 2009, PLDI '09.
[6] George C. Necula,et al. Dependent Types for Low-Level Programming , 2007, ESOP.
[7] Zijiang Yang,et al. HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis , 2009, FASE.
[8] Serdar Tasiran,et al. Goldilocks: a race and transaction-aware java runtime , 2007, PLDI '07.
[9] Galen C. Hunt,et al. Debugging in the (very) large: ten years of implementation and experience , 2009, SOSP '09.
[10] David Gay,et al. SharC: checking data sharing strategies for multithreaded c , 2008, PLDI '08.
[11] Thomas Ball,et al. Finding and Reproducing Heisenbugs in Concurrent Programs , 2008, OSDI.
[12] Stephen N. Freund,et al. Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs , 2008, PLDI '08.
[13] Richard J. Lipton,et al. Reduction: a method of proving properties of parallel programs , 1975, CACM.
[14] Miguel Castro,et al. Preventing Memory Error Exploits with WIT , 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
[15] Scott D. Stoller,et al. Accurate and efficient runtime detection of atomicity errors in concurrent programs , 2006, PPoPP '06.
[16] Stephen N. Freund,et al. Atomizer: a dynamic atomicity checker for multithreaded programs , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
[17] Miguel Castro,et al. Fast byte-granularity software fault isolation , 2009, SOSP '09.
[18] Sriram K. Rajamani,et al. ISOLATOR: dynamically ensuring isolation in comcurrent programs , 2009, ASPLOS.
[19] David Gay,et al. Lightweight annotations for controlling sharing in concurrent data structures , 2009, PLDI '09.
[20] Koushik Sen,et al. CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs , 2009, CAV.
[21] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.