Lasagne: a static binary translator for weak memory model architectures. - Rodrigo C. O. Rocha; Dennis Sprokholt; Martin Fink 004; Redha Gouicem; Tom Spink; Soham Chakraborty 001; Pramod Bhatotia (PLDI, 2022)

Cage: Hardware-Accelerated Safe WebAssembly. - Martin Fink 004; Dimitrios Stavrakakis; Dennis Sprokholt; Soham Chakraborty 001; Jan-Erik Ekberg; Pramod Bhatotia (CGO, 2025)