POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
POPL 2024 (series) / POCL 2024 (series) / POCL 2024 - Principles of Capability Languages /

Morello software and compilers

POCL 2024
Tue 16 Jan 2024 14:00 - 14:22 at Flowers Room - Session 3 Chair(s): Simon W. Moore
  • RA at the University of Cambridge working in the security group on CHERI, a hardware/software co-design project to achieve performant memory-safe C/C++ and fine-grained compartmentalisation
  • RISC-V psABI task group co-chair
  • Debian, FreeBSD and LLVM developer

Tue 16 Jan

Displayed time zone: London change

14:00 - 15:30
Session 3POCL at Flowers Room
Chair(s): Simon W. Moore University of Cambridge
14:00
22m
Talk
Morello software and compilers
POCL
Jessica Clarke University of Cambridge
14:22
22m
Talk
CHERI C semantics
POCL
Vadim Zaliva University of Cambridge, UK
14:45
22m
Talk
CHERI static analysis
POCL
Irina Dudina University of Edinburgh
15:07
22m
Talk
ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC
POCL
Franz Brausse The University of Manchester, Kunjian Song The University of Manchester, Fedor Shmarov The University of Manchester, Rafael Menezes University of Manchester, Mikhail R. Gadelha Igalia, Konstantin Korovin University of Manchester, Giles Reger University of Manchester, Lucas C. Cordeiro University of Manchester, UK

Jessica Clarke

University of Cambridge