Arjun Ramesh, Tianshu Huang, Ben L. Titzer, Anthony Rowe: Empowering WebAssembly with Thin Kernel Interfaces. EuroSys 2025: 1-20