Publications

Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures. ASPLOS'26 (To Appear)

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