2026-09-22T06:30:13Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:25577 2026-09-05T19:17:41Z ddc:004 open_access

Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241) Ahmed, Amal Rossberg, Andreas Stefan, Deian Watt, Conrad Thalakottur, Michelle Compilers Formal Methods JavaScript Proof Assistants Runtimes Software Verification Webassembly 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Amal Ahmed and Andreas Rossberg and Deian Stefan and Conrad Watt and Michelle Thalakottur 2026 Is Part Of Dagstuhl Reports, Volume 15, Issue 6 (2026) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.15.6.51 urn:nbn:de:0030-drops-255770 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.51 eng https://creativecommons.org/licenses/by/4.0/legalcode