Active Bibliography

13 CHESS: A Systematic Testing Tool for Concurrent Software – Madanlal Musuvathi, Shaz Qadeer, Thomas Ball - 2007
15 2ndstrike: toward manifesting hidden concurrency typestate bugs – Qi Gao, Facebook Inc, Wenbin Zhang, Zhezhe Chen, Mai Zheng, Feng Qin - 2011
Systematic and Scalable Testing of Concurrent Programs – David G. Andersen, Andre Platzer - 2013
29 A randomized scheduler with probabilistic guarantees of finding bugs – Sebastian Burckhardt, Madanlal Musuvathi - 2010
36 stateless model checking – Madanlal Musuvathi, Shaz Qadeer - 2008
Uniparallel execution and its uses – Kaushik Veeraraghavan - 2011
UNDERSTANDING, DETECTING AND EXPOSING CONCURRENCY BUGS BY – Shan Lu
6 Practical software model checking via dynamic interface reduction – Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang - 2011
72 Race Directed Random Testing of Concurrent Programs – Koushik Sen - 2008
Nokia, NVIDIA, Oracle, and Samsung. Concurrent Breakpoints – Chang Seo Park, Koushik Sen, Chang-seo Park, Koushik Sen
12 Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs ∗ – Yao Shi, Shan Lu, Soyeon Park, Yuanyuan Zhou, Zuoning Yin, Wenguang Chen, Weimin Zheng
ORDER: Object centRic DEterministic Replay for Java – Zhemin Yang, Min Yang, Binyu Zang, Lvcai Xu, Haibo Chen
19 Instrumentation and sampling strategies for Cooperative Concurrency Bug Isolation – Guoliang Jin, Aditya Thakur, Ben Liblit, Shan Lu - 2010
Practically Making Threads Deterministic and Stable – unknown authors
4 Dynamic Recognition of Synchronization Operations for Improved Data Race Detection – Chen Tian, Vijay Nagarajan, Rajiv Gupta, Sriraman Tallam
Prepared using speauth.cls [Version: 2002/09/23 v2.2] Automated Dynamic Detection of Busy-wait – Chen Tian, Vijay Nagarajan, Rajiv Gupta, Sriraman Tallam
62 Automatically classifying benign and harmful data races using replay analysis – Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder - 2007
2.1 Advances on Architecture: Multi-core Processor............................................................................... 5 – Qichang Chen, Liqiang Wang, Ping Guo, He Huang
Programs Title for Potential Programming Errors – Ali H. Doğru, Veli Biçer, Cover Design, Kristin Klinger, Julia Mosemann, Lindsay Johnston, Erika Carter, Joel Gamon, Jamie Snavely, Keith Glazewski, Natalie Pronio, Nick Newcomer, Qichang Chen, Liqiang Wang, Ping Guo