A Big-Step Compositional Continuation-Passing Semantics for WebAssembly

This video presents a research talk from the WAW 2025 workshop on "A Big-Step Compositional Continuation-Passing Semantics for WebAssembly." Watch researchers Guannan Wei, Alexander Bai, Dinghong Zhong, and Jiatai Zhang from Inria/ENS, Tufts University, MPI-SWS, and Xi'an Jiaotong University discuss their work on WebAssembly semantics. The 24-minute presentation, delivered on January 20, 2025, explores a novel approach to formalizing WebAssembly's operational behavior through continuation-passing style. Learn about advanced programming language theory applied to this important web technology during this ACM SIGPLAN-sponsored event that was part of the POPL 2025 conference.