Sound predictive race detection in polynomial time.

Yannis Smaragdakis Jacob Evans Caitlin Sadowski Jaeheon Yi Cormac Flanagan

Published in: POPL (2012)

Keyphrases

detection accuracy
false alarms
special case
automatic detection
approximation algorithms
worst case
detection rate
detection algorithm
computational complexity
detection method
change detection
false positives
anomaly detection
np hard
evolutionary algorithm
object recognition
multi agent
oil spill