• Sign in
  • Sign up
conf.researchr.org / Francisco Ferreira
  • CC 2021 profile
  • ETAPS 2019 profile
  • PLDI 2021 profile
  • SPLASH 2020 profile

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

Share
xSun 2 Apr 10:21
using conf.researchr.org (v1.60.0)
Support page
Sign Up