Automatic inference of memory fences.

Michael Kuperstein Martin T. Vechev Eran Yahav

Published in: SIGACT News (2012)

Keyphrases

bayesian networks
semi automatic
fully automatic
data driven
inference mechanism
memory usage
decision theoretic
probabilistic inference
artificial intelligence
machine learning
pairwise
decision trees
computer vision
bayesian inference
genetic algorithm
past experience
information retrieval