Details

Autor(en) / Beteiligte

• Bhargavan, Karthikeyan
• Protzenko, Jonathan
• Rossberg, Andreas
• Stefan, Deian

Titel

Foundations of WebAssembly (Dagstuhl Seminar 23101)

Ort / Verlag

Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Erscheinungsjahr

2023

Link zum Volltext

Quelle

EZB Free E-Journals

Beschreibungen/Notizen

• 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.