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

Browse the full PLDI paper archive.