SmartTrack: efficient predictive race detection.

Jake Roemer Kaan Genç Michael D. Bond

Published in: PLDI (2020)

Keyphrases

detection method
automatic detection
cost effective
object detection
computationally efficient
database
detection algorithm
false alarms
real time
information retrieval
multiscale
false positives
detection accuracy
automated detection