Publications

Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures

ASPLOS’26

Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo C. O. Rocha, Tom Spink, Redha Gouicem, Soham Chakraborty, Pramod Bhatotia Github, Paper