PLDI 2020 (series) / REMS-DeepSpec 2020 (series) / REMS-DeepSpec 2020 /
Gillian: a Multi-language Platform for Program Correctness and Incorrectness
Tue 16 Jun 2020 07:00 - 07:40 at REMS/DeepSpec live stream - REMS-DeepSpec Session 5
Tue 16 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 16 Jun
Displayed time zone: Pacific Time (US & Canada) change
07:00 - 09:00 | |||
07:00 40mTalk | Gillian: a Multi-language Platform for Program Correctness and Incorrectness REMS-DeepSpec Philippa Gardner Imperial College London, UK, José Fragoso Santos Imperial College London, Petar Maksimović Imperial College London, UK, Sacha-Élie Ayoun Imperial College London, UK | ||
07:50 40mTalk | WebAssembly: sequential and concurrent semantics REMS-DeepSpec P: Conrad Watt University of Cambridge, UK, Guillaume Barbier ENS Rennes, France, Martin Bodin Imperial College London, Sunjay Cauligi University of California at San Diego, USA, Craig Disselkoen University of California at San Diego, USA, Stephen Dolan University of Cambridge, UK, Shaked Flur Google, Philippa Gardner Imperial College London, UK, Tal Garfinkel Stanford University, Shu-yu Guo Bloomberg, USA, Neel Krishnaswami Computer Laboratory, University of Cambridge, Amit Levy , Petar Maksimović Imperial College London, UK, Jean Pichon-Pharabod University of Cambridge, UK, Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research, Natalie Popescu University of California San Diego, Christopher Pulte University of Cambridge, UK, John Renner University of California at San Diego, USA, Andreas Rossberg Dfinity Stiftung, Deian Stefan University of California at San Diego, USA, Xiaojia Rao Imperial College | ||