Foundations of WebAssembly (Dagstuhl Seminar 23101)

Authors Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, Deian Stefan and all authors of the abstracts in this report

Thumbnail PDF


  • Filesize: 2.34 MB
  • 16 pages

Document Identifiers

Author Details

Karthikeyan Bhargavan
  • INRIA - Paris, FR
Jonathan Protzenko
  • Microsoft - Redmond, US
Andreas Rossberg
  • München, DE
Deian Stefan
  • University of California - San Diego, US
and all authors of the abstracts in this report

Cite AsGet BibTex

Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, and Deian Stefan. Foundations of WebAssembly (Dagstuhl Seminar 23101). In Dagstuhl Reports, Volume 13, Issue 3, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


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.

Subject Classification

ACM Subject Classification
  • Software and its engineering → Formal language definitions
  • Software and its engineering → Virtual machines
  • Theory of computation → Semantics and reasoning
  • Compilation
  • Formal methods
  • Programming languages
  • Verification
  • Virtual machines
  • WebAssembly


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail