Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures

Publication
ASPLOS (to appear)

Related