Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures.

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

Browse the full ASPLOS paper archive.