@inproceedings{rocha:2022,
  author    = {Rocha, Rodrigo C. O. and Sprokholt, Dennis and Fink, Martin and Gouicem, Redha and Spink, Tom and Chakraborty, Soham and Bhatotia, Pramod},
  title     = {Lasagne: A Static Binary Translator for Weak Memory Model Architectures},
  booktitle = {Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation},
  doi       = {10.1145/3519939.3523719},
  url       = {https://doi.org/10.1145/3519939.3523719},
  year      = {2022},
  isbn      = {9781450392655},
  publisher = {Association for Computing Machinery},
  address   = {New York, NY, USA},
  pages     = {888--902},
  numpages  = {15},
  keywords  = {Binary Translation, Compiler, Memory Model},
  location  = {San Diego, CA, USA},
  series    = {PLDI 2022}
}