Runtime validation of memory ordering using constraint graph checking.

Kaiyu Chen, Sharad Malik, Priyadarsan Patra

Browse the full HPCA paper archive.