Bernardo Toninho

48 papers A* 2A 6B 6C 3Journal 24Unranked 7

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