Dynamic synthesis for relaxed memory models.

Feng Liu Nayden Nedev Nedyalko Prisadnikov Martin T. Vechev Eran Yahav

Published in: PLDI (2012)

Keyphrases

statistical models
databases
prior knowledge
computing power
accurate models
knowledge base
parameter estimation
process model
experimental data