Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Tue 16 Jun 2020 07:50 - 08:30 at REMS/DeepSpec live stream - REMS-DeepSpec Session 5

joint work with Guillaume Barbier, Martin Bodin, Sunjay Cauligi, Craig Disselkoen, Stephen Dolan, Shaked Flur, Philippa Gardner, Tal Garfinkel, Shu-yu Guo, Neelakantan R. Krishnaswami, Amit Levy, Petar Maksimović, Jean Pichon-Pharabod, Anton Podkopaev, Natalie Popescu, Christopher Pulte, John Renner, Andreas Rossberg, Deian Stefan, Rao Xiaoj

WebAssembly is the first new programming language to be natively supported on the Web platform since JavaScript. WebAssembly was designed from the ground up using formal semantics, and each new feature must be fully formally specified before it can be adopted into the standard. This talk will describe recent work in mechanising WebAssembly’s semantics, and specifying the language’s relaxed memory model. We will also discuss future challenges in verifying security-related properties of the language.

Tue 16 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

07:00 - 09:00
REMS-DeepSpec Session 5REMS-DeepSpec at REMS/DeepSpec live stream
Gillian: a Multi-language Platform for Program Correctness and Incorrectness
Philippa GardnerImperial College London, UK, José Fragoso SantosImperial College London, Petar MaksimovićImperial College London, UK, Sacha-Élie AyounImperial College London, UK
WebAssembly: sequential and concurrent semantics
P: Conrad WattUniversity of Cambridge, UK, Guillaume BarbierENS Rennes, France, Martin BodinImperial College London, Sunjay CauligiUniversity of California at San Diego, USA, Craig DisselkoenUniversity of California at San Diego, USA, Stephen DolanUniversity of Cambridge, UK, Shaked FlurGoogle, Philippa GardnerImperial College London, UK, Tal GarfinkelStanford University, Shu-yu GuoBloomberg, USA, Neel KrishnaswamiComputer Laboratory, University of Cambridge, Amit Levy, Petar MaksimovićImperial College London, UK, Jean Pichon-PharabodUniversity of Cambridge, UK, Anton PodkopaevMPI-SWS, NRU HSE, JetBrains Research, Natalie PopescuUniversity of California San Diego, Christopher PulteUniversity of Cambridge, UK, John RennerUniversity of California at San Diego, USA, Andreas RossbergDfinity Stiftung, Deian StefanUniversity of California at San Diego, USA, Rao XiaojImperial College