TY  - RPRT
TI  - Dependence-Aware, Unbounded Sound Predictive Race Detection
AU  - Kaan Genç
AU  - Jake Roemer
AU  - Yufan Xu
AU  - Michael D. Bond
PY  - 2021
UR  - https://arxiv.org/abs/1904.13088
ID  - 1904.13088
ER  -