Dependence-aware, unbounded sound predictive race detection.

Kaan Genç Jake Roemer Yufan Xu Michael D. Bond

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

change detection
object detection
detection scheme
detection method
artificial intelligence
false positives
automatic detection
feature space
detection algorithm
website
data structure
video sequences
relational databases
probabilistic model