Completely verifying memory consistency of test program executions.

Chaiyasit Manovit, Sudheendra Hangal

Browse the full HPCA paper archive.