Francisco Ferreira -

Registered user since Fri 13 Nov 2020

Name: Francisco Ferreira

Affiliation: Imperial College London

Personal website: https://www.doc.ic.ac.uk/~fferre16/

Contributions

CC 2021	Author of Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types within the CC Research Papers-track
SPLASH 2020	Session Chair of F-3B (part of OOPSLA) Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA-track Author of Statically Verified Refinements for Multiparty Protocols within the Posters-track Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA Artifacts-track
BEHAPI 2019	Author of Adventures in Formalising the Meta-Theory of Session Types within the BEHAPI-track
PLACES 2019	Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track