Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures. - Sebastian Reimers; Dennis Sprokholt; Martin Fink 004; Theofilos Augoustis; Simon Kammermeier; Rodrigo C. O. Rocha; Tom Spink; Redha Gouicem; Soham Chakraborty 001; Pramod Bhatotia (ASPLOS (2), 2026)