Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Filter
Conference Dates
Conference Dates are in time zone (GMT-07:00) Pacific Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your 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: (GMT-07:00) Pacific Time (US & Canada) change

rems-deepspec-2020
05:00 - 07:00: REMS-DeepSpec 2020 - REMS-DeepSpec Session 1 at REMS/DeepSpec live stream
rems-deepspec-202005:00 - 05:15
Talk
Peter SewellUniversity of Cambridge, Lennart BeringerPrinceton University
File Attached
rems-deepspec-202005:15 - 05:55
Talk
Joseph TassarottiBoston College
rems-deepspec-202006:05 - 06:45
Talk
Ji-Yong ShinYale University
rems-deepspec-2020
07:00 - 09:00: REMS-DeepSpec 2020 - REMS-DeepSpec Session 2 at REMS/DeepSpec live stream
rems-deepspec-202007:00 - 07:40
Talk
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
rems-deepspec-202007:50 - 08:30
Talk
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
rems-deepspec-2020
09:00 - 11:00: REMS-DeepSpec 2020 - REM-DeepSpec Session 3 at REMS/DeepSpec live stream
rems-deepspec-202009:00 - 09:40
Talk
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
rems-deepspec-202009:50 - 10:30
Talk
Andrew AppelPrinceton

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

rems-deepspec-2020
05:00 - 07:00: REMS-DeepSpec 2020 - REMS-DeepSpec Session 4 at REMS/DeepSpec live stream
rems-deepspec-202005:00 - 05:40
Talk
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
rems-deepspec-202005:50 - 06:30
Talk
Steven Keuchel, Georgy LukyanovNewcastle University, UK, Dominique DevrieseVrije Universiteit Brussel
File Attached
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
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
rems-deepspec-2020
09:00 - 11:00: REMS-DeepSpec 2020 - REMS-DeepSpec Session 6 at REMS/DeepSpec live stream
rems-deepspec-202009:00 - 09:40
Talk
Yannick ZakowskiUniversity of Pennsylvania
rems-deepspec-202009:50 - 10:30
Talk
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: (GMT-07:00) Pacific Time (US & Canada) change

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

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)