Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Thu 22 Sep 2016 10:35 - 11:00 at Conference Room 1 - Web Chair(s): Katsuhiro Ueno

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 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

10:35 - 11:25: WebML at Conference Room 1
Chair(s): Katsuhiro UenoTohoku University, Japan
10:35 - 11:00
Talk
ML
Pre-print
11:00 - 11:25
Talk
ML
Jonathan ProtzenkoMicrosoft Research, Karthikeyan BhargavanINRIA, Jean-Karim ZinzindohouéINRIA, Abhishek Anand, Cédric FournetMicrosoft Research, Bryan Parno, Aseem RastogiMicrosoft Research India, Nikhil SwamyMicrosoft Research
Pre-print