Automated Synthesis of Comprehensive Memory Model Litmus Test Suites.

Daniel Lustig, Andrew Wright, Alexandros Papakonstantinou, Olivier Giroux

Browse the full ASPLOS paper archive.