Publications

  • Cage: Hardware-Accelerated Safe WebAssembly. CGO'25, to appear
    Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia.
    [Pre-Print] [Artifact]

    Details & Source Code

  • 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
    [Paper] [Artifact] [GitHub]

    Details & Source Code
    • Source code was merged into Microsoft’s static binary translator mctoll.


Theses

  • Hardware-Assisted Memory Safety for WebAssembly. Master’s thesis, 2024
    Martin Fink
    [Thesis]

  • Translating x86 Binaries to LLVM Intermediate Representation. Bachelor’s thesis, 2021
    Martin Fink
    [Thesis]