@software{rodrigo_rocha_2022_6396270, author = {Rodrigo Rocha and Dennis Sprokholt and Martin Fink and Redha Gouicem and Tom Spink and Soham Chakraborty and Pramod Bhatotia}, title = {{[Artifact] Lasagne: A Static Binary Translator for Weak Memory Model Architectures}}, month = mar, year = 2022, publisher = {Zenodo}, doi = {10.5281/zenodo.6396270}, url = {https://doi.org/10.5281/zenodo.6396270} }