Towards Incremental Static Race Detection in OpenMP Programs.

Bradley Swain Jeff Huang

Published in: CORRECTNESS@SC (2018)

Keyphrases

object detection
false positives
false alarms
detection accuracy
detection algorithm
automatic detection
database
high performance computing
incremental learning
computer programs
data sets
neural network
case study
video sequences
anomaly detection
detection rate