License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.13.3.1
URN: urn:nbn:de:0030-drops-192255
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/19225/
Go back to Dagstuhl Reports

Bhargavan, Karthikeyan ; Protzenko, Jonathan ; Rossberg, Andreas ; Stefan, Deian
Weitere Beteiligte (Hrsg. etc.): Karthikeyan Bhargavan and Jonathan Protzenko and Andreas Rossberg and Deian Stefan

Foundations of WebAssembly (Dagstuhl Seminar 23101)

pdf-format:
dagrep_v013_i003_p001_23101.pdf (2 MB)

Abstract

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.

BibTeX - Entry

@Article{bhargavan_et_al:DagRep.13.3.1,
  author =	{Bhargavan, Karthikeyan and Protzenko, Jonathan and Rossberg, Andreas and Stefan, Deian},
  title =	{{Foundations of WebAssembly (Dagstuhl Seminar 23101)}},
  pages =	{1--16},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{13},
  number =	{3},
  editor =	{Bhargavan, Karthikeyan and Protzenko, Jonathan and Rossberg, Andreas and Stefan, Deian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2023/19225},
  URN =		{urn:nbn:de:0030-drops-192255},
  doi =		{10.4230/DagRep.13.3.1},
  annote =	{Keywords: Compilation, Formal methods, Programming languages, Verification, Virtual machines, WebAssembly}
}

Keywords: Compilation, Formal methods, Programming languages, Verification, Virtual machines, WebAssembly
Collection: DagRep, Volume 13, Issue 3
Issue Date: 2023
Date of publication: 16.10.2023

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI