Concepedia

Happens-before Relation

The "Happens-Before Relation" is a formal partial order relation in memory consistency models that establishes a temporal precedence between memory operations, ensuring that the effects of one operation are visible to and precede another in a sequentially consistent execution.

49

Publications

2.5K

Citations

151

Authors

70

Institutions

Publications per year

2017–2026

13

Variants

Happens-before

Parents

Publications

49

VerbOcean: Mining the Web for Fine-Grained Semantic Verb Relations

Timothy Chklovski, Patrick Pantel · Empirical Methods in Natural Language Processing · 2004 · 398 citations

, , +16

Necessary and sufficient conditions for consistent global snapshots

Robert H. B. Netzer, Jian Xu · IEEE Transactions on Parallel and Distributed Systems · 1995 · 239 citations

, , +14

Sound predictive race detection in polynomial time

Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski et al. · 2012 · 130 citations

, , +10

Sound predictive race detection in polynomial time

Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski et al. · ACM SIGPLAN Notices · 2012 · 123 citations

, , +10

Race detection for Android applications

Pallavi Maiya, Aditya Kanade, Rupak Majumdar · 2014 · 115 citations

, , +16

1–5 of 49

Authors

151

  1. YC
    Yan Cai

    Chinese Academy of Sciences, China

    3 publications · 122 citations

    3

    h-index

  2. PM
    Pallavi Maiya

    Indian Institute of Science Bangalore, India

    3 publications · 184 citations

    3

    h-index

  3. XX
    Xinwei Xie

    UNSW Sydney, Australia

    3 publications · 109 citations

    3

    h-index

  4. JX
    Jingling Xue

    UNSW Sydney, Australia

    3 publications · 109 citations

    3

    h-index

  5. JY
    Jaeheon Yi

    University of California, Santa Cruz, United States

    2 publications · 253 citations

    2

    h-index

1–5 of 151

Institutions

70

  1. UNSW Sydney

    Sydney, Australia

    3 h-index

    6 publications

    218 citations

  2. University of Massachusetts Amherst

    Amherst Center, United States

    3 h-index

    3 publications

    294 citations

  3. National University of Defense Technology

    Changsha, China

    2 h-index

    6 publications

    90 citations

  4. University of California, Santa Cruz

    Santa Cruz, United States

    2 h-index

    6 publications

    759 citations

  5. ETH Zurich

    Zurich, Switzerland

    2 h-index

    2 publications

    122 citations

  6. Karlsruhe University of Education

    Karlsruhe, Germany

    2 h-index

    6 publications

    354 citations

  7. Indian Institute of Science Bangalore

    Bengaluru, India

    2 h-index

    4 publications

    340 citations

  8. Institute of Software

    Beijing, China

    2 h-index

    5 publications

    165 citations

1–8 of 70

Venues

  1. ACM SIGPLAN Notices

    3 publications · 198 citations

    3

    h-index

  2. Software Practice and Experience

    1 publications · 20 citations

    1

    h-index

  3. IEEE Transactions on Parallel and Distributed Systems

    TPDS · 1 publications · 239 citations

    1

    h-index

  4. Empirical Methods in Natural Language Processing

    Conference · 1 publications · 398 citations

    1

    h-index

  5. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 1 publications · 11 citations

    1

    h-index

1–5