Automated Synthesis of Comprehensive Memory Model Litmus Test Suites.

Daniel Lustig Andrew Wright Alexandros Papakonstantinou Olivier Giroux

Published in: ASPLOS (2017)

Keyphrases

mathematical model
statistical model
probabilistic model
databases
machine learning
feature selection
management system
computational model