\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 …

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 …

We present a new method for dynamically detecting potential data races in multithreaded
programs. Our method improves on the state of the art in accuracy, in usability, and in …

This paper presents a new static type system for multithreaded programs; well-typed
programs in our system are guaranteed to be free of data races and deadlocks. Our type …

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 …

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 …

We present a novel approach to dynamic datarace detection for multithreaded object-
oriented programs. Past techniques for on-the-fly datarace detection either sacrificed …

Ensuring the correctness of multithreaded programs is difficult, due to the potential for
unexpected and nondeterministic interactions between threads. Previous work addressed …