DROPS

Document

Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241)

Authors: Amal Ahmed, Andreas Rossberg, Deian Stefan, Conrad Watt, and Michelle Thalakottur

Published in: Dagstuhl Reports, Volume 15, Issue 6 (2026)

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

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)

Copy BibTex To Clipboard

@Article{ahmed_et_al:DagRep.15.6.51,
  author =	{Ahmed, Amal and Rossberg, Andreas and Stefan, Deian and Watt, Conrad and Thalakottur, Michelle},
  title =	{{Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241)}},
  pages =	{51--68},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2026},
  volume =	{15},
  number =	{6},
  editor =	{Ahmed, Amal and Rossberg, Andreas and Stefan, Deian and Watt, Conrad and Thalakottur, Michelle},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.51},
  URN =		{urn:nbn:de:0030-drops-255770},
  doi =		{10.4230/DagRep.15.6.51},
  annote =	{Keywords: Compilers, Formal Methods, JavaScript, Proof Assistants, Runtimes, Software Verification, Webassembly}
}

Search Results

Documents authored by Thalakottur, Michelle

Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241)

Abstract

Cite as

Thanks for your feedback!

Could not send message