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

[Artifact] Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rocha, R. (Creator), Sprokholt, D. (Creator), Fink, M. (Creator), Gouicem, R. (Creator), Spink, T. (Creator), Chakraborty, S. (Creator) & Bhatotia, P. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6396270
Dataset
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rocha, R. (Creator), Sprokholt, D. (Creator), Fink, M. (Creator), Gouicem, R. (Creator), Spink, T. (Creator), Chakraborty, S. (Creator) & Bhatotia, P. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6408463
Dataset

Datasets