%0 Conference Paper %1 conf/pldi/RochaS0GSCB22 %A Rocha, Rodrigo C. O. %A Sprokholt, Dennis %A Fink, Martin %A Gouicem, Redha %A Spink, Tom %A Chakraborty, Soham %A Bhatotia, Pramod %B PLDI %D 2022 %E Jhala, Ranjit %E Dillig, Isil %I ACM %K dblp %P 888-902 %T Lasagne: a static binary translator for weak memory model architectures. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2022.html#RochaS0GSCB22 %@ 978-1-4503-9265-5

@inproceedings{conf/pldi/RochaS0GSCB22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Rocha, Rodrigo C. O. and Sprokholt, Dennis and Fink, Martin and Gouicem, Redha and Spink, Tom and Chakraborty, Soham and Bhatotia, Pramod}, biburl = {https://www.bibsonomy.org/bibtex/2bc87fbc37b4c6f9774e60600a5e0ae24/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2022}, editor = {Jhala, Ranjit and Dillig, Isil}, ee = {https://doi.org/10.1145/3519939.3523719}, interhash = {872acb2c7f29cf50f82851e3f3900cf1}, intrahash = {bc87fbc37b4c6f9774e60600a5e0ae24}, isbn = {978-1-4503-9265-5}, keywords = {dblp}, pages = {888-902}, publisher = {ACM}, timestamp = {2024-04-09T19:00:12.000+0200}, title = {Lasagne: a static binary translator for weak memory model architectures.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2022.html#RochaS0GSCB22}, year = 2022 }