We present TaxDC, the largest and most comprehensive taxonomy of non-deterministic
concurrency bugs in distributed systems. We study 104 distributed concurrency (DC) bugs …

Many bugs, even those that are known and documented in bug reports, remain in mature
software for a long time due to the lack of the development resources to fix them. We …

We present MagicFuzzer, a novel dynamic deadlock detection technique. Unlike existing
techniques to locate potential deadlock cycles from an execution, it iteratively prunes lock …

Go, a fast growing programming language, is often considered as “the programming
language of the cloud”. The language provides a rich set of synchronization primitives …

Just as errors in sequential programs can lead to security exploits, errors in concurrent
programs can lead to concurrency attacks. Questions such as whether these attacks are …

We present the first independent empirical study on schedule bounding techniques for
systematic concurrency testing (SCT). We have gathered 52 buggy concurrent software …

Testing multithreaded programs is difficult as threads can interleave in a nondeterministic
fashion. Untested interleavings can cause failures, but testing all interleavings is infeasible …

Resource leaks in Android apps are pervasive. They can cause serious performance
degradation and system crashes. In recent years, many resource leak detection techniques …

We present an independent empirical study on concurrency testing using controlled
schedulers. We have gathered 49 buggy concurrent software benchmarks, drawn from …

We present CONCURRIT, a domain-specific language (DSL) for reproducing concurrency
bugs. Given some partial information about the nature of a bug in an application, a …