| 2026 | ICST | In Perfect Harmony: Orchestrating Causality in Actor-Based Systems. | Vladyslav Mikytiv, Bernardo Toninho, Carla Ferreira |
| 2024 | ESOP | The Session Abstract Machine. | Lus Caires, Bernardo Toninho |
| 2023 | PPDP | Intuitionistic Metric Temporal Logic. | Luiz De S, Bernardo Toninho, Frank Pfenning |
| 2022 | ECOOP | Ferrite: A Judgmental Embedding of Session Types in Rust. | Ruofei Chen, Stephanie Balzer, Bernardo Toninho |
| 2022 | Onward | Derivations with Holes for Concept-Based Program Synthesis. | Joo Costa Seco, Jonathan Aldrich, Lus Carvalho, Bernardo Toninho, Carla Ferreira |
| 2021 | PPDP | A Decade of Dependent Session Types. | Bernardo Toninho, Lus Caires, Frank Pfenning |
| 2019 | CONCUR | Domain-Aware Session Types. | Lus Caires, Jorge A. Prez, Frank Pfenning, Bernardo Toninho |
| 2019 | ESOP | Manifest Deadlock-Freedom for Shared Session Types. | Stephanie Balzer, Bernardo Toninho, Frank Pfenning |
| 2018 | CONCUR | A Universal Session Type for Untyped Asynchronous Communication. | Stephanie Balzer, Frank Pfenning, Bernardo Toninho |
| 2018 | ESOP | On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings. | Bernardo Toninho, Nobuko Yoshida |
| 2018 | FOSSACS | Depending on Session-Typed Processes. | Bernardo Toninho, Nobuko Yoshida |
| 2018 | ICSE | A static verification framework for message passing in Go using behavioural types. | Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida |
| 2017 | POPL | Fencing off go: liveness and safety for channel-based programming. | Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida |
| 2013 | ESOP | Behavioral Polymorphism and Parametricity in Session-Based Communication. | Lus Caires, Jorge A. Prez, Frank Pfenning, Bernardo Toninho |
| 2013 | ESOP | Higher-Order Processes, Functions, and Sessions: A Monadic Integration. | Bernardo Toninho, Lus Caires, Frank Pfenning |
| 2012 | CSL | Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. | Henry DeYoung, Lus Caires, Frank Pfenning, Bernardo Toninho |
| 2012 | ESOP | Linear Logical Relations for Session-Based Concurrency. | Jorge A. Prez, Lus Caires, Frank Pfenning, Bernardo Toninho |
| 2012 | FOSSACS | Functions as Session-Typed Processes. | Bernardo Toninho, Lus Caires, Frank Pfenning |
| 2011 | CPP | Proof-Carrying Code in a Session-Typed Process Calculus. | Frank Pfenning, Lus Caires, Bernardo Toninho |
| 2011 | PPDP | Dependent session types via intuitionistic linear type theory. | Bernardo Toninho, Lus Caires, Frank Pfenning |