@inproceedings{gouicem:2023,
  author    = {Gouicem, Redha and Sprokholt, Dennis and Ruehl, Jasper and Rocha, Rodrigo C. O. and Spink, Tom and Chakraborty, Soham and Bhatotia, Pramod},
  title     = {Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures},
  booktitle = {Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1},
  doi       = {10.1145/3567955.3567962},
  url       = {https://doi.org/10.1145/3567955.3567962},
  year      = {2022},
  isbn      = {9781450399159},
  publisher = {Association for Computing Machinery},
  address   = {New York, NY, USA},
  pages     = {107--122},
  numpages  = {16},
  keywords  = {memory models, formal verification, Binary translation},
  location  = {Vancouver, BC, Canada},
  series    = {ASPLOS 2023}
}