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
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution