| 2026 | ESOP | Denotational reasoning for asynchronous multiparty session types. | Dylan McDermott, Nobuko Yoshida |
| 2026 | ITP | Formally Verified Liveness with Multiparty Session Types in Rocq. | Omer Keskin, Nobuko Yoshida, Rob van Glabbeek |
| 2025 | ESOP | Iso-Recursive Multiparty Sessions and their Automated Verification. | Marco Giunti, Nobuko Yoshida |
| 2025 | ICTAC | On Asynchronous Multiparty Session Types for Federated Learning. | Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida |
| 2025 | ITP | Formalising Subject Reduction and Progress for Multiparty Session Processes. | Burak Ekici, Tadayoshi Kamegai, Nobuko Yoshida |
| 2025 | RC | Encoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $. | Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida |
| 2025 | RC | RevMiGo: Reversible Channel-Based Communication in Go Language. | Shunya Oguchi, Shoji Yuen, Nobuko Yoshida |
| 2024 | Coordination | 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 |
| 2024 | ECOOP | Fearless Asynchronous Communications with Timed Multiparty Session Protocols. | Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida |
| 2024 | ECOOP | Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation. | Martin Vassor, Nobuko Yoshida |
| 2024 | ITP | Completeness of Asynchronous Session Tree Subtyping in Coq. | Burak Ekici, Nobuko Yoshida |
| 2024 | LICS | Separation and Encodability in Mixed Choice Multiparty Sessions. | Kirstin Peters, Nobuko Yoshida |
| 2024 | PPDP | On the Preciseness of Subtyping in Session Types: 10 Years Later. | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2024 | TASE | Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types. | Ari Hernawan, Nobuko Yoshida |
| 2023 | Coordination | Rollback Recovery in Session-Based Programming. | Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida |
| 2023 | ECOOP | Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. | Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou |
| 2023 | ECOOP | Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. | David Castro-Perez, Nobuko Yoshida |
| 2023 | PPDP | Multicompatibility for Multiparty-Session Composition. | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida |
| 2022 | CONCUR | Generalised Multiparty Session Types with Crash-Stop Failures. | Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou |
| 2022 | ECOOP | Design-By-Contract for Flexible Multiparty Session Protocols. | Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida |
| 2022 | ECOOP | Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. | Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
| 2022 | PPoPP | Deadlock-free asynchronous message reordering in rust with multiparty session types. | Zak Cutner, Nobuko Yoshida, Martin Vassor |
| 2021 | CC | Communication-safe web programming in TypeScript with routed multiparty session types. | Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou |
| 2021 | CONCUR | CONCUR Test-Of-Time Award 2021 (Invited Paper). | Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida |
| 2021 | Coordination | Safe Session-Based Asynchronous Coordination in Rust. | Zak Cutner, Nobuko Yoshida |
| 2021 | FCT | Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. | Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira |
| 2021 | PLDI | Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. | David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida |
| 2020 | CC | Compiling first-order functions to session-typed parallel code. | David Castro-Perez, Nobuko Yoshida |
| 2020 | Coordination | Implementing Multiparty Session Types in Rust. | Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
| 2020 | ECOOP | Static Race Detection and Mutex Safety and Liveness for Go Programs. | Julia Gabet, Nobuko Yoshida |
| 2020 | ECOOP | Multiparty Session Programming With Global Protocol Combinators. | Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen |
| 2020 | ESOP | Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. | Sung-Shik Jongmans, Nobuko Yoshida |
| 2020 | ICDCIT | A Very Gentle Introduction to Multiparty Session Types. | Nobuko Yoshida, Lorenzo Gheri |
| 2020 | RC | Event Structures for the Reversible Early Internal π-Calculus. | Eva Graversen, Iain Phillips, Nobuko Yoshida |
| 2020 | RC | Towards a Formal Account for Software Transactional Memory. | Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida |
| 2020 | TACAS | EMTST: Engineering the Meta-theory of Session Types. | David Castro-Perez, Francisco Ferreira, Nobuko Yoshida |
| 2019 | CAV | Verifying Asynchronous Interactions via Communicating Session Automata. | Julien Lange, Nobuko Yoshida |
| 2019 | CONCUR | A Sound Algorithm for Asynchronous Session Subtyping. | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
| 2019 | ECOOP | Motion Session Types for Robotic Interactions (Brave New Idea Paper). | Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey |
| 2019 | ESOP | Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. | Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2019 | FOSSACS | Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). | Simon Castellan, Nobuko Yoshida |
| 2019 | PLDI | Verifying message-passing programs with dependent behavioural types. | Alceste Scalas, Nobuko Yoshida, Elias Benussi |
| 2018 | CC | A session type provider: compile-time API generation of distributed protocols with refinements in F#. | Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal |
| 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 |
| 2018 | LICS | Causal Computational Complexity of Distributed Processes. | Romain Demangeon, Nobuko Yoshida |
| 2018 | RC | Event Structure Semantics of (controlled) Reversible CCS. | Eva Graversen, Iain Phillips, Nobuko Yoshida |
| 2017 | CC | Let it recover: multiparty protocol-induced recovery. | Rumyana Neykova, Nobuko Yoshida |
| 2017 | Coordination | Session-ocaml: A Session-Based Library with Polarities and Lenses. | Keigo Imai, Nobuko Yoshida, Shoji Yuen |
| 2017 | ECOOP | A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. | Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida |
| 2017 | FASE | Explicit Connection Actions in Multiparty Session Types. | Raymond Hu, Nobuko Yoshida |
| 2017 | FOSSACS | On the Undecidability of Asynchronous Session Subtyping. | Julien Lange, Nobuko Yoshida |
| 2017 | POPL | Fencing off go: liveness and safety for channel-based programming. | Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida |
| 2016 | CC | Static deadlock detection for concurrent go by global session graph synthesis. | Nicholas Ng, Nobuko Yoshida |
| 2016 | ECOOP | Lightweight Session Programming in Scala. | Alceste Scalas, Nobuko Yoshida |
| 2016 | ESOP | On the Relative Expressiveness of Higher-Order Session Processes. | Dimitrios Kouzapas, Jorge A. Prez, Nobuko Yoshida |
| 2016 | FASE | Hybrid Session Verification Through Endpoint API Generation. | Raymond Hu, Nobuko Yoshida |
| 2016 | FPL | EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits. | Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk |
| 2016 | POPL | Effects as sessions, sessions as effects. | Dominic A. Orchard, Nobuko Yoshida |
| 2016 | RC | Reversing Single Sessions. | Francesco Tiezzi, Nobuko Yoshida |
| 2016 | TACAS | Characteristic Formulae for Session Types. | Julien Lange, Nobuko Yoshida |
| 2015 | CC | Protocols by Default - Safe MPI Code Generation Based on Session Types. | Nicholas Ng, Jos Gabriel de Figueiredo Coutinho, Nobuko Yoshida |
| 2015 | CONCUR | Meeting Deadlines Together. | Laura Bocchi, Julien Lange, Nobuko Yoshida |
| 2015 | CONCUR | Multiparty Session Types as Coherence Proofs. | Marco Carbone, Fabrizio Montesi, Carsten Schrmann, Nobuko Yoshida |
| 2015 | CONCUR | Characteristic Bisimulation for Higher-Order Session Processes. | Dimitrios Kouzapas, Jorge A. Prez, Nobuko Yoshida |
| 2015 | OOPSLA | Protocol-based verification of message-passing parallel programs. | Hugo A. Lpez, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Csar Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2015 | POPL | From Communicating Machines to Graphical Choreographies. | Julien Lange, Emilio Tuosto, Nobuko Yoshida |
| 2015 | PPoPP | Dynamic deadlock verification for general barrier synchronisation. | Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida |
| 2014 | CONCUR | Timed Multiparty Session Types. | Laura Bocchi, Weizhen Yang, Nobuko Yoshida |
| 2014 | Coordination | Multiparty Session Actors. | Rumyana Neykova, Nobuko Yoshida |
| 2014 | FORTE | Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. | Sren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
| 2014 | PDP | Pabble: Parameterised Scribble for Parallel Programming. | Nicholas Ng, Nobuko Yoshida |
| 2014 | PPDP | On the Preciseness of Subtyping in Session Types. | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2013 | CONCUR | Globally Governed Session Semantics. | Dimitrios Kouzapas, Nobuko Yoshida |
| 2013 | CONCUR | Compositional Choreographies. | Fabrizio Montesi, Nobuko Yoshida |
| 2013 | Coordination | Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. | Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida |
| 2013 | FORTE | Monitoring Networks through Multiparty Session Types. | Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida |
| 2013 | ICALP | Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2013 | RV | Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. | Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda |
| 2013 | RV | SPY: Local Verification of Global Protocols. | Rumyana Neykova, Nobuko Yoshida, Raymond Hu |
| 2013 | SEFM | Scalable Session Programming for Heterogeneous High-Performance Systems. | Nicholas Ng, Nobuko Yoshida, Wayne Luk |
| 2012 | CONCUR | Intensional and Extensional Characterisation of Global Progress in the π-Calculus. | Luca Fossati, Kohei Honda, Nobuko Yoshida |
| 2012 | ESOP | Multiparty Session Types Meet Communicating Automata. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2012 | FOSSACS | Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. | Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
| 2011 | Coordination | Safe Parallel Programming with Session Java. | Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis |
| 2011 | FORTE | On Asynchronous Session Semantics. | Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda |
| 2011 | ICDCIT | Scribbling Interactions with a Formal Foundation. | Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida |
| 2011 | POPL | Dynamic multirole session types. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2010 | CONCUR | A Theory of Design-by-Contract for Distributed Multiparty Interactions. | Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida |
| 2010 | CONCUR | Buffered Communication Analysis in Distributed Multiparty Sessions. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2010 | ECOOP | Type-Safe Eventful Sessions in Java. | Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda |
| 2010 | FOSSACS | Parameterised Multiparty Session Types. | Nobuko Yoshida, Pierre-Malo Denilou, Andi Bejleri, Raymond Hu |
| 2009 | ESOP | Global Principal Typing in Partially Commutative Asynchronous Sessions. | Dimitris Mostrous, Nobuko Yoshida, Kohei Honda |
| 2009 | ICALP | On Observing Dynamic Prioritised Actions in SOC. | Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida |
| 2008 | CONCUR | Global Progress in Dynamically Interleaved Multiparty Sessions. | Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2008 | CONCUR | Structured Interactional Exceptions in Session Types. | Marco Carbone, Kohei Honda, Nobuko Yoshida |
| 2008 | ECOOP | Session-Based Distributed Programming in Java. | Raymond Hu, Nobuko Yoshida, Kohei Honda |
| 2008 | ICALP | Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2008 | POPL | Multiparty asynchronous session types. | Kohei Honda, Nobuko Yoshida, Marco Carbone |
| 2007 | APLAS | Timed, Distributed, Probabilistic, Typed Processes. | Martin Berger, Nobuko Yoshida |
| 2007 | CONCUR | Compositional Event Structure Semantics for the Internal | Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
| 2007 | ESOP | Structured Communication-Centred Programming for Web Services. | Marco Carbone, Kohei Honda, Nobuko Yoshida |
| 2007 | FOSSACS | Logical Reasoning for Higher-Order Functions with Local State. | Nobuko Yoshida, Kohei Honda, Martin Berger |
| 2006 | ECOOP | Session Types for Object-Oriented Languages. | Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou |
| 2006 | ICALP | Descriptive and Relative Completeness of Logics for Higher-Order Functions. | Kohei Honda, Martin Berger, Nobuko Yoshida |
| 2005 | ICFP | A logical analysis of aliasing in imperative higher-order functions. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2005 | LICS | An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. | Kohei Honda, Nobuko Yoshida, Martin Berger |
| 2005 | OOPSLA | Formalising Java RMI with explicit code mobility. | Alexander Joseph Ahern, Nobuko Yoshida |
| 2004 | ESOP | A Distributed Abstract Machine for Boxed Ambient Calculi. | Andrew Phillips, Nobuko Yoshida, Susan Eisenbach |
| 2004 | FOSSACS | safeDpi: A Language for Controlling Mobile Code. | Matthew Hennessy, Julian Rathke, Nobuko Yoshida |
| 2004 | POPL | Channel dependent types for higher-order mobile processes. | Nobuko Yoshida |
| 2004 | PPDP | A compositional logic for polymorphic higher-order functions. | Kohei Honda, Nobuko Yoshida |
| 2003 | FOSSACS | Genericity and the pi-Calculus. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2002 | FOSSACS | Linearity and Bisimulation. | Nobuko Yoshida, Kohei Honda, Martin Berger |
| 2002 | POPL | A uniform type structure for secure information flow. | Kohei Honda, Nobuko Yoshida |
| 2001 | LICS | Strong Normalisation in the pi-Calculus. | Nobuko Yoshida, Martin Berger, Kohei Honda |
| 2000 | ESOP | Secure Information Flow as Typed Process Behaviour. | Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2000 | LICS | Assigning Types to Processes. | Nobuko Yoshida, Matthew Hennessy |
| 1999 | CONCUR | Suptyping and Locality in Distributed Higher Order Processes (extended abstract). | Nobuko Yoshida, Matthew Hennessy |
| 1998 | CONCUR | Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract). | Nobuko Yoshida |
| 1997 | ICALP | Game Theoretic Analysis of Call-by-Value Computation. | Kohei Honda, Nobuko Yoshida |
| 1994 | POPL | Combinatory Representation of Mobile Processes. | Kohei Honda, Nobuko Yoshida |