Concepedia

Static Concurrency Analysis

Static Concurrency Analysis is a formal method of program analysis that belongs to the class of static analysis techniques, distinguished by its focus on detecting and reasoning about concurrency-related defects and behaviors in software without executing the program, by examining source code, intermediate representations, or compiled binaries to infer potential race conditions, deadlocks, and other synchronization errors.

211

Publications

12.1K

Citations

452

Authors

194

Institutions

Publications per year

2017–2026

34

Parents

Publications

211

1–5 of 211

Authors

452

  1. SL
    Shan Lu

    University of Chicago, United States

    6 publications · 272 citations

    6

    h-index

  2. JD
    Julian Dolby

    IBM (United States), United States

    6 publications · 446 citations

    6

    h-index

  3. RN
    Richard N. Taylor

    University of California, Irvine, United States

    6 publications · 747 citations

    6

    h-index

  4. SN
    Stephen N. Freund

    Williams College, United States

    6 publications · 881 citations

    6

    h-index

  5. LA
    Lori A. Clarke

    University of Massachusetts Amherst, United States

    6 publications · 475 citations

    6

    h-index

1–5 of 452

Institutions

194

  1. Microsoft (United States)

    Redmond, United States

    9 h-index

    18 publications

    1.7K citations

  2. Stanford University

    Stanford, United States

    9 h-index

    18 publications

    5.6K citations

  3. Purdue University West Lafayette

    West Lafayette, United States

    9 h-index

    15 publications

    390 citations

  4. University of Massachusetts Amherst

    Amherst Center, United States

    8 h-index

    12 publications

    855 citations

  5. University of California, Berkeley

    Berkeley, United States

    7 h-index

    14 publications

    1.6K citations

  6. University of Wisconsin–Madison

    Madison, United States

    7 h-index

    20 publications

    1.2K citations

  7. University of California, Irvine

    Irvine, United States

    7 h-index

    15 publications

    1.5K citations

  8. ETH Zurich

    Zurich, Switzerland

    6 h-index

    17 publications

    1.2K citations

1–8 of 194

Venues

  1. ACM SIGPLAN Notices

    14 publications · 713 citations

    11

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 7 publications · 529 citations

    7

    h-index

  3. ACM SIGSOFT Software Engineering Notes

    SEN · 3 publications · 159 citations

    3

    h-index

  4. ACM Transactions on Software Engineering and Methodology

    TOSEM · 2 publications · 39 citations

    2

    h-index

  5. Formal Methods in System Design

    2 publications · 256 citations

    2

    h-index

1–5