Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
VenueOnline!
Room nameREMS/DeepSpec live stream
Floor0
Additional information

Slack channel: #rems-deepspec

YouTube live streams:

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

05:00 - 07:00: REMS-DeepSpec Session 1REMS-DeepSpec at REMS/DeepSpec live stream
05:00 - 05:15
Talk
REMS-DeepSpec
Peter SewellUniversity of Cambridge, Lennart BeringerPrinceton University
File Attached
05:15 - 05:55
Talk
REMS-DeepSpec
Joseph TassarottiBoston College
06:05 - 06:45
Talk
REMS-DeepSpec
Ji-Yong ShinYale University
07:00 - 09:00: REMS-DeepSpec Session 2REMS-DeepSpec at REMS/DeepSpec live stream
07:00 - 07:40
Talk
REMS-DeepSpec
P: Alasdair ArmstrongUniversity of Cambridge, Thomas BauereissUniversity of Cambridge, Brian CampbellUniversity of Edinburgh, Alastair ReidGoogle Research, Kathryn E. GrayFacebook, Robert M. NortonUniversity of Cambridge, Prashanth MundkurSRI International, Mark WassellUniversity of Cambridge, Jon FrenchUniversity of Cambridge, Christopher PulteUniversity of Cambridge, UK, Shaked FlurGoogle, Ian StarkThe University of Edinburgh, Neel KrishnaswamiComputer Laboratory, University of Cambridge, Peter SewellUniversity of Cambridge
07:50 - 08:30
Talk
REMS-DeepSpec
P: Shaked FlurGoogle, P: Christopher PulteUniversity of Cambridge, UK, Luc MarangetInria Paris, Will DeaconARM Ltd., Susmit SarkarUniversity of St. Andrews, Ben Simner, Jean Pichon-PharabodUniversity of Cambridge, UK, Jeehoon KangKAIST, Sung-Hwan LeeSeoul National University, South Korea, Chung-Kil HurSeoul National University, South Korea, Alasdair ArmstrongUniversity of Cambridge, Ohad KammarUniversity of Edinburgh, Jon FrenchUniversity of Cambridge, Kathryn E. GrayFacebook, Ali SezginUniversity of Cambridge, Peter SewellUniversity of Cambridge
File Attached
09:00 - 11:00: REM-DeepSpec Session 3REMS-DeepSpec at REMS/DeepSpec live stream
09:00 - 09:40
Talk
REMS-DeepSpec
P: Kayvan MemarianUniversity of Cambridge, Victor B. F. GomesUniversity of Cambridge, UK, Stella Lau, Jean Pichon-PharabodUniversity of Cambridge, UK, Justus MatthiesenUniversity of Cambridge, Peter SewellUniversity of Cambridge
09:50 - 10:30
Talk
REMS-DeepSpec
Andrew AppelPrinceton

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

05:00 - 07:00: REMS-DeepSpec Session 4REMS-DeepSpec at REMS/DeepSpec live stream
05:00 - 05:40
Talk
REMS-DeepSpec
Thomas BauereissUniversity of Cambridge, Kyndylan NienhuisUniversity of Cambridge, Alexandre JoannouUniversity of Cambridge, Anthony FoxUniversity of Cambridge, UK, Michael RoeUniversity of Cambridge, Brian CampbellUniversity of Edinburgh, Matthew NaylorUniversity of Cambridge, Robert M. NortonUniversity of Cambridge, Simon W. MooreUniversity of Cambridge, Peter G. NeumannSRI International, Ian StarkThe University of Edinburgh, Robert N. M. WatsonUniversity of Cambridge, Peter SewellUniversity of Cambridge
File Attached
05:50 - 06:30
Talk
REMS-DeepSpec
Steven Keuchel, Georgy LukyanovNewcastle University, UK, Dominique DevrieseVrije Universiteit Brussel
File Attached
07:00 - 09:00: REMS-DeepSpec Session 5REMS-DeepSpec at REMS/DeepSpec live stream
07:00 - 07:40
Talk
REMS-DeepSpec
Philippa GardnerImperial College London, UK, José Fragoso SantosImperial College London, Petar MaksimovićImperial College London, UK, Sacha-Élie AyounImperial College London, UK
07:50 - 08:30
Talk
REMS-DeepSpec
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
09:00 - 11:00: REMS-DeepSpec Session 6REMS-DeepSpec at REMS/DeepSpec live stream
09:00 - 09:40
Talk
REMS-DeepSpec
Yannick ZakowskiUniversity of Pennsylvania
09:50 - 10:30
Talk
REMS-DeepSpec
Adam ChlipalaMassachusetts Institute of Technology, Andres Erbsen, Sam GruetterMassachusetts Institute of Technology, Joonwon ChoiMassachusetts Institute of Technology, USA

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

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