VerifiedFT: a verified, high-performance precise dynamic race detector.

James R. Wilcox Cormac Flanagan Stephen N. Freund

Published in: PPOPP (2018)

Keyphrases

dynamic environments
dynamically changing
neural network
data mining
machine learning
information retrieval
social networks
computer vision
image segmentation
three dimensional
wireless sensor networks
low cost
detection algorithm
data intensive
small sized