Bernardo Toninho

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 29

Top Topics

Synchronous Communication

Metric Temporal Logic

Lambda Calculus

Message Passing

Top Venues

J. Log. Algebraic Methods Program.

Proc. ACM Program. Lang.

Publications

Luís Caires, Bernardo Toninho
The Session Abstract Machine (Extended Version). CoRR (2024)
Luís Caires, Bernardo Toninho
The Session Abstract Machine. ESOP (1) (2024)
Luiz De Sá, Bernardo Toninho, Frank Pfenning
Intuitionistic Metric Temporal Logic. PPDP (2023)
Ruofei Chen, Stephanie Balzer, Bernardo Toninho
Ferrite: A Judgmental Embedding of Session Types in Rust. ECOOP (2022)
João Costa Seco, Jonathan Aldrich, Luis Carvalho, Bernardo Toninho, Carla Ferreira
Derivations with Holes for Concept-Based Program Synthesis. Onward! (2022)
Ruofei Chen, Stephanie Balzer, Bernardo Toninho
Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Bernardo Toninho, Nobuko Yoshida
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. ACM Trans. Program. Lang. Syst. 43 (2) (2021)
Bernardo Toninho, Luís Caires, Frank Pfenning
A Decade of Dependent Session Types. PPDP (2021)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight Go. CoRR (2020)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight go. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Stephanie Balzer, Bernardo Toninho, Frank Pfenning
Manifest Deadlock-Freedom for Shared Session Types. ESOP (2019)
Luís Caires, Bernardo Toninho
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version). CoRR (2019)
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
Domain-Aware Session Types (Extended Version). CoRR (2019)
Luís Caires, Bernardo Toninho
Refinement kinds: type-safe programming with practical type-level computation. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
Domain-Aware Session Types. CONCUR (2019)
Bernardo Toninho, Nobuko Yoshida
Polymorphic Session Processes as Morphisms. The Art of Modelling Computational Systems (2019)
Bernardo Toninho, Nobuko Yoshida
On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings. ESOP (2018)
Bernardo Toninho, Nobuko Yoshida
Interconnectability of Session-Based Logical Processes. ACM Trans. Program. Lang. Syst. 40 (4) (2018)
Stephanie Balzer, Frank Pfenning, Bernardo Toninho
A Universal Session Type for Untyped Asynchronous Communication. CONCUR (2018)
Bernardo Toninho, Nobuko Yoshida
Depending on Session-Typed Processes. FoSSaCS (2018)
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
A static verification framework for message passing in Go using behavioural types. ICSE (2018)
Bernardo Toninho, Nobuko Yoshida
Depending on Session-Typed Processes. CoRR (2018)
Bernardo Toninho, Nobuko Yoshida
Certifying data in multiparty session types. J. Log. Algebraic Methods Program. 90 (2017)
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
Fencing off go: liveness and safety for channel-based programming. POPL (2017)
Bernardo Toninho
Report on POPL 2017. ACM SIGLOG News 4 (2) (2017)
Bernardo Toninho, Nobuko Yoshida
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. CoRR (2017)
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version). CoRR (2016)
Luís Caires, Frank Pfenning, Bernardo Toninho
Linear logic propositions as session types. Math. Struct. Comput. Sci. 26 (3) (2016)
Bernardo Toninho, Nobuko Yoshida
Certifying Data in Multiparty Session Types. A List of Successes That Can Change the World (2016)
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
Combining behavioural types with security analysis. CoRR (2015)
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
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84 (6) (2015)
Bernardo Toninho, Luís Caires, Frank Pfenning
Corecursion and Non-divergence in Session-Typed Processes. TGC (2014)
Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
Linear logical relations and observational equivalences for session-based concurrency. Inf. Comput. 239 (2014)
Bernardo Toninho, Luís Caires, Frank Pfenning
Higher-Order Processes, Functions, and Sessions: A Monadic Integration. ESOP (2013)
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
Behavioral Polymorphism and Parametricity in Session-Based Communication. ESOP (2013)
Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. CSL (2012)
Bernardo Toninho, Luís Caires, Frank Pfenning
Functions as Session-Typed Processes. FoSSaCS (2012)
Luís Caires, Frank Pfenning, Bernardo Toninho
Towards concurrent type theory. TLDI (2012)
Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
Linear Logical Relations for Session-Based Concurrency. ESOP (2012)
Robert J. Simmons, Bernardo Toninho
Constructive Provability Logic CoRR (2012)
Bernardo Toninho, Luís Caires, Frank Pfenning
Dependent session types via intuitionistic linear type theory. PPDP (2011)
Frank Pfenning, Luís Caires, Bernardo Toninho
Proof-Carrying Code in a Session-Typed Process Calculus. CPP (2011)
Bernardo Toninho, Luís Caires
A Spatial-Epistemic Logic for Reasoning about Security Protocols SecCo (2010)