Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Tue 16 Jun 2020 05:50 - 06:30 at REMS/DeepSpec live stream - REMS-DeepSpec Session 4
Talk abstract (main.pdf)765KiB
Slides (20200616 Katamaran.pdf)1.24MiB

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