E.: Dynamic synthesis for relaxed memory models (2012)

by F Liu, N Nedev, N Prisadnikov, M T Vechev, Yahav
Venue:In: PLDI