WebAssembly is a new language- and platform-independent binary code format bringing native-code performance to the web. We present its design and report our experience with specifying its semantics via a reference interpreter written in OCaml, that currently serves as a proxy for a future formal specification.
Thu 22 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
10:35 - 11:25
|WebAssembly: high speed at low cost for everyone|
Andreas Rossberg GooglePre-print
|Extracting from F* to C: a progress report|
Jonathan Protzenko Microsoft Research, Karthikeyan Bhargavan INRIA, Jean-Karim Zinzindohoué INRIA, Abhishek Anand , Cédric Fournet Microsoft Research, Bryan Parno , Aseem Rastogi Microsoft Research India, Nikhil Swamy Microsoft ResearchPre-print