Campus Event Calendar
Event Entry
What and Who
WebAssembly: Mechanisation, Security, and Concurrency
Conrad Watt
University of Cambridge
SWS Colloquium
Conrad Watt is a PhD student at the University of Cambridge, supervised
by Peter Sewell. His work focusses on the WebAssembly language, and he
serves as an Invited Expert to the WebAssembly Working Group, assisting
with the development of the language's relaxed memory model. He holds a
Google Doctoral Fellowship in Programming Technology and Software
Engineering.
AG 3, SWS, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 12 December 2019
10:30
60 Minutes
E1 5
029
Saarbrücken
Abstract
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.
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.
Contact
Danielle Dalton
--email hidden
Video Broadcast
Yes
Kaiserslautern
G26
111
SWS Space 2 (6312)
passcode not visible
logged in users only
Danielle Dalton, 12/10/2019 11:06 -- Created document.