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

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 …

This article presents a practical solution for the cyclic debugging of nondeterministic parallel
programs. The solution consists of a combination of record/replay with automatic on-the-fly …

Software robustness has significant impact on system availability. Unfortunately, finding
software bugs is a very challenging task because many bugs are hard to reproduce. While …

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 …

Data race detection is highly essential for debugging multithreaded programs and assuring
their correctness. Nevertheless, there is no single universal technique capable of handling …

We present an on-the-fly mechanism that detects access conflicts in executions of multi-
threaded Java programs. Access conflicts are a conservative approximation of data races …

Persistent Memory (PM) can be used by applications to directly and quickly persist any data
structure, without the overhead of a file system. However, writing PM applications that are …