Not finding it? Sign in to also search OpenAlex live.
-
Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures2026 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo C. O. Rocha, +4 more
1citations -
[Artifact] Focaccia: Semantic Validation for CPU Emulators2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Security and Verification in Computing Open access
Theofilos Augoustis, Sebastian Reimers, Christian Krinitsin, Redha Gouicem, Dennis Sprokholt, Pramod Bhatotia
0citations
4 results