On WebAssembly
summary
WebAssembly is a compact low-level virtual machine designed as a module-based bytecode (one .wasm equals one module) that runs in browsers, edge, blockchains and embedded runtimes; the project ships a machine-checked, formal mechanized semantics (Isabelle/Coq work and a verified reference interpreter), a validation/type checker that fits on a page, an attribute-grammar binary/text decoder, and a proposal process that requires spec text, tests, a reference implementation and two engine vendors; recent additions include SIMD added 250+ instructions.
AI-written summary · about
chapters (24)
- 0:00Introduction
- 2:32What is WebAssembly
- 4:27Quick look at WebAssembly
- 6:57Background talk
- 11:07WebAssembly goals
- 15:25Secondary goals
- 19:34Formal semantics
- 20:59Abstract syntax
- 23:37Reduction semantics
- 26:32Typing semantics
- 27:23Validation
- 28:54ParsingDecoding
- 29:46Mechanization
- 32:33Formalization
- 33:50Evolution
- 35:11Proposal Process
- 38:11Questions
- 42:10What did not work
- 46:35Motivation
- 48:35Accounting
- 51:25Poll results
- 52:33Expectations
- 53:54Street credibility
- 57:12Committee work
related talks
32mWebAssembly: birth of a virtual ISA
42mWebAssembly: A New Compilation Target for the Web
01h 06mAs low-level as possible, but no lower
32mWebAssembly Demystified
44mWebAssembly: the browser is now a real virtual machine
37mDecoding the hype behind WebAssembly: Looking under the hood
52mWebAssembly vs JavaScript
35mWebAssembly: now web is a new compiler target architecture