Specifying and dynamically verifying address translation-aware memory consistency.

Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin

Browse the full ASPLOS paper archive.