Automatically comparing memory consistency models.

John Wickerson Mark Batty Tyler Sorensen George A. Constantinides

Published in: POPL (2017)

Keyphrases

complex systems
automatically generated
probabilistic model
data sets
neural network
website
case study
experimental data
information retrieval
computer vision
feature selection
multiscale
prior knowledge
autoregressive
modeling framework
maintaining consistency