Data race is one of the most dangerous errors in multithreaded programming, and despite
intensive studies, it remains a notorious cause of failures in concurrent systems. Detecting …

Many concurrency bugs in multi-threaded programs are due to dataraces. There have been
many efforts to develop static and dynamic mechanisms to automatically find the data races …

We present RDIT, a novel dynamic technique to detect data races in multithreaded programs
with incomplete trace information, ie, in the presence of missing events. RDIT is both precise …

Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected
behaviors when different thread interleavings are executed. Because dataraces are a cause …

Precise dynamic race detectors report an error if and only if an observed program trace
exhibits a data race. They must typically check for races on all memory accesses to ensure …

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 …

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 …

While removing software bugs consumes vast amounts of human time, hardware support for
debugging in modern computers remains rudimentary. Fortunately, we show that …

Data races are subtle and difficult to detect errors that arise during concurrent program
execution. Traditional testing techniques fail to find these errors, but recent research has …

Data races are one of the most common and subtle causes of pernicious concurrency bugs.
Static techniques for preventing data races are overly conservative and do not scale well to …