Concepedia

Race Condition Analysis

Race Condition Analysis is a formal method within concurrency analysis that identifies and evaluates conditions under which the correctness of process coordination or thread programming behavior depends on unpredictable timing interactions, thereby distinguishing it from other concurrency defects by focusing specifically on unsynchronized access to shared resources that may lead to nondeterministic outcomes.

173

Publications

13.2K

Citations

325

Authors

140

Institutions

Publications per year

2017–2026

17

Parents

Publications

173

1–5 of 173

Authors

325

  1. CF
    Cormac Flanagan

    University of California, Santa Cruz, United States

    11 publications · 1.5K citations

    11

    h-index

  2. SQ
    Shaz Qadeer

    Microsoft (United States), United States

    9 publications · 1.2K citations

    9

    h-index

  3. SN
    Stephen N. Freund

    Williams College, United States

    9 publications · 2.1K citations

    9

    h-index

  4. CF
    Cormac Flanagan

    University of California, Santa Cruz, United States

    6 publications · 1.4K citations

    6

    h-index

  5. MV
    Martin Vechev

    ETH Zurich, Switzerland

    6 publications · 358 citations

    6

    h-index

1–5 of 325

Institutions

140

  1. Microsoft (United States)

    Redmond, United States

    12 h-index

    17 publications

    2.2K citations

  2. University of California, Santa Cruz

    Santa Cruz, United States

    12 h-index

    17 publications

    2K citations

  3. ETH Zurich

    Zurich, Switzerland

    10 h-index

    17 publications

    797 citations

  4. Williams College

    Williamstown, United States

    8 h-index

    9 publications

    1.7K citations

  5. University of Illinois Urbana-Champaign

    Urbana, United States

    8 h-index

    18 publications

    443 citations

  6. Rice University

    Houston, United States

    6 h-index

    16 publications

    707 citations

  7. University of Washington

    Seattle, United States

    6 h-index

    12 publications

    897 citations

  8. Hewlett-Packard (United States)

    Palo Alto, United States

    6 h-index

    8 publications

    437 citations

1–8 of 140

Venues

  1. ACM SIGPLAN Notices

    17 publications · 1.6K citations

    16

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 4 publications · 83 citations

    4

    h-index

  3. 3

    h-index

  4. IEEE Transactions on Parallel and Distributed Systems

    TPDS · 2 publications · 44 citations

    2

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 3 publications · 58 citations

    2

    h-index

1–5