Concepedia

Deterministic Concurrency

Deterministic Concurrency is a concurrency model in which the outcome of concurrent computations is uniquely determined by the input, ensuring that given the same initial conditions, the execution yields identical results regardless of the scheduling of threads or processes.

32

Publications

1.5K

Citations

70

Authors

32

Institutions

Publications per year

2017–2026

6

Parents

Publications

32

A type and effect system for deterministic parallel Java

Robert L. Bocchino, Vikram Adve, Danny Dig et al. · ACM SIGPLAN Notices · 2009 · 296 citations

, , +15

A type and effect system for deterministic parallel Java

Robert L. Bocchino, Vikram Adve, Danny Dig et al. · 2009 · 261 citations

, , +15

Deterministic process groups in dOS

Tom Bergan, Nicholas Hunt, Luís Ceze et al. · 2010 · 134 citations

, , +14

Toward a Lingua Franca for Deterministic Concurrent Systems

Marten Lohstroh, Christian Menard, Soroush Bateni et al. · ACM Transactions on Embedded Computing Systems · 2021 · 100 citations · Full text

, , +16

Phase-concurrent hash tables for determinism

Julian Shun, Guy E. Blelloch · 2014 · 70 citations

, , +13

1–5 of 32

Authors

70

  1. SA
    Stephen A. Edwards

    Columbia University, United States

    6 publications · 207 citations

    6

    h-index

  2. OT
    Olivier Tardieu

    Columbia University, United States

    5 publications · 197 citations

    5

    h-index

  3. MP
    Matthew Parkinson

    University of Cambridge, United Kingdom

    2 publications · 48 citations

    2

    h-index

  4. NR
    Neelakantan R. Krishnaswami

    Max Planck Institute for Software Systems, Germany

    2 publications · 65 citations

    2

    h-index

  5. JO
    Jeffrey Overbey

    University of Illinois Urbana-Champaign, United States

    2 publications · 557 citations

    2

    h-index

1–5 of 70

Institutions

32

  1. Columbia University

    New York, United States

    6 h-index

    12 publications

    414 citations

  2. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    3 h-index

    3 publications

    58 citations

  3. University of California, Berkeley

    Berkeley, United States

    2 h-index

    4 publications

    250 citations

  4. Indiana University Bloomington

    Bloomington, United States

    2 h-index

    4 publications

    130 citations

  5. Yale University

    New Haven, United States

    2 h-index

    2 publications

    105 citations

  6. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    2 h-index

    2 publications

    65 citations

  7. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    2 publications

    48 citations

  8. University of Birmingham

    Birmingham, United Kingdom

    2 h-index

    2 publications

    65 citations

1–8 of 32

Venues

  1. ACM SIGPLAN Notices

    4 publications · 351 citations

    4

    h-index

  2. ACM Transactions on Embedded Computing Systems

    TECS · 2 publications · 114 citations

    2

    h-index

  3. 1

    h-index

  4. Proceedings of the ACM on Management of Data

    1 publications · 17 citations

    1

    h-index

  5. 1

    h-index

1–5