POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Tue 16 Jan 2024 10:15 - 10:30 at Flowers Room - Session 1 Chair(s): Peter Sewell

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