RacerD: compositional static race detection.
Sam BlackshearNikos GorogiannisPeter W. O'HearnIlya SergeyPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- detection algorithm
- detection method
- false alarms
- automatic detection
- object detection
- artificial intelligence
- automated detection
- infrared
- false positives
- event detection
- oil spill
- detection accuracy
- detection rate
- three dimensional
- image processing
- change detection
- video sequences
- objective function
- target detection
- website