@inproceedings{Reimers2026Arancini,
  author = {Reimers, Sebastian and Sprokholt, Dennis and Fink, Martin and Augoustis, Theofilos and Kammermeier, Simon and Rocha, Rodrigo C. O. and Spink, Tom and Gouicem, Redha and Chakraborty, Soham and Bhatotia, Pramod},
  title = {Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures},
  year = {2026},
  isbn = {9798400723599},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3779212.3790127},
  doi = {10.1145/3779212.3790127},
  booktitle = {Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2},
  pages = {157--174},
  numpages = {18},
  keywords = {binary translation, memory models, formal verification},
  location = {USA},
  series = {ASPLOS '26}
}

@inproceedings{Fink2025Cage,
  author = {Fink, Martin and Stavrakakis, Dimitrios and Sprokholt, Dennis and Chakraborty, Soham and Ekberg, Jan-Erik and Bhatotia, Pramod},
  title = {Cage: Hardware-Accelerated Safe WebAssembly},
  year = {2025},
  isbn = {9798400712753},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3696443.3708920},
  doi = {10.1145/3696443.3708920},
  booktitle = {Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization},
  pages = {538--552},
  numpages = {15},
  keywords = {Memory Safety, WebAssembly},
  location = {Las Vegas, NV, USA},
  series = {CGO '25}
}

@inproceedings{Rocha2022Lasagne,
  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},
  year = {2022},
  isbn = {9781450392655},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3519939.3523719},
  doi = {10.1145/3519939.3523719},
  booktitle = {Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation},
  pages = {888--902},
  numpages = {15},
  keywords = {Memory Model, Compiler, Binary Translation},
  location = {San Diego, CA, USA},
  series = {PLDI 2022}
}