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

Authors

342

  1. MR
    Martin Rinard

    Massachusetts Institute of Technology, United States

    7 publications · 611 citations

    7

    h-index

  2. SN
    Stephen N. Freund

    Williams College, United States

    7 publications · 970 citations

    7

    h-index

  3. MN
    Mayur Naik

    Georgia Institute of Technology, United States

    6 publications · 1.2K citations

    6

    h-index

  4. AA
    Alex Aiken

    Stanford University, United States

    5 publications · 1.1K citations

    5

    h-index

  5. CB
    Chandrasekhar Boyapati

    Massachusetts Institute of Technology, United States

    5 publications · 389 citations

    5

    h-index

1–5 of 342

Venues

  1. ACM SIGPLAN Notices

    17 publications · 1.1K citations

    14

    h-index

  2. 5

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 3 publications · 61 citations

    3

    h-index

  4. IEEE Transactions on Parallel and Distributed Systems

    TPDS · 2 publications · 64 citations

    2

    h-index

  5. DSpace@MIT (Massachusetts Institute of Technology)

    Repository · 2 publications · 45 citations

    2

    h-index

1–5