@inproceedings{reimers:2026,
  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},
  booktitle = {Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2},
  doi       = {10.1145/3779212.3790127},
  url       = {https://doi.org/10.1145/3779212.3790127},
  year      = {2026},
  isbn      = {9798400723599},
  publisher = {Association for Computing Machinery},
  address   = {New York, NY, USA},
  pages     = {157--174},
  numpages  = {18},
  keywords  = {binary translation, memory models, formal verification},
  location  = {USA},
  series    = {ASPLOS '26}
}