The Morello ISA semantics, proof, and test generation (POCL 2024 - - Principles of Capability Languages) - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Who

Thomas Bauereiss, Brian Campbell

Track

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect 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 Jan 2024 10:00 - 10:15 at Flowers Room - Session 1 Chair(s): Peter Sewell

Thomas Bauereiss

University of Cambridge

Brian Campbell

University of Edinburgh

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect 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 Jan
Displayed time zone: London change

	09:00 - 10:30	Session 1POCL at Flowers Room Chair(s): Peter Sewell University of Cambridge

	09:00 40m Talk		The state of Morello and CHERI POCL Robert N. M. Watson University of Cambridge
	09:45 15m Talk		The state of Morello software and projects POCL Konrad Witaszczyk University of Cambridge, UK
	10:00 15m Talk		The Morello ISA semantics, proof, and test generation POCL Thomas Bauereiss University of Cambridge, Brian Campbell University of Edinburgh
	10:15 15m Talk		Morello Cerise: proving secure encapsulation (work in progress) POCL Angus Hammond University of Cambridge, Ricardo Almeida University of Edinburgh