Concepedia

Data-race Freedom

Data-Race Freedom is a formal program property, belonging to the class of memory safety guarantees, that distinguishes itself by ensuring all concurrent memory accesses are provably free of data races through adherence to a specified memory consistency model.

91

Publications

6.8K

Citations

192

Authors

67

Institutions

Publications per year

2017–2026

18

Parents

Publications

91

The Java memory model

Jeremy Manson, William Pugh, Sarita V. Adve · 2005 · 732 citations · Full text

, , +17

Ownership types for safe programming

Chandrasekhar Boyapati, Robert Lee, Martin Rinard · 2002 · 571 citations

, , +16

Foundations of the C++ concurrency memory model

Hans‐J. Boehm, Sarita V. Adve · 2008 · 498 citations

, , +16

Permission accounting in separation logic

Richard Bornat, Cristiano Calcagno, Peter W. O’Hearn et al. · 2005 · 370 citations

, , +17

A parameterized type system for race-free Java programs

Chandrasekhar Boyapati, Martin Rinard · 2001 · 298 citations

, , +16

1–5 of 91

Authors

192

  1. SV
    Sarita V. Adve

    University of Illinois Urbana-Champaign, United States

    7 publications · 1.6K citations

    7

    h-index

  2. CB
    Chandrasekhar Boyapati

    Massachusetts Institute of Technology, United States

    7 publications · 1K citations

    7

    h-index

  3. MR
    Martin Rinard

    Massachusetts Institute of Technology, United States

    6 publications · 1K citations

    6

    h-index

  4. AR
    Alberto Ros

    Universidad de Murcia, Spain

    6 publications · 222 citations

    6

    h-index

  5. SK
    Stefanos Kaxiras

    Uppsala University, Sweden

    5 publications · 205 citations

    5

    h-index

1–5 of 192

Institutions

67

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    10 h-index

    26 publications

    2.2K citations

  2. University of Cambridge

    Cambridge, United Kingdom

    8 h-index

    19 publications

    3.3K citations

  3. Uppsala University

    Uppsala, Sweden

    7 h-index

    11 publications

    387 citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    6 h-index

    9 publications

    266 citations

  5. Universidad de Murcia

    Murcia, Spain

    6 h-index

    6 publications

    222 citations

  6. University of Washington

    Seattle, United States

    6 h-index

    13 publications

    464 citations

  7. Microsoft (United States)

    Redmond, United States

    5 h-index

    9 publications

    570 citations

  8. Massachusetts Institute of Technology

    Cambridge, United States

    5 h-index

    13 publications

    2.6K citations

1–8 of 67

Venues

  1. ACM SIGPLAN Notices

    12 publications · 824 citations

    12

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 4 publications · 75 citations

    4

    h-index

  3. 3

    h-index

  4. ACM Transactions on Architecture and Code Optimization

    TACO · 3 publications · 92 citations

    3

    h-index

  5. USENIX conference on Hot topics in parallelism

    Conference · 2 publications · 63 citations

    2

    h-index

1–5