Publications

Should Linux Kernel Memory Model Dependencies Be Afraid of a Big Bad Optimizing Compiler?

ASPLOS'27 (To appear)

Sebastian Reimers, Martin Fink, Marco Elver, Hernán Ponce de León, Dennis Sprokholt, Pramod Bhatotia

Focaccia: Semantic Validation for CPU Emulators

ASPLOS'27 (To appear)

Theofilos Augoustis, Sebastian Reimers, Christian Krinitsin, Redha Gouicem, Dennis Sprokholt, Pramod Bhatotia

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