Francisco Ferreira

According to our database, Francisco Ferreira authored at least 24 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Concurrent Calculi Formalisation Benchmark.

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

Proceedings of the Coordination Models and Languages, 2024

2023

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact).

Sung-Shik Jongmans, Francisco Ferreira

Dagstuhl Artifacts Ser., 2023

Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis.

Francisco Ferreira, Sung-Shik Jongmans

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea).

Sung-Shik Jongmans, Francisco Ferreira

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce.

Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2022

2021

Zooid: a DSL for Certified Multiparty Computation.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

Dataset, March, 2021

Zooid: a DSL for Certified Multiparty Computation.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

Dataset, March, 2021

Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types.

Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou

Dataset, January, 2021

Zooid: a DSL for Certified Multiparty Computation.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

CoRR, 2021

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types.

Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira

Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

Communication-safe web programming in TypeScript with routed multiparty session types.

Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou

Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020

Statically Verified Refinements for Multiparty Protocols.

Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Dataset, August, 2020

Statically Verified Refinements for Multiparty Protocols.

Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Dataset, August, 2020

Statically verified refinements for multiparty protocols.

Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Proc. ACM Program. Lang., 2020

Generating Interactive WebSocket Applications in TypeScript.

Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

EMTST: Engineering the Meta-theory of Session Types.

David Castro-Perez, Francisco Ferreira, Nobuko Yoshida

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Cocon: Computation in Contextual Type Theory.

Brigitte Pientka, Andreas Abel, Francisco Ferreira, David Thibodeau, Rébecca Zucchini

CoRR, 2019

A Type Theory for Defining Logics and Proofs.

Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rébecca Zucchini

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Proofs and Programs about Open Terms.

Francisco Ferreira Ruiz

CoRR, 2018

2017

Programs Using Syntax with First-Class Binders.

Francisco Ferreira, Brigitte Pientka

Proceedings of the Programming Languages and Systems, 2017

2014

Bidirectional Elaboration of Dependently Typed Programs.

Francisco Ferreira, Brigitte Pientka

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Fair reactive programming.

Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Compiling contextual objects: bringing higher-order abstract syntax to programmers.

Francisco Ferreira, Stefan Monnier, Brigitte Pientka

Proceedings of the 7th Workshop on Programming languages meets program verification, 2013