Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020

REMS-DeepSpec 2020 provides a forum for researchers interested in foundational specifications and rigorous engineering of mainstream systems and their components. It will consist of in-depth presentations by members of the REMS project (UK) and DeepSpec (US), invited talks by external experts, and general talks selected in response to a call for short abstracts. No formal proceedings are associated with this event.

The workshop brings together two large projects, REMS and DeepSpec. REMS aims to develop semantics and rigorous engineering methods that apply to mainstream systems, and DeepSpec to push forward the state of the art in applying computer proof assistants to verify realistic software and hardware stacks at scale.

Talks

Title
File Attached
File Attached
File Attached
File Attached

Call for Papers

Presentations will be selected based on one or two-page abstracts, which must be in PDF format.

Dates
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
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
Shaked FlurGoogle, 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
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
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