Ricardo Almeida -

Registered user since Mon 11 Dec 2023

Name:Ricardo Almeida

Bio:

https://scholar.google.com/citations?hl=en&user=kZr6RAMAAAAJ&sortby=pubdate

Affiliation:University of Glasgow, UK

GitHub: https://github.com/ric-almeida

Contributions

2026

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2025

PLDI

Author of Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture within the PLDI Research Papers-track

CPP

Author of A CHERI C Memory Model for Verified Temporal Safety within the CPP 2025-track

2024

POCL

Author of Morello Cerise: proving secure encapsulation (work in progress) within the POCL 2024-track