Bernardo Toninho

According to our database, Bernardo Toninho authored at least 37 papers between 2010 and 2024.

Collaborative distances:

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

2024

The Session Abstract Machine (Extended Version).

Luís Caires, Bernardo Toninho

CoRR, 2024

The Session Abstract Machine.

Luís Caires, Bernardo Toninho

Proceedings of the Programming Languages and Systems, 2024

2023

Intuitionistic Metric Temporal Logic.

Luiz De Sá, Bernardo Toninho, Frank Pfenning

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2022

Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact).

Ruofei Chen, Stephanie Balzer, Bernardo Toninho

Dagstuhl Artifacts Ser., 2022

Derivations with Holes for Concept-Based Program Synthesis.

João Costa Seco, Jonathan Aldrich, Luís Carvalho, Bernardo Toninho, Carla Ferreira

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Ferrite: A Judgmental Embedding of Session Types in Rust.

Ruofei Chen, Stephanie Balzer, Bernardo Toninho

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings.

Bernardo Toninho, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2021

A Decade of Dependent Session Types.

Bernardo Toninho, Luís Caires, Frank Pfenning

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

Featherweight go.

Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida

Proc. ACM Program. Lang., 2020

2019

Refinement kinds: type-safe programming with practical type-level computation.

Luís Caires, Bernardo Toninho

Proc. ACM Program. Lang., 2019

Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version).

Luís Caires, Bernardo Toninho

CoRR, 2019

Domain-Aware Session Types (Extended Version).

Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

CoRR, 2019

Manifest Deadlock-Freedom for Shared Session Types.

Stephanie Balzer, Bernardo Toninho, Frank Pfenning

Proceedings of the Programming Languages and Systems, 2019

Domain-Aware Session Types.

Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Polymorphic Session Processes as Morphisms.

Bernardo Toninho, Nobuko Yoshida

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Interconnectability of Session-Based Logical Processes.

Bernardo Toninho, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2018

A static verification framework for message passing in Go using behavioural types.

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

Proceedings of the 40th International Conference on Software Engineering, 2018

Depending on Session-Typed Processes.

Bernardo Toninho, Nobuko Yoshida

Proceedings of the Foundations of Software Science and Computation Structures, 2018

A Universal Session Type for Untyped Asynchronous Communication.

Stephanie Balzer, Frank Pfenning, Bernardo Toninho

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Report on POPL 2017.

Bernardo Toninho

ACM SIGLOG News, 2017

Certifying data in multiparty session types.

Bernardo Toninho, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2017

Fencing off go: liveness and safety for channel-based programming.

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Linear logic propositions as session types.

Luís Caires, Frank Pfenning, Bernardo Toninho

Math. Struct. Comput. Sci., 2016

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

CoRR, 2016

2015

Combining behavioural types with security analysis.

Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2015

2014

Linear logical relations and observational equivalences for session-based concurrency.

Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho

Inf. Comput., 2014

Corecursion and Non-divergence in Session-Typed Processes.

Bernardo Toninho, Luís Caires, Frank Pfenning

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

2013

Higher-Order Processes, Functions, and Sessions: A Monadic Integration.

Bernardo Toninho, Luís Caires, Frank Pfenning

Proceedings of the Programming Languages and Systems, 2013

Behavioral Polymorphism and Parametricity in Session-Based Communication.

Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

Proceedings of the Programming Languages and Systems, 2013

2012

Constructive Provability Logic

Robert J. Simmons, Bernardo Toninho

CoRR, 2012

Towards concurrent type theory.

Luís Caires, Frank Pfenning, Bernardo Toninho

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Functions as Session-Typed Processes.

Bernardo Toninho, Luís Caires, Frank Pfenning

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Linear Logical Relations for Session-Based Concurrency.

Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho

Proceedings of the Programming Languages and Systems, 2012

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.

Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

Dependent session types via intuitionistic linear type theory.

Bernardo Toninho, Luís Caires, Frank Pfenning

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Proof-Carrying Code in a Session-Typed Process Calculus.

Frank Pfenning, Luís Caires, Bernardo Toninho

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010

A Spatial-Epistemic Logic for Reasoning about Security Protocols

Bernardo Toninho, Luís Caires

Proceedings of the Proceedings 8th International Workshop on Security Issues in Concurrency, 2010