Francisco Ferreira -

Registered user since Fri 13 Nov 2020

Name:Francisco Ferreira

Country:United Kingdom

Affiliation:Imperial College London

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

Contributions

PLDI 2021	Author of Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes within the PLDI-track
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