Benefiting from the recent hardware improvement, multithreaded programs may still
introduce concurrency defects which are notoriously difficult to detect, due to the non …

Multithreading is a widely used programming technique that efficiently uses multicore
processors. However, correctly executing a multithreaded program is challenging mainly …

Detecting data races in multithreaded programs is a crucial part of debugging such
programs, but traditional data race detectors are too slow to use routinely. This paper shows …

Multithreaded programs are prone to concurrency errors such as deadlocks, race conditions
and atomicity violations. These errors are notoriously difficult to detect due to the non …

Multithreading is a powerful model of parallel and concurrent programming. However, the
presence of shared data leaves multithreaded programs vulnerable to concurrency errors …

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 …

Data race is one of the most important concurrent anomalies in multi-threaded programs.
Emerging constraint-based techniques are leveraged into race detection, which is able to …

In order to take advantage of multi-core hardware, more and more applications are
becoming multi-threaded. Unfortunately concurrent programs are prone to bugs, such as …

Among the various types of concurrency bugs, the data race is one of the primary causes of
other concurrency bugs. Thus, it is important to detect as many data races as possible during …

Data races represent the most notorious class of concurrency bugs in multithreaded
programs. To detect data races precisely and efficiently during the execution of …