Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin. Specifying and dynamically verifying address translation-aware memory consistency. In James C. Hoe, Vikram S. Adve, editors, Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010. pages 323-334, ACM, 2010. [doi]
Abstract is missing.