High-coverage, unbounded sound predictive race detection.
Jake RoemerKaan GençMichael D. BondPublished in: PLDI (2018)
Keyphrases
- false positives
- detection algorithm
- automatic detection
- detection method
- wide range
- false alarms
- detection rate
- event detection
- high precision
- anomaly detection
- database systems
- artificial intelligence
- machine learning
- oil spill
- detection accuracy
- test suite
- detection scheme
- database
- object detection
- face recognition
- data mining
- data sets
- real time