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.