Dynamic race detection for C++11.

Christopher Lidbury Alastair F. Donaldson

Published in: POPL (2017)

Keyphrases

dynamic environments
detection method
automatic detection
object detection
dynamically changing
search engine
false positives
machine learning
artificial intelligence
bayesian networks
expert systems
multi class
change detection
event detection