Concepedia

Thread Safety Analysis

Thread Safety Analysis is a formal method used in software engineering to identify and verify the absence of race condition vulnerabilities by analyzing whether concurrent threads access shared resources in a manner that preserves data consistency and execution correctness under all possible interleavings.

48

Publications

1.8K

Citations

106

Authors

66

Institutions

Publications per year

2017–2026

8

Parents

Publications

48

Modular control-flow integrity

Ben Niu, Gang Tan · 2014 · 182 citations

, , +14

Line-up

Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi et al. · 2010 · 149 citations

, , +16

Verifying safety properties of concurrent Java programs using 3-valued logic

Eran Yahav · 2001 · 135 citations

, , +17

JPVM: network parallel computing in Java

Adam J. Ferrari · Concurrency Practice and Experience · 1998 · 109 citations

, , +12

Understanding memory and thread safety practices and issues in real-world Rust programs

Boqin Qin, Yilun Chen, Zeming Yu et al. · 2020 · 102 citations

, , +17

1–5 of 48

Authors

106

  1. KS
    Koushik Sen

    University of California, Berkeley, United States

    5 publications · 143 citations

    5

    h-index

  2. GA
    Gul Agha

    University of Illinois Urbana-Champaign, United States

    5 publications · 143 citations

    5

    h-index

  3. GR
    Grigore Roşu

    University of Illinois Urbana-Champaign, United States

    5 publications · 155 citations

    5

    h-index

  4. MM
    Madanlal Musuvathi

    Microsoft (United States), United States

    3 publications · 234 citations

    3

    h-index

  5. JL
    Julien Lange

    Imperial College London, United Kingdom

    2 publications · 83 citations

    2

    h-index

1–5 of 106

Institutions

66

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    7 h-index

    19 publications

    336 citations

  2. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    3 publications

    141 citations

  3. Pennsylvania State University

    State College, United States

    2 h-index

    6 publications

    387 citations

  4. University of Virginia

    Charlottesville, United States

    2 h-index

    2 publications

    127 citations

  5. University of Illinois System

    Urbana, United States

    2 h-index

    6 publications

    279 citations

  6. Microsoft (United States)

    Redmond, United States

    2 h-index

    8 publications

    692 citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    2 h-index

    3 publications

    89 citations

  8. Lehigh University

    Bethlehem, United States

    2 h-index

    4 publications

    482 citations

1–8 of 66

Venues

  1. ACM SIGPLAN Notices

    4 publications · 136 citations

    4

    h-index

  2. Journal of Physics Conference Series

    2 publications · 22 citations

    2

    h-index

  3. Concurrency Practice and Experience

    2 publications · 127 citations

    2

    h-index

  4. 1

    h-index

  5. AIAA SCITECH 2023 Forum

    Conference · 1 publications · 18 citations

    1

    h-index

1–5