Concepedia

Concurrency Bug Localization

Concurrency Bug Localization is a debugging methodology that identifies the precise execution points or code regions responsible for erroneous behaviors in concurrent programs by systematically analyzing interleavings, data races, and synchronization anomalies to distinguish them from sequential faults.

87

Publications

4.7K

Citations

238

Authors

85

Institutions

Publications per year

2017–2026

16

Parents

Publications

87

Finding and Reproducing Heisenbugs in Concurrent Programs

2008 · 537 citations

, , +15

Effective static race detection for Java

Mayur Naik, Alex Aiken, John Whaley · 2006 · 426 citations · Full text

, , +17

Effective static race detection for Java

Mayur Naik, Alex Aiken, John Whaley · ACM SIGPLAN Notices · 2006 · 417 citations · Full text

, , +17

Multithreaded Java program test generation

Orit Edelstein, Eitan Farchi, Y. Nir et al. · IBM Systems Journal · 2002 · 208 citations

, , +16

A randomized scheduler with probabilistic guarantees of finding bugs

Sebastian Burckhardt, Pravesh K. Kothari, Madanlal Musuvathi et al. · 2010 · 208 citations

, , +16

1–5 of 87

Authors

238

  1. SL
    Shan Lu

    University of Chicago, United States

    8 publications · 316 citations

    8

    h-index

  2. SU
    Shmuel Ur

    IBM Research - Haifa, Israel

    6 publications · 309 citations

    6

    h-index

  3. EF
    Eitan Farchi

    IBM Research - Haifa, Israel

    6 publications · 321 citations

    6

    h-index

  4. MM
    Madanlal Musuvathi

    Microsoft (United States), United States

    5 publications · 498 citations

    5

    h-index

  5. SB
    Sebastian Burckhardt

    Microsoft (United States), United States

    4 publications · 437 citations

    4

    h-index

1–5 of 238

Institutions

85

  1. Microsoft (United States)

    Redmond, United States

    7 h-index

    12 publications

    599 citations

  2. Microsoft Research (India)

    Bengaluru, India

    7 h-index

    7 publications

    530 citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    7 h-index

    21 publications

    955 citations

  4. University of Wisconsin–Madison

    Madison, United States

    6 h-index

    23 publications

    704 citations

  5. IBM Research - Haifa

    Haifa, Israel

    6 h-index

    21 publications

    1.4K citations

  6. IBM (United States)

    Armonk, United States

    5 h-index

    16 publications

    1.3K citations

  7. Indian Institute of Technology Kanpur

    Kanpur, India

    5 h-index

    5 publications

    484 citations

  8. ETH Zurich

    Zurich, Switzerland

    5 h-index

    9 publications

    519 citations

1–8 of 85

Venues

  1. ACM SIGPLAN Notices

    7 publications · 521 citations

    7

    h-index

  2. Journal of Systems and Software

    JSS · 2 publications · 25 citations

    2

    h-index

  3. International Journal of Parallel Programming

    2 publications · 40 citations

    2

    h-index

  4. ACM SIGARCH Computer Architecture News

    2 publications · 292 citations

    2

    h-index

  5. Software Testing Verification and Reliability

    STVR · 1 publications · 21 citations

    1

    h-index

1–5