Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
