Concepedia

Dynamic Concurrency Analysis

Dynamic Concurrency Analysis is a methodological framework within concurrency analysis that dynamically monitors and evaluates the execution behavior of concurrent programs to detect, analyze, and diagnose concurrency-related errors during runtime.

45

Publications

2.5K

Citations

107

Authors

54

Institutions

Publications per year

2017–2026

6

Parents

Publications

45

Atomizer

Cormac Flanagan, Stephen N. Freund · 2004 · 411 citations

, , +16

Automatically classifying benign and harmful data races using replay analysis

Satish Narayanasamy, Zhenghao Wang, Jordan Tigani et al. · 2007 · 256 citations

, , +13

Velodrome

Cormac Flanagan, Stephen N. Freund, Jaeheon Yi · 2008 · 224 citations

, , +14

A randomized dynamic program analysis technique for detecting real deadlocks

Pallavi Joshi, Chang‐Seo Park, Koushik Sen et al. · 2009 · 190 citations

, , +17

The RoadRunner Dynamic Analysis Framework for Concurrent Programs

Cormac Flanagan, Stephen N. Freund · 2010 · 139 citations

, , +14

1–5 of 45

Authors

107

  1. CF
    Cormac Flanagan

    University of California, Santa Cruz, United States

    6 publications · 760 citations

    6

    h-index

  2. SN
    Stephen N. Freund

    Williams College, United States

    5 publications · 850 citations

    5

    h-index

  3. PB
    Pavol Bielik

    ETH Zurich, Switzerland

    4 publications · 140 citations

    4

    h-index

  4. MV
    Martin Vechev

    ETH Zurich, Switzerland

    4 publications · 140 citations

    4

    h-index

  5. JY
    Jaeheon Yi

    University of California, Santa Cruz, United States

    3 publications · 276 citations

    3

    h-index

1–5 of 107

Institutions

54

  1. University of California, Santa Cruz

    Santa Cruz, United States

    7 h-index

    11 publications

    1.2K citations

  2. Williams College

    Williamstown, United States

    5 h-index

    5 publications

    850 citations

  3. Intel (United States)

    Santa Clara, United States

    4 h-index

    6 publications

    517 citations

  4. ETH Zurich

    Zurich, Switzerland

    4 h-index

    16 publications

    522 citations

  5. University of California, Berkeley

    Berkeley, United States

    4 h-index

    10 publications

    959 citations

  6. University of California San Diego

    San Diego, United States

    3 h-index

    3 publications

    380 citations

  7. Microsoft (United States)

    Redmond, United States

    3 h-index

    10 publications

    1.2K citations

  8. Chinese Academy of Sciences

    Beijing, China

    2 h-index

    5 publications

    159 citations

1–8 of 54

Venues

  1. ACM SIGPLAN Notices

    6 publications · 160 citations

    6

    h-index

  2. Proceedings of the VLDB Endowment

    PVLDB · 1 publications · 27 citations

    1

    h-index

  3. ACM Journal of Experimental Algorithmics

    JEA · 1 publications · 118 citations

    1

    h-index

  4. IEEE Transactions on Parallel and Distributed Systems

    TPDS · 1 publications · 13 citations

    1

    h-index

  5. Principles and Practice of Programming in Java

    Conference · 1 publications · 19 citations

    1

    h-index

1–5