27 citations · 29 across the 2 of their papers we have counts for
3 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★ 27 cited
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…
cs.PL2019
Dependence-Aware, Unbounded Sound Predictive Race Detection
Kaan Genç, Jake Roemer, Yufan Xu +1
Data races are a real problem for parallel software, yet hard to detect. Sound predictive analysis observes a program execution and detects data races that exist in some other, uno…