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 proceedingConference contribution

2 Downloads (Pure)

Search results