Provably Good and Practically Efficient Parallel Race Detection for Fork-Join Programs.
Robert UtterbackKunal AgrawalJeremy T. FinemanI-Ting Angelina LeePublished in: SPAA (2016)
Keyphrases
- automatic detection
- detection algorithm
- false alarms
- detection rate
- object detection
- detection accuracy
- detection method
- query optimization
- high level programming language
- computer programs
- computationally expensive
- cost effective
- database
- computationally efficient
- anomaly detection
- logic programming
- database systems
- genetic algorithm