Concurrent programs often exhibit bugs due to unintended interferences among the
concurrent threads. Such bugs are often hard to reproduce because they typically happen …

This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its
extensions. The extensions (called plug-ins in this paper) are implemented through the …

We present a novel technique for static race detection in Java programs, comprised of a
series of stages that employ a combination of static analyses to successively reduce the …

In this paper we introduce ARC–a fully automated system for repairing deadlocks and data
races in concurrent Java programs. ARC consists of two phases:(1) a bug repair phase and …

Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it
is difficult to deliver reliable concurrent programs, because of the huge and nondeterministic …

Concurrency bugs widely exist in concurrent programs and have caused severe failures in
the real world. Researchers have made significant progress in detecting concurrency bugs …

Concurrency bugs are extremely difficult to detect. Recently, several dynamic techniques
achieve sound analysis. M2 is even complete for two threads. It is designed to decide …

This work addresses the issue of selecting the formal correctness criterion for a concurrent
Java program that best corresponds to the developer's intent. We study a set of concurrency …

Along with the prevalence of multi-threaded programs, concurrency bugs have become one
of the most important sources of software bugs. Even worse, due to the non-deterministic …

Data races often result in unexpected and erroneous behavior. In addition to causing data
corruption and leading programs to crash, the presence of data races complicates the …