A data race in a kernel is an important class of bugs, critically impacting the reliability and
security of the associated system. As a result of a race, the kernel may become …

\begin {abstract} Multithreaded programs are notoriously prone to race conditions. Prior work
on dynamic race detectors includes fast but imprecise race detectors that report false alarms …

Data races are a particularly unpleasant kind of threading bugs. They are hard to find and
reproduce--you may not observe a bug during the entire testing cycle and will only see it in …

Concurrency is pervasive in large systems. Unexpected interference among threads often
results in “Heisenbugs” that are extremely difficult to reproduce and eliminate. We have …

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 …

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 …

Bugs due to data races in multithreaded programs often exhibit non-deterministic symptoms
and are notoriously difficult to find. This paper describes RaceTrack, a dynamic race …

Despite the numerous static and dynamic program analysis techniques in the literature, data
races remain one of the most common bugs in modern concurrent software. Further, the …

Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The
multicore technology trend worsens this problem. Most previous concurrency bug detection …

Ensuring the correctness of multithreaded programs is difficult, due to the potential for
unexpected interactions between concurrent threads. Much previous work has focused on …