Redha Gouicem, Dennis Sprokholt, Jasper Ruehl, Rodrigo C.O. Rocha, Tom Spink, Soham Chakraborty, Pramod Bhatotia | Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures | ASPLOS 2023 | March 25, 2023 | PDF