Scalable and precise dynamic datarace detection for structured parallelism.
Raghavan RamanJisheng ZhaoVivek SarkarMartin T. VechevEran YahavPublished in: PLDI (2012)
Keyphrases
- dynamic environments
- real world
- detection accuracy
- detection algorithm
- scalable distributed
- massively parallel
- detection method
- object detection
- anomaly detection
- detection rate
- automatic detection
- false alarms
- computational power
- probabilistic model
- information systems
- false positives
- change detection
- artificial intelligence
- machine learning
- parallel computation
- detection scheme
- neural network