Parallel determinacy race detection for futures.

Yifan Xu Kyle Singer I-Ting Angelina Lee

Published in: PPoPP (2020)

Keyphrases

automatic detection
detection accuracy
detection algorithm
data sets
real world
parallel processing
special case
object detection
detection method
parallel computation
detection rate
change detection
false positives
data structure
artificial intelligence
genetic algorithm
neural network