Francisco Ferreira -

Registered user since Mon 3 Jul 2023

Name:Francisco Ferreira

Affiliation:Royal Holloway, University of London

Personal website: https://franciscoferreira.org/

Contributions

2024

CPP

PC Member in Program Committee within the CPP 2024-track

2023

ST

Author of The Concurrent Calculi Formalisation Benchmark within the ST30-track

ECOOP

Author of Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types within the Research Papers-track

ISSTA

Author of Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis within the Tool Demonstrations-track