WebAssembly: Mechanisation, Security, and Concurrency
Conrad Watt
University of Cambridge
12 Dec 2019, 10:30 am - 11:30 am
Saarbrücken building E1 5, room 029
simultaneous videocast to Kaiserslautern building G26, room 111 / Meeting ID: 6312
simultaneous videocast to Kaiserslautern building G26, room 111 / Meeting ID: 6312
SWS Colloquium
WebAssembly is the first new language to be introduced to the Web
ecosystem in over 20 years. Its official specification is given as a
formal semantics, making the language a perfect target for further
applications of formal methods. This talk highlights recent work which
builds on this formal semantics, and discusses the ongoing development
of WebAssembly's relaxed memory model, which is complicated by the
language's inter-operation with JavaScript.