WebAssembly is a general-purpose low-level virtual machine. It was the first programming language to be introduced to the Web since JavaScript, and has since been adopted in many other environments, such as edge and cloud computing, mobile computing, blockchains, and embedded systems. Unusually for an industrial language, WebAssembly’s normative specification is stated fully in terms of a pen-and-paper formal semantics. In addition, multiple mechanisations of this semantics have been created and used to prove the soundness of the WebAssembly type system.
The rigor of WebAssembly’s semantics presents new opportunities for researchers in Programming Languages to apply their craft to a widely-used industry technology. This WebAssembly Workshop (WAW) intends to create a space where new ideas for such research can be brainstormed, and where ongoing research work related to WebAssembly can be discussed, critiqued, and iterated on. We also hope to familiarize researchers with the successes and challenges of WebAssembly’s design and specification from an industrial point of view, thereby empowering them to influence the future direction of the language.
Call for Presentations
We invite the submission of abstracts and extended abstracts describing a WebAssembly-related topic for presentation at the workshop. Since this workshop will not publish formal proceedings, we welcome submissions based on prior and ongoing work.
Submissions may be made either in text or PDF form through our HotCRP site (https://waw2025sg.hotcrp.com/). Text submissions are limited to 500 words, while PDF submissions may be up to 2 pages in length, not including references. All submissions will be considered equally for presentation, without bias towards either format. We encourage authors to use a standard ACM template for PDF submissions.
The review process will be lightweight — after the review period authors will receive a single feedback comment on behalf of the Program Committee, confirming the acceptance status of their submission. While we can support a limited number of remote speakers, the selection process will favour submissions that can be presented in-person.
| Thu 31 Jul 2025 Submission deadline |
| Fri 8 Aug 2025 Author notification |
| Thu 16 Oct 2025 Workshop |
