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 …

Nascent persistent memory (PM) technologies promise the performance of DRAM with the
durability of disk, but how best to integrate them into programming systems remains an open …

Data races in multi-threaded parallel applications are notoriously damaging while extremely
difficult to detect. Many tools have been developed to help programmers find data races …

Writing concurrent programs is a challenge because developers must consider both
functional correctness and performance requirements. Numerous program analyses and …

Data races complicate programming language semantics, and a data race is often a bug.
Existing techniques detect data races and define their semantics by detecting conflicts …

In the era of Exascale computing, writing efficient parallel programs is indispensable, and, at
the same time, writing sound parallel programs is very difficult. Specifying parallelism with …

This paper presents ProRace, a dynamic data race detector practical for production runs. It is
lightweight, but still offers high race detection capability. To track memory accesses …

Widely used data race detectors, including the state-of-the-art FastTrack algorithm, incur
performance costs that are acceptable for regular in-house testing, but miss races detectable …

Dynamic program analysis can predict data races knowable from an observed execution,
but existing predictive analyses either miss races or cannot analyze full program executions …

Finding data race bugs in multi-threaded programs has proven challenging. A promising
direction is to use dynamic detectors that monitor the program's execution for data races …