Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a comprehensive conference talk that delves into WebAssembly correctness across the entire stack, from guest language to machine code execution. Chris Fallin from F5 presents pragmatic approaches to eliminating bugs both inside and outside the Wasm sandbox. Learn about innovative methods including automatically generating compiled Wasm bytecode from interpreters, verifying stages of the Cranelift compiler, and implementing proof-carrying code for translation validation in Wasmtime. The presentation focuses on practical, incremental improvements to real-world software stacks, highlighting both successful techniques and remaining challenges in achieving full-stack correctness with production-ready tools and technologies. This 40-minute talk was presented at the WAW 2025 workshop on January 20, 2025, sponsored by ACM SIGPLAN.
