Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs.

Peng Li Guodong Li Ganesh Gopalakrishnan

Published in: SC (2012)

Keyphrases

statistical analysis
computer aided
dynamic analysis
data sets
neural network
information systems
general purpose
automated analysis
manual inspection