Concepedia

Concurrent Data Structure Verification

Concurrent Data Structure Verification is a formal method for proving the correctness of shared-memory data structures with respect to linearizability or other consistency criteria under the concurrent access and modification by multiple threads.

34

Publications

1.7K

Citations

62

Authors

31

Institutions

Publications per year

2017–2026

10

Parents

Publications

34

x86-TSO

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

, , +17

Modular fine-grained concurrency verification

Viktor Vafeiadis · 2021 · 147 citations · Full text

, , +17

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

Aaron Turon, Derek Dreyer, Lars Birkedal · 2013 · 137 citations

, , +16

Concurrent search structure algorithms

Dennis Shasha, Nathan Goodman · ACM Transactions on Database Systems · 1988 · 118 citations · Full text

, , +13

Proving that non-blocking algorithms don't block

Alexey Gotsman, Byron Cook, Matthew Parkinson et al. · 2009 · 71 citations

, , +16

1–5 of 34

Authors

62

  1. AT
    Aaron Turon

    Max Planck Institute for Software Systems, Germany

    4 publications · 218 citations

    4

    h-index

  2. VV
    Viktor Vafeiadis

    Max Planck Institute for Software Systems, Germany

    4 publications · 266 citations

    4

    h-index

  3. ST
    Serdar Taşiran

    Koç University, Türkiye

    3 publications · 93 citations

    3

    h-index

  4. MP
    Matthew Parkinson

    University of Cambridge, United Kingdom

    3 publications · 106 citations

    3

    h-index

  5. SQ
    Shaz Qadeer

    Microsoft (United States), United States

    3 publications · 93 citations

    3

    h-index

1–5 of 62

Institutions

31

  1. University of Cambridge

    Cambridge, United Kingdom

    5 h-index

    10 publications

    2.1K citations

  2. Microsoft (United States)

    Redmond, United States

    4 h-index

    5 publications

    235 citations

  3. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    4 h-index

    6 publications

    218 citations

  4. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    3 h-index

    6 publications

    380 citations

  5. Koç University

    Istanbul, Türkiye

    3 h-index

    5 publications

    170 citations

  6. University of Washington

    Seattle, United States

    2 h-index

    5 publications

    83 citations

  7. University of Twente

    Enschede, The Netherlands

    2 h-index

    6 publications

    120 citations

  8. Paderborn University

    Paderborn, Germany

    2 h-index

    2 publications

    58 citations

1–8 of 31

Venues

  1. ACM SIGPLAN Notices

    5 publications · 144 citations

    5

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 2 publications · 26 citations

    2

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 64 citations

    2

    h-index

  4. ACM Transactions on Architecture and Code Optimization

    TACO · 1 publications · 10 citations

    1

    h-index

  5. Communications of the ACM

    1 publications · 457 citations

    1

    h-index

1–5