C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
BigFoot: static check placement for dynamic race detection.
Dustin Rhodes
Cormac Flanagan
Stephen N. Freund
Published in:
PLDI (2017)
Keyphrases
</>
false alarms
automatic detection
false positives
dynamic analysis
dynamic environments
detection rate
anomaly detection
detection method
search engine
multi class
video data
change detection
object detection
multiscale
error correction
detection accuracy
data mining
automated detection
dynamic constraints