Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia. Lasagne: a static binary translator for weak memory model architectures. In Ranjit Jhala, Isil Dillig, editors, PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022. pages 888-902, ACM, 2022. [doi]
@inproceedings{RochaS0GSCB22,
title = {Lasagne: a static binary translator for weak memory model architectures},
author = {Rodrigo C. O. Rocha and Dennis Sprokholt and Martin Fink and Redha Gouicem and Tom Spink and Soham Chakraborty and Pramod Bhatotia},
year = {2022},
doi = {10.1145/3519939.3523719},
url = {https://doi.org/10.1145/3519939.3523719},
researchr = {https://researchr.org/publication/RochaS0GSCB22},
cites = {0},
citedby = {0},
pages = {888-902},
booktitle = {PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022},
editor = {Ranjit Jhala and Isil Dillig},
publisher = {ACM},
isbn = {978-1-4503-9265-5},
}