MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Francisco Ferreira

Research Associate

dblp

I am an RA at Imperial College. My research interests are proof assistants, programming language theory and design, and reactive systems. Previously, I did a PhD at McGill University under the supervision of Brigitte Pientka. My PhD thesis is about using contextual types to simplify writing programs and proofs with potentially open terms. Currently, I am working on simplifying the mechanization of session based type systems.

Francisco is now a lecturer at Royal Holloway, University of London

Publications

2022

Adam Barwell, Francisco Ferreira, Nobuko Yoshida: CONCUR Test-of-Time Award for the Period 1994–97 Interview with Uwe Nestmann and Benjamin C. Pierce. JLAMP : 100744.

2021

Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira: Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. FCT 2021 : 18 - 35.

Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou: Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. CC 2021 : 94 - 106.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida: Zooid: A DSL for Certified Multiparty Computation. PLDI 2021 : 237 - 251.

2020

David Castro-Perez, Francisco Ferreira, Nobuko Yoshida: EMTST: Engineering the Meta-theory of Session Types. TACAS 2020 : 285 - 278.

Anson Miu, Francisco Ferreira, Fangyi Zhou, Nobuko Yoshida: Generating Interactive WebSocket Applications in TypeScript. PLACES@ETAPS 2020 : 12 - 22.

Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida: Statically Verified Refinements for Multiparty Protocols. OOPSLA 2020 : 148:1 - 148:30.