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

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

rems-deepspec-2020
07:00 - 09:00: REMS-DeepSpec 2020 - REMS-DeepSpec Session 5 at REMS/DeepSpec live stream
rems-deepspec-202007:00 - 07:40
Talk
Philippa GardnerImperial College London, UK, José Fragoso SantosImperial College London, Petar MaksimovićImperial College London, UK, Sacha-Élie AyounImperial College London, UK
rems-deepspec-202007:50 - 08:30
Talk
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