Synthesizing memory models from framework sketches and Litmus tests.

James Bornholt Emina Torlak

Published in: PLDI (2017)

Keyphrases

probabilistic model
modeling framework
bayesian framework
main contribution
complex systems
machine learning algorithms
real time
machine learning
genetic algorithm
memory requirements