Dynamic synthesis for relaxed memory models.

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

Browse the full PLDI paper archive.