Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241)

Ahmed, Amal; Rossberg, Andreas; Stefan, Deian; Watt, Conrad; Thalakottur, Michelle

doi:10.4230/DagRep.15.6.51

Document

Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241)

Authors Amal Ahmed, Andreas Rossberg, Deian Stefan, Conrad Watt, Michelle Thalakottur and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 15, Issue 6
Part of: Volume: Dagstuhl Reports, Volume 15
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2026-02-17

PDF

File

PDF

DagRep.15.6.51.pdf

Filesize: 1.74 MB
18 pages

Document Identifiers

DOI: 10.4230/DagRep.15.6.51
URN: urn:nbn:de:0030-drops-255770

Subject Classification

ACM Subject Classification

Software and its engineering → Semantics
Software and its engineering → Runtime environments
Theory of computation → Program semantics

Keywords

Compilers
Formal Methods
JavaScript
Proof Assistants
Runtimes
Software Verification
Webassembly

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Document

0

Metadata

Abstract

WebAssembly (Wasm) is a safe and portable, low level bytecode format used in browsers, IoT applications, cloud, edge, embedded systems and blockchains. Its popularity as a technology for both practically building and theoretically investigating verified and secure systems has been growing rapidly. This Dagstuhl Seminar brought together leading academics and industry representatives involved in Wasm, both as designers, implementers or clients of the technology, to exchange ideas around topics such as tools for formal specification, verified compilation, software fault isolation and language interoperability.

Cite As Get BibTex

Amal Ahmed, Andreas Rossberg, Deian Stefan, Conrad Watt, and Michelle Thalakottur. Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241). In Dagstuhl Reports, Volume 15, Issue 6, pp. 51-68, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/DagRep.15.6.51

Author Details

Amal Ahmed

Northeastern University - Boston, US

Andreas Rossberg

München, DE

Deian Stefan

University of California - San Diego, US

Conrad Watt

Nanyang TU - Singapore, SG

Michelle Thalakottur

Northeastern University - Boston, US

and all authors of the abstracts in this report

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail