Concepedia

Memory Consistency Verification

Memory Consistency Verification is a formal method for verifying that a concurrent system's memory behavior adheres to a specified memory consistency model, ensuring that shared memory operations across processors are ordered and observed in a manner consistent with theoretical guarantees.

57

Publications

2.5K

Citations

124

Authors

51

Institutions

Publications per year

2017–2026

13

Parents

Publications

57

x86-TSO

Peter Sewell, Susmit Sarkar, Scott Owens et al. · Communications of the ACM · 2010 · 457 citations

, , +17

Checking the correctness of memories

Manuel Blum, William J. Evans, Peter Gemmell et al. · Algorithmica · 1994 · 202 citations

, , +12

Checking the correctness of memories

Manuel Blum, William J. Evans, Peter Gemmell et al. · 2002 · 127 citations

, , +12

TSOtool

Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit et al. · ACM SIGARCH Computer Architecture News · 2004 · 105 citations

, , +17

Model checking for weakly consistent libraries

Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis · 2019 · 83 citations · Full text

, , +15

1–5 of 57

Authors

124

  1. DJ
    Daniel J. Sorin

    Duke University, United States

    7 publications · 213 citations

    7

    h-index

  2. MM
    Margaret Martonosi

    Princeton University, United States

    6 publications · 225 citations

    6

    h-index

  3. DL
    Daniel Lustig

    Princeton University, United States

    6 publications · 264 citations

    6

    h-index

  4. VV
    Viktor Vafeiadis

    Max Planck Institute for Software Systems, Germany

    5 publications · 173 citations

    5

    h-index

  5. SH
    Sudheendra Hangal

    Stanford University, United States

    4 publications · 196 citations

    4

    h-index

1–5 of 124

Institutions

51

  1. Princeton University

    Princeton, United States

    8 h-index

    25 publications

    821 citations

  2. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    6 h-index

    13 publications

    541 citations

  3. Duke University

    Durham, United States

    6 h-index

    14 publications

    420 citations

  4. Stanford University

    Stanford, United States

    4 h-index

    13 publications

    399 citations

  5. Intel (United States)

    Santa Clara, United States

    4 h-index

    7 publications

    157 citations

  6. University of Wisconsin–Madison

    Madison, United States

    3 h-index

    11 publications

    338 citations

  7. Tel Aviv University

    Tel Aviv, Israel

    3 h-index

    3 publications

    110 citations

  8. Imperial College London

    London, United Kingdom

    2 h-index

    2 publications

    40 citations

1–8 of 51

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 5 publications · 154 citations

    5

    h-index

  2. ACM SIGARCH Computer Architecture News

    3 publications · 155 citations

    3

    h-index

  3. IEEE Transactions on Computers

    2 publications · 40 citations

    2

    h-index

  4. 1

    h-index

  5. 1

    h-index

1–5