Lasagne: A Static Binary Translator for Weak Memory Model Architectures

Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia

June 2022

PDF Artifact