Generating Executable Specification from Formal Semantics of WebAssembly

Explore the cutting-edge research on automating WebAssembly (Wasm) specification processes in this 55-minute conference talk from ACM SIGPLAN. Delve into the challenges of manually creating multiple artifacts for Wasm feature standardization and discover how a domain-specific language (DSL) is revolutionizing this process. Learn about the automatic generation of algorithmic artifacts from Wasm semantics definitions, potentially reducing errors and streamlining the development of new features. Gain insights into the intersection of formal methods, language design, and web technologies as presenter Sukyoung Ryu discusses this innovative approach to creating executable specifications for WebAssembly.

[WAW'24] Generating Executable Specification from Formal Semantics of WebAssembly