Conditional must not aliasing for static race detection.
Mayur NaikAlex AikenPublished in: POPL (2007)
Keyphrases
- detection method
- object detection
- detection algorithm
- frequency domain
- high frequency
- automatic detection
- false alarms
- data sets
- false positives
- detection rate
- detection accuracy
- spatial domain
- random field model
- real time
- detection scheme
- spatial resolution
- conditional probabilities
- event detection
- knowledge base
- neural network