2026-07-21T19:38:39Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:19225 2026-04-20T13:12:33Z ddc:004 open_access

Foundations of WebAssembly (Dagstuhl Seminar 23101) Bhargavan, Karthikeyan Protzenko, Jonathan Rossberg, Andreas Stefan, Deian Compilation Formal methods Programming languages Verification Virtual machines WebAssembly WebAssembly (Wasm) is a new portable code format with a formal semantics whose popularity has been growing fast, as a platform for new application domains, as a target for compilers and languages, and as a subject of research into its semantics, its performance, and its use in building verified and secure systems. This Dagstuhl Seminar brought together leading academics and industry representatives currently involved in the design, implementation and formal study of Wasm, to exchange ideas around topics such as formal methods for, verified compilation to, and verified implementation of Wasm. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Karthikeyan Bhargavan and Jonathan Protzenko and Andreas Rossberg and Deian Stefan 2023 Is Part Of Dagstuhl Reports, Volume 13, Issue 3 (2023) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.13.3.1 urn:nbn:de:0030-drops-192255 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.1 eng https://creativecommons.org/licenses/by/4.0/legalcode