Kaiyu Chen, Sharad Malik, Priyadarsan Patra. Runtime validation of memory ordering using constraint graph checking. In 14th International Conference on High-Performance Computer Architecture (HPCA-14 2008), 16-20 February 2008, Salt Lake City, UT, USA. pages 415-426, IEEE Computer Society, 2008. [doi]
Abstract is missing.