MTraceCheck: Validating Non-Deterministic Behavior of Memory Consistency Models in Post-Silicon Validation.

Doowon Lee, Valeria Bertacco

Browse the full ISCA paper archive.