Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures. - Redha Gouicem; Dennis Sprokholt; Jasper Ruehl; Rodrigo C. O. Rocha; Tom Spink; Soham Chakraborty 001; Pramod Bhatotia (ASPLOS (1), 2023)