Concepedia

Thread Interleaving Analysis

Thread Interleaving Analysis is a systematic method in parallel debugging that identifies and examines the nondeterministic execution sequences of threads to detect concurrency-related defects by analyzing the order in which their operations are interleaved during program execution.

31

Publications

1.5K

Citations

93

Authors

39

Institutions

Publications per year

2017–2026

5

Parents

Publications

31

KISS

Shaz Qadeer, Dinghao Wu · 2004 · 299 citations

, , +17

A case for an interleaving constrained shared-memory multi-processor

Jie Yu, Satish Narayanasamy · 2009 · 177 citations

, , +16

Razzer: Finding Kernel Race Bugs through Fuzzing

Dae R. Jeong, Kyungtae Kim, Basavesh Ammanaghatta Shivakumar et al. · 2019 · 155 citations · Full text

, , +15

Instrumentation and sampling strategies for cooperative concurrency bug isolation

Guoliang Jin, Aditya Thakur, Ben Liblit et al. · 2010 · 113 citations

, , +13

An effective dynamic analysis for detecting generalized deadlocks

Pallavi Joshi, Mayur Naik, Koushik Sen et al. · 2010 · 79 citations

, , +17

1–5 of 31

Authors

93

  1. BL
    Ben Liblit

    University of Wisconsin–Madison, United States

    2 publications · 127 citations

    2

    h-index

  2. JY
    Jie Yu

    University of Michigan, United States

    2 publications · 225 citations

    2

    h-index

  3. MR
    Murali Ramanathan

    University at Buffalo, State University of New York, United States

    2 publications · 53 citations

    2

    h-index

  4. CS
    Caitlin Sadowski

    Google (United States), United States

    2 publications · 35 citations

    2

    h-index

  5. CF
    Christian Ferdinand

    AbsInt (Germany), Germany

    2 publications · 34 citations

    2

    h-index

1–5 of 93

Institutions

39

  1. Purdue University West Lafayette

    West Lafayette, United States

    4 h-index

    10 publications

    582 citations

  2. Princeton University

    Princeton, United States

    3 h-index

    4 publications

    443 citations

  3. Microsoft (United States)

    Redmond, United States

    3 h-index

    3 publications

    351 citations

  4. Google (United States)

    Mountain View, United States

    2 h-index

    3 publications

    70 citations

  5. University of California, Santa Cruz

    Santa Cruz, United States

    2 h-index

    5 publications

    94 citations

  6. Hong Kong University of Science and Technology

    Hong Kong, Hong Kong

    2 h-index

    4 publications

    79 citations

  7. University of Michigan

    Ann Arbor, United States

    2 h-index

    4 publications

    450 citations

  8. AbsInt (Germany)

    Saarbrücken, Germany

    2 h-index

    8 publications

    136 citations

1–8 of 39

Venues

  1. ACM SIGPLAN Notices

    2 publications · 52 citations

    2

    h-index

  2. Communications of the ACM

    1 publications · 32 citations

    1

    h-index

  3. 1

    h-index

  4. Evaluation and Usability of Programming Languages and Tools

    Conference · 1 publications · 11 citations

    1

    h-index

  5. Principles and Practice of Programming in Java

    Conference · 1 publications · 19 citations

    1

    h-index

1–5