Concepedia

Shared-memory Concurrency Semantics

Shared-Memory Concurrency Semantics is a formal model that specifies the permissible behaviors of concurrent threads accessing shared memory locations, distinguished by its precise rules governing the order and visibility of memory operations across parallel executions.

38

Publications

2.7K

Citations

96

Authors

42

Institutions

Publications per year

2017–2026

7

Parents

Publications

38

Foundations of the C++ concurrency memory model

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

, , +16

x86-TSO

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

, , +17

Mathematizing C++ concurrency

Mark Batty, Scott Owens, Susmit Sarkar et al. · 2011 · 267 citations

, , +14

Mathematizing C++ concurrency

Mark Batty, Scott Owens, Susmit Sarkar et al. · ACM SIGPLAN Notices · 2011 · 251 citations

, , +14

Towards Haskell in the cloud

Jeff Epstein, Andrew P. Black, Simon Peyton-Jones · 2011 · 116 citations

, , +15

1–5 of 38

Authors

96

  1. PS
    Peter Sewell

    University of Cambridge, United Kingdom

    7 publications · 1.2K citations

    7

    h-index

  2. SS
    Susmit Sarkar

    University of Cambridge, United Kingdom

    5 publications · 1.1K citations

    5

    h-index

  3. MB
    Mark Batty

    University of Cambridge, United Kingdom

    4 publications · 645 citations

    4

    h-index

  4. OL
    Ori Lahav

    Tel Aviv University, Israel

    4 publications · 85 citations

    4

    h-index

  5. SO
    Scott Owens

    University of Cambridge, United Kingdom

    4 publications · 1.1K citations

    4

    h-index

1–5 of 96

Institutions

42

  1. University of Cambridge

    Cambridge, United Kingdom

    9 h-index

    31 publications

    5.4K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    7 h-index

    7 publications

    726 citations

  3. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    5 h-index

    6 publications

    263 citations

  4. University of Birmingham

    Birmingham, United Kingdom

    4 h-index

    6 publications

    157 citations

  5. Microsoft (United States)

    Redmond, United States

    4 h-index

    5 publications

    324 citations

  6. Tel Aviv University

    Tel Aviv, Israel

    4 h-index

    4 publications

    85 citations

  7. University of Illinois Urbana-Champaign

    Urbana, United States

    3 h-index

    5 publications

    594 citations

  8. Hewlett-Packard (United States)

    Palo Alto, United States

    3 h-index

    3 publications

    606 citations

1–8 of 42

Venues

  1. ACM SIGPLAN Notices

    7 publications · 472 citations

    7

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 15 citations

    1

    h-index

  3. ACM SIGLOG News

    1 publications · 14 citations

    1

    h-index

  4. Communications of the ACM

    1 publications · 457 citations

    1

    h-index

  5. Fundamenta Informaticae

    1 publications · 21 citations

    1

    h-index

1–5