In this paper, we explain that container engines are strengthening their isolation
mechanisms. Therefore, non-intrusive monitoring becomes a must-have for the performance …

Background: Concurrent software testing is a costly and difficult task, especially due to the
exponential increase in the test sequences caused by non-determinism. Such an issue has …

Many modern software systems are composed of multiple execution flows that run
simultaneously, spanning from applications designed to exploit the power of modern multi …

This paper introduces a new dynamic data race detector, acculock, to detect data races in
Java programs. acculock is the first hybrid detector that combines lockset and epoch‐based …

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 …

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 …

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 …

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 …

Sequential and concurrency bugs are widespread in deployed software. They cause severe
failures and huge financial loss during production runs. Tools that diagnose production-run …

Concurrent programs are prone to various classes of difficult-to-detect faults, of which data
races are particularly prevalent. Prior work has attempted to increase the cost-effectiveness …