Publications

- 1 min read

Focaccia: Semantic Validation for CPU Emulators

ASPLOS ‘27 (to appear)

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

Pre-print

Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures

ASPLOS ‘26

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

Paper