Katamaran: semi-automated verification of ISA specifications (REMS-DeepSpec 2020) - PLDI 2020

Write a Blog >>

Mon 15 - Fri 19 June 2020

Who

Steven Keuchel, Georgy Lukyanov, Dominique Devriese

Track

REMS-DeepSpec 2020

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 16 Jun 2020 05:50 - 06:30 at REMS/DeepSpec live stream - REMS-DeepSpec Session 4

File attachments

Talk abstract (main.pdf)	765KiB
Slides (20200616 Katamaran.pdf)	1.24MiB

Steven Keuchel

Georgy Lukyanov

Newcastle University, UK

United Kingdom

Dominique Devriese

Vrije Universiteit Brussel

Belgium

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Tue 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

	05:00 - 07:00	REMS-DeepSpec Session 4REMS-DeepSpec at REMS/DeepSpec live stream

	05:00 40m Talk		Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM} REMS-DeepSpec Thomas Bauereiss University of Cambridge, Kyndylan Nienhuis University of Cambridge, Alexandre Joannou University of Cambridge, Anthony Fox University of Cambridge, UK, Michael Roe University of Cambridge, Brian Campbell University of Edinburgh, Matthew Naylor University of Cambridge, Robert M. Norton University of Cambridge, Simon W. Moore University of Cambridge, Peter G. Neumann SRI International, Ian Stark The University of Edinburgh, Robert N. M. Watson University of Cambridge, Peter Sewell University of Cambridge File Attached
	05:50 40m Talk		Katamaran: semi-automated verification of ISA specifications REMS-DeepSpec Steven Keuchel , Georgy Lukyanov Newcastle University, UK, Dominique Devriese Vrije Universiteit Brussel File Attached