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
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.
