Publications

For a complete and up-to-date list, please see my Google Scholar profile.

Should Linux Kernel Memory Model Dependencies Be Afraid of a Big Bad Optimizing Compiler?

ASPLOS ‘27 (to appear)

Sebastian Reimers, Martin Fink, Marco Elver, Hernan Ponce de Leon, Dennis Sprokholt, Pramod Bhatotia.

Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures

ASPLOS ‘26

Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo Rocha, Tom Spink, Redha Gouicem, Soham Chakraborty, Pramod Bhatotia.

Paper · 

Details & Source Code
  • DOI: 10.1145/3779212.3790127
  • GitHub
 · 
Citation
@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}
}

Cage: Hardware-Accelerated Safe WebAssembly

CGO ‘25

Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia.

PDF · Paper · Artifact · Presentation · 

Details & Source Code
  • DOI: 10.1145/3696443.3708920
  • GitHub
 · 
Citation
@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}
}

Lasagne: A Static Binary Translator for Weak Memory Model Architectures

PLDI ‘22

Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia

PDF · Paper · Artifact · 

Details & Source Code
  • DOI: 10.1145/3519939.3523719
  • Source code was merged into Microsoft’s static binary translator mctoll.
 · 
Citation
@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}
}

Theses