Localization of concurrency bugs using shared memory access pairs
暂无分享,去创建一个
Wenwen Wang | Xiang Yuan | Jianjun Li | Yong Guan | Xipeng Shen | Xiaobing Feng | Pen-Chung Yew | Chenggang Wu | Zhenjiang Wang | Xiaobing Feng | P. Yew | Xipeng Shen | Yong Guan | Chenggang Wu | Xiang Yuan | Zhenjiang Wang | Jianjun Li | Wenwen Wang
[1] Shan Lu,et al. Production-run software failure diagnosis via hardware performance counters , 2013, ASPLOS '13.
[2] Brandon Lucia,et al. Finding concurrency bugs with context-aware communication graphs , 2009, 2009 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
[3] Satish Narayanasamy,et al. Automatically classifying benign and harmful data races using replay analysis , 2007, PLDI '07.
[4] Mary Jean Harrold,et al. Empirical evaluation of the tarantula automatic fault-localization technique , 2005, ASE.
[5] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[6] Michael I. Jordan,et al. Scalable statistical bug isolation , 2005, PLDI '05.
[7] Yuanyuan Zhou,et al. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics , 2008, ASPLOS.
[8] Frank Tip,et al. Associating synchronization constraints with data in an object-oriented language , 2006, POPL '06.
[9] M. Hill,et al. Weak ordering-a new definition , 1990, [1990] Proceedings. The 17th Annual International Symposium on Computer Architecture.
[10] Shan Lu,et al. Instrumentation and sampling strategies for cooperative concurrency bug isolation , 2010, OOPSLA.
[11] Charles Zhang,et al. Axis: Automatically fixing atomicity violations through solving control constraints , 2012, 2012 34th International Conference on Software Engineering (ICSE).
[12] Jeffrey S. Foster,et al. LOCKSMITH: context-sensitive correlation analysis for race detection , 2006, PLDI '06.
[13] Nancy G. Leveson,et al. An investigation of the Therac-25 accidents , 1993, Computer.
[14] Yuanyuan Zhou,et al. CTrigger: exposing atomicity violation bugs from their hiding places , 2009, ASPLOS.
[15] Madan Musuvathi,et al. Iterative context bounding for systematic testing of multithreaded programs , 2007, PLDI '07.
[16] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.
[17] Richard W. Vuduc,et al. A Unified Approach for Localizing Non-deadlock Concurrency Bugs , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
[18] Pravesh Kothari,et al. A randomized scheduler with probabilistic guarantees of finding bugs , 2010, ASPLOS XV.
[19] Satish Narayanasamy,et al. Maple: a coverage-driven testing tool for multithreaded programs , 2012, OOPSLA '12.
[20] Barton P. Miller,et al. Detecting Data Races on Weak Memory Systems , 1991, ISCA.
[21] Harish Patil,et al. Pin: building customized program analysis tools with dynamic instrumentation , 2005, PLDI '05.
[22] Josep Torrellas,et al. AtomTracker: A Comprehensive Approach to Atomic Region Inference and Violation Detection , 2010, 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture.
[23] A.J.C. van Gemund,et al. On the Accuracy of Spectrum-based Fault Localization , 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007).
[24] Jong-Deok Choi,et al. Hybrid dynamic data race detection , 2003, PPoPP '03.
[25] Wei Zhang,et al. Automated Concurrency-Bug Fixing , 2012, OSDI.
[26] Daniel Jackson,et al. Elements of style: analyzing a software design feature with a counterexample detector , 1996, ISSTA '96.
[27] Richard W. Vuduc,et al. Falcon: fault localization in concurrent programs , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
[28] Shan Lu,et al. Automated atomicity-violation fixing , 2011, PLDI '11.
[29] Bowen Zhou,et al. WuKong: automatically detecting and localizing bugs that manifest at large system scales , 2013, HPDC '13.
[30] Nachiappan Nagappan,et al. Concurrency at Microsoft – An Exploratory Survey , 2008 .
[31] Ding Yuan,et al. How do fixes become bugs? , 2011, ESEC/FSE '11.
[32] Michael I. Jordan,et al. Bug isolation via remote program sampling , 2003, PLDI '03.
[33] Yuanyuan Zhou,et al. AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants , 2007, IEEE Micro.
[34] Stephen N. Freund,et al. Type-based race detection for Java , 2000, PLDI '00.