Static Race Detection
Static Race Detection is a program analysis method that identifies potential race conditions by examining source code without executing it, distinguishing it from dynamic approaches by relying solely on control and data flow analysis to predict concurrent access vulnerabilities.
161
Publications
11K
Citations
342
Authors
143
Institutions
Publications per year
2017–2026
29
161
Dawson Engler, Ken Ashcraft · ACM SIGOPS Operating Systems Review · 2003 · 664 citations
Type-based race detection for Java
Cormac Flanagan, Stephen N. Freund · 2000 · 446 citations
Effective static race detection for Java
Mayur Naik, Alex Aiken, John Whaley · 2006 · 426 citations · Full text
Effective static race detection for Java
Mayur Naik, Alex Aiken, John Whaley · ACM SIGPLAN Notices · 2006 · 417 citations · Full text
Dawson Engler, Ken Ashcraft · 2003 · 362 citations
1–5 of 161
342
7
h-index
7
h-index
6
h-index
5
h-index
Massachusetts Institute of Technology, United States
5 publications · 389 citations
5
h-index
1–5 of 342
143
Microsoft (United States)
Redmond, United States
9 h-index
15 publications
1.6K citations
Massachusetts Institute of Technology
Cambridge, United States
9 h-index
21 publications
1.4K citations
ETH Zurich
Zurich, Switzerland
9 h-index
13 publications
1.2K citations
Stanford University
Stanford, United States
9 h-index
18 publications
5.8K citations
University of California, Berkeley
Berkeley, United States
6 h-index
11 publications
315 citations

Lawrence Livermore National Laboratory
Livermore, United States
6 h-index
23 publications
630 citations
University of Maryland, College Park
College Park, United States
6 h-index
16 publications
1.6K citations
Purdue University West Lafayette
West Lafayette, United States
5 h-index
6 publications
411 citations
1–8 of 143
17 publications · 1.1K citations
14
h-index
5 publications · 483 citations
5
h-index
TSE · 3 publications · 61 citations
3
h-index
TPDS · 2 publications · 64 citations
2
h-index
Repository · 2 publications · 45 citations
2
h-index
1–5