27 citations · 29 across the 2 of their papers we have counts for
1 paper · 1 filter
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…