Persuasive prediction of concurrency access anomalies

2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings

Volumn , Issue , 2011, Pages 144-154

  Huang, Jeff ^a   Zhang, Charles ^a  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

access anomaly; bug detection; persuasive

Indexed keywords

ACCESS ANOMALY; BUG DETECTION; CONCURRENT PROGRAM; CONCURRENT SYSTEMS; EXECUTION HISTORY; FEASIBLE SCHEDULE; INPUT PROGRAMS; MAIN CHARACTERISTICS; MULTITHREADED; OFFLINE; OPEN SOURCES; PERSUASIVE; PREDICTION TECHNIQUES; PREDICTIVE ANALYSIS; PROGRAM EXECUTION; PROTOTYPE TOOLS; SCHEDULE GENERATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION; EXPERIMENTS; FORECASTING; OPEN SYSTEMS; PREDICTIVE CONTROL SYSTEMS; SCHEDULING ALGORITHMS; SOFTWARE TESTING;

PROGRAM DEBUGGING;

EID: 80051919552     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2001420.2001438     Document Type: Conference Paper

References (48)

1. Eric Bodden and Klaus Havelund. Racer: effective race detection using aspectj. In ISSTA, 2008.
2. Michael D. Bond, Katherine E. Coons, and Kathryn S. McKinley. Pacer: proportional detection of data races. In PLDI, 2010.
3. Sebastian Burckhardt, Rajeev Alur, and Milo M. K. Martin. Checkfence: checking consistency of concurrent data types on relaxed memory models. In PLDI, 2007.
4. Wang Chao, Limaye Rhishikesh, Ganai1 Malay, and Gupta Aarti. Trace-based symbolic analysis for atomicity violations. In TACAS, 2010.
5. Feng Chen, Traian Florin Serbanuta, and Grigore Rosu. jpredictor: a predictive runtime analysis tool for java. In ICSE, 2008.
6. Tayfun Elmas, Shaz Qadeer, and Serdar Tasiran. Goldilocks: a race and transaction-aware java runtime. In PLDI, 2007.
7. Dawson Engler and Ken Ashcraft. Racerx: effective, static detection of race conditions and deadlocks. In SOSP, 2003.
8. Eitan Farchi, Yarden Nir, and Shmuel Ur. Concurrent bug patterns and how to test them. IPDPS, 2003.
9. Azadeh Farzan, P. Madhusudan, and Francesco Sorrentino. Meta-analysis for atomicity violations under nested locking. In CAV, 2009.
10. Cormac Flanagan and Stephen N Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In POPL, 2004.
11. Cormac Flanagan and Stephen N. Freund. Fasttrack: efficient and precise dynamic race detection. In PLDI, 2009.
12. Cormac Flanagan and Stephen N. Freund. Adversarial memory for detecting destructive races. In PLDI, 2010.
13. Cormac Flanagan, Stephen N. Freund, and Jaeheon Yi. Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In PLDI, 2008.
14. Zhongxian Gu, Earl T. Barr, David J. Hamilton, and Zhendong Su. Has the bug really been fixed? In ICSE, 2010.
15. Richard L. Halpert, Christopher J. F. Pickett, and Clark Verbrugge. Component-based lock allocation. In PACT, 2007.
16. Christian Hammer, Julian Dolby, Mandana Vaziri, and Frank Tip. Dynamic detection of atomic-set-serializability violations. In ICSE, 2008.
17. Jeff Huang, Peng Liu, and Charles Zhang. LEAP: Lightweight deterministic multi-processor replay of concurrent Java programs. In FSE, 2010.
18. Pallavi Joshi, Mayur Naik, Chang-Seo Park, and Koushik Sen. Calfuzzer: An extensible active testing framework for concurrent programs. In CAV, 2009.
19. Pallavi Joshi, Mayur Naik, Koushik Sen, and David Gay. An effective dynamic analysis for detecting generalized deadlocks. In FSE, 2010.
20. Pallavi Joshi, Chang-Seo Park, Koushik Sen, and Mayur Naik. A randomized dynamic program analysis technique for detecting real deadlocks. In PLDI, 2009.
21. Nicholas Kidd, Thomas Reps, Julian Dolby, and Mandana Vaziri. Finding concurrency-related bugs using random isolation. In VMCAI, 2009.
22. Zhifeng Lai, S. C. Cheung, and W. K. Chan. Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. In ICSE, 2010.
23. Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. CACM, 1978.
24. Richard J. Lipton. Reduction: a method of proving properties of parallel programs. CACM, 1975.
25. Daniel Marino, Madanlal Musuvathi, and Satish Narayanasamy. Literace: effective sampling for lightweight data-race detection. In PLDI, 2009.
26. Nicholas D. Matsakis and Thomas R. Gross. A time-aware type system for data-race protection and guaranteed initialization. In OOPSLA, 2010.
27. Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam A. Nainar, and Iulian Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In OSDI, 2008.
28. Mayur Naik, Alex Aiken, and John Whaley. Effective static race detection for java. In PLDI, 2006.
29. R. H. B. Netzer and B. P. Miller. Improving the accuracy of data race detection. In PPOPP, 1991.
30. R. H. B. Netzer and B. P. Miller. What are race conditions: Some issues and formalizations. LOPLAS, 1992.
31. Robert O'Callahan and Jong-Deok Choi. Hybrid dynamic data race detection. In PPoPP, 2003.
32. Chang-Seo Park and Koushik Sen. Randomized active atomicity violation detection in concurrent programs. In FSE, 2008.
33. Soyeon Park, Shan Lu, and Yuanyuan Zhou. Ctrigger: exposing atomicity violation bugs from their hiding places. In ASPLOS, 2009.
34. Suzette Person, Matthew B. Dwyer, Sebastian Elbaum, and Corina S. Pǎsǎreanu. Differential symbolic execution. In FSE, 2008.
35. Eli Pozniansky and Assaf Schuster. Efficient on-the-fly data race detection in multithreaded c++ programs. In PPoPP, 2003.
36. Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson. Eraser: A dynamic data race detector for multi-threaded programs. TOCS, 1997.
37. Koushik Sen. Race directed random testing of concurrent programs. In PLDI, 2008.
38. Ohad Shacham, Mooly Sagiv, and Assaf Schuster. Scaling model checking of dataraces using dynamic information. In PPoPP, 2005.
39. Y. Shi, S. Park, Z. Yin, S. Lu, Y. Zhou, W. Chen, and W. Zheng. Do i use the wrong definition?: Defuse: definition-use invariants for detecting concurrency and sequential bugs. In OOPSLA, 2010.
40. Francesco Sorrentino, Azadeh Farzan, and P. Madhusudan. Penelope: Weaving threads to expose atomicity violations. In FSE, 2010.
41. Chen Tian, Vijay Nagarajan, Rajiv Gupta, and Sriraman Tallam. Dynamic recognition of synchronization operations for improved data race detection. In ISSTA, 2008.
42. Mandana Vaziri, Frank Tip, and Julian Dolby. Associating synchronization constraints with data in an object-oriented language. In POPL, 2006.
43. Kahlon Vineet and Wang Chao. Universal causality graphs: a precise happens-before model for detecting bugs in concurrent programs. In CAV, 2010.
44. Willem Visser, Corina S. Pǎsǎreanu, and Sarfraz Khurshid. Test input generation with java pathfinder. In ISSTA, 2004.
45. Chao Wang, Sudipta Kundu, Malay K. Ganai, and Aarti Gupta. Symbolic predictive analysis for concurrent programs. In FM, 2009.
46. Chao Wang, Rhishikesh Limaye, Malay K. Ganai, and Aarti Gupta. Trace-based symbolic analysis for atomicity violations. In TACAS, 2010.
47. Liqiang Wang and Scott D. Stoller. Accurate and efficient runtime detection of atomicity errors in concurrent programs. In PPoPP, 2006.
48. Min Xu, Rastislav Bodík, and Mark D. Hill. A serializability violation detector for shared-memory server programs. In PLDI, 2005.