Binary Translation
Navigation
Contact
Home
Static Translation
Dynamic Translation
Memory Models
Here we describe why weak memory is a problem for binary translation