Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (2002)

by Jong-deok Choi , Keunwoo Lee , Alexey Loginov , Robert O'Callahan , Vivek Sarkar , Manu Sridharan
Citations:181 - 4 self

Active Bibliography

2 Dynamic datarace detection for object-oriented programs – Manu Sridharan, C. Rinard - 2002
69 Race Directed Random Testing of Concurrent Programs – Koushik Sen - 2008
4 Formalizing Shared Memory Consistency Models for Program Analysis – Yue Yang, Co-chair Gary Lindstrom, Konrad Slind, Matthew Flatt, Radu Grosu, Date Ganesh Gopalakrishnan, David S. Chapman - 2004
126 Hybrid Dynamic Data Race Detection – Robert O'Callahan, et al. - 2003
16 Static Datarace Analysis for Multithreaded Object-Oriented Programs – Alexey Loginov, Vivek Sarkar, Jong-deok Choi, Jong-deok Choi, Alexey Logthor, I Vivek Sarkar - 2001
135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
4 G.: Memory-model-sensitive data race analysis – Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom - 2004
4 Rigorous concurrency analysis of multithreaded programs – Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom - 2004
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs – Radu Rugina, Radu Rugina - 1990
8 Pointer Analysis for Structured Parallel Programs – Radu Rugina, Martin C. Rinard - 2003
4 Analysis of Partitioned Global Address Space Programs – Amir Kamil, Second Reader - 2006
14 Concurrency analysis for parallel programs with textually aligned barriers – Amir Kamil, Katherine Yelick - 2005
Textually Aligned Barriers – Amir Ashraf Kamil, Katherine A. Yelick, Amir Kamil, Katherine Yelick - 2006
46 Randomized active atomicity violation detection in concurrent programs – Chang-seo Park, Koushik Sen - 2008
40 LiteRace: effective sampling for lightweight data-race detection – Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy - 2009
61 Automatically classifying benign and harmful data races using replay analysis – Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder - 2007
2 ACCULOCK: Accurate and Efficient Detection of Data Races – Xinwei Xie, Jingling Xue
permission. Single Program, Multiple Data Programming for Hierarchical Computations – Amir Ashraf Kamil, Amir Ashraf Kamil, Amir Ashraf Kamil, Amir Ashraf Kamil
1 Single Program, Multiple Data Programming for Hierarchical Computations – Amir Ashraf Kamil, Amir Ashraf Kamil, Amir Ashraf Kamil