Francisco Ferreira

23 papers A* 3A 3B 2C 2Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Synthetic Reconstruction of Multiparty Session Types.
Proc. ACM Program. Lang.
David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
2025 J jnl
A Synthetic Reconstruction of Multiparty Session Types (with Appendix).
CoRR
David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
2024 C conf
The Concurrent Calculi Formalisation Benchmark.
COORDINATION
Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
2023 A conf
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis.
ISSTA
Francisco Ferreira, Sung-Shik Jongmans
2023 J jnl
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact).
Dagstuhl Artifacts Ser.
Sung-Shik Jongmans, Francisco Ferreira
2023 A conf
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea).
ECOOP
Sung-Shik Jongmans, Francisco Ferreira
2022 J jnl
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce.
J. Log. Algebraic Methods Program.
Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida
2021 B conf
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types.
FCT
Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira
2021 J jnl
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types.
CoRR
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
2021 B conf
Communication-safe web programming in TypeScript with routed multiparty session types.
CC
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
2021 J jnl
Zooid: a DSL for Certified Multiparty Computation.
CoRR
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
2021 A* conf
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.
PLDI
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
2020 — conf
EMTST: Engineering the Meta-theory of Session Types.
TACAS (2)
David Castro-Perez, Francisco Ferreira, Nobuko Yoshida
2020 — conf
Generating Interactive WebSocket Applications in TypeScript.
PLACES@ETAPS
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
2020 J jnl
Statically Verified Refinements for Multiparty Protocols.
CoRR
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2020 J jnl
Statically verified refinements for multiparty protocols.
Proc. ACM Program. Lang.
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2019 A* conf
A Type Theory for Defining Logics and Proofs.
LICS
Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rébecca Zucchini
2019 J jnl
A Type Theory for Defining Logics and Proofs.
CoRR
Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rébecca Zucchini
2019 J jnl
Cocon: Computation in Contextual Type Theory.
CoRR
Brigitte Pientka, Andreas Abel, Francisco Ferreira, David Thibodeau, Rébecca Zucchini
2017 A conf
Programs Using Syntax with First-Class Binders.
ESOP
Francisco Ferreira, Brigitte Pientka
2014 C conf
Bidirectional Elaboration of Dependently Typed Programs.
PPDP
Francisco Ferreira, Brigitte Pientka
2014 A* conf
Fair reactive programming.
POPL
Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka
2013 — conf
Compiling contextual objects: bringing higher-order abstract syntax to programmers.
PLPV
Francisco Ferreira, Stefan Monnier, Brigitte Pientka