This tutorial is aimed at researchers and practitioners in the area of program analysis, virtual machines, specification, and verification who are curious about or already working in the WebAssembly space.

In this tutorial, we will cover tools, systems, and techniques for WebAssembly research, such as the specification engines, instrumentation, program analyzers/transformers, testbeds, and benchmarks. It will be hands-on, practical, with both presentation of research systems and tools as well as live-coding and exercises for participants.