2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.SE2019★ 2 cited
Online Set-Based Dynamic Analysis for Sound Predictive Race Detection
Jake Roemer, Michael D. Bond
Predictive data race detectors find data races that exist in executions other than the observed execution. Smaragdakis et al. introduced the causally-precedes (CP) relation and a p…
cs.SE2019
SmartTrack: Efficient Predictive Race Detection
Jake Roemer, Kaan Genç, Michael D. Bond
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 detect…