Bugs in multi-threaded programs often arise due to data races. Numerous static and
dynamic program analysis techniques have been proposed to detect data races. We …

Many applications demand availability. Unfortunately, software failures greatly reduce
system availability. Prior work on surviving software failures suffers from one or more of the …

We present and categorize a taxonomy of concurrent bug patterns. We then use the
taxonomy to create new timing heuristics for ConTest. Initial industrial experience indicates …

We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded
programs. Our technique runs in two stages. In the first stage, we use an imprecise dynamic …

Atomicity is an important specification that enables programmers to understand atomic
blocks of code in a multi-threaded program as if they are sequential. This significantly …

Concurrent programs are replacing the sequential programs as they utilize the true
capabilities of multicore architecture. The extensive use of multicore systems and …

Multithreaded concurrent programs often exhibit wrong behaviors due to unintended
interferences among the concurrent threads. Such errors are often hard to find because they …

One approach to testing concurrent programs, called reachability testing, generates
synchronization sequences automatically and on-the-fly, without constructing any static …

Concurrency bugs are notoriously difficult to detect because there can be vast combinations
of interleavings among concurrent threads, yet only a small fraction can reveal them. Atomic …

The importance of the Event-Driven Architecture (EDA) has never been greater. Web servers
and the IoT alike have begun to adopt the EDA, and the popular server-side EDA framework …