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

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

2021

PLDI

  • Author of Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes within the PLDI-track

CC

  • Author of Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types within the CC Research Papers-track

2020

SPLASH

  • 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

2019

BEHAPI

  • Author of Adventures in Formalising the Meta-Theory of Session Types within the BEHAPI-track

PLACES

  • Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track
Share
xSat 24 May 07:07
using conf.researchr.org (v1.69.0)
Support page
Sign Up