|
41
|
Race Directed Random Testing of Concurrent Programs
– Koushik Sen
- 2008
|
|
34
|
Automatically classifying benign and harmful data races using replay analysis
– Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder
- 2007
|
|
20
|
LiteRace: effective sampling for lightweight data-race detection
– Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy
- 2009
|
|
52
|
FastTrack: Efficient and Precise Dynamic Race Detection
– Cormac Flanagan, Stephen N. Freund
|
|
27
|
Randomized active atomicity violation detection in concurrent programs
– Chang-seo Park, Koushik Sen
- 2008
|
|
1
|
Sound Predictive Race Detection in Polynomial Time
– Yannis Smaragdakis, Jacob M. Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan
|
|
18
|
HARD: Hardware-Assisted Lockset-based Race Detection
– Pin Zhou, Radu Teodorescu, Yuanyuan Zhou
|
|
1
|
Dynamic Recognition of Synchronization Operations for Improved Data Race Detection
– Chen Tian, Vijay Nagarajan, Rajiv Gupta, Sriraman Tallam
|
|
4
|
G.: Memory-model-sensitive data race analysis
– Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
- 2004
|
|
3
|
Rigorous concurrency analysis of multithreaded programs
– Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
- 2004
|
|
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
|
|
46
|
Efficient on-the-fly data race detection in multithreaded C++ programs
– Eli Pozniansky, Assaf Schuster
- 2003
|
|
90
|
AVIO: Detecting Atomicity Violations via Access Interleaving Invariants
– Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou
- 2006
|
|
2
|
Locksmith: Practical Static Race Detection for C
– Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
|
|
100
|
Hybrid Dynamic Data Race Detection
– Robert O'Callahan, et al.
- 2003
|
|
100
|
Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
– Radu Rugina, Martin Rinard
- 2000
|
|
155
|
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs
– Jong-deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
- 2002
|
|
25
|
Muvi: Automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs
– Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou
- 2007
|
|
|
ACCULOCK: Accurate and Efficient Detection of Data Races
– Xinwei Xie, Jingling Xue
|
