MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Publications

By year:2027 2026 2025 2024 2023 2022 2021 2020 2019 2018 2018 2017 2016 2015 2015 2014 2013 2012 2012 2011 2010 2009 2008

2027

Jake Masters, Nobuko Yoshida: Mixed Choice Multiparty Session Types, Precisely. ESOP 2027 .

2026

Omer Keskin, Nobuko Yoshida, Rob van Glabbeek: Formally Verified Liveness with Multiparty Session Types in Rocq. ITP 2026 : 4:1 - 4:21.
Kai Pischke, Jake Masters, Nobuko Yoshida: Asynchronous Global Protocols, Precisely. Information and Computation .
Vincent Cheval, Charlie Jacomme, Jessica Richards: Automated formal analysis of Signal's Double Ratchet: attacks, fixes and security proofs. SP 2026 .
Dylan McDermott, Nobuko Yoshida: Denotational reasoning for asynchronous multiparty session types. ESOP 2026 .
Burak Ekici, Nobuko Yoshida: Formalising Asynchronous Session Subtyping. ACM-TOCL : 1 - 45.
Ping Hou, Nobuko Yoshida, Iona Kuhn: Less is More Revisited: Association with Global Protocols and Multiparty Sessions. TCS .
Yang Li, Ping Hou, Nobuko Yoshida: Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models. ASE 2026 .
Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Nobuko Yoshida, Linhai Song: SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models.. OOPSLA1 2026 : 109:1 - 109:31.
Kai Pischke, Nobuko Yoshida: Top-down = Bottom-up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols. OOPSLA 2026 .

2025

Kai Pischke, Nobuko Yoshida: Asynchronous Global Protocols, Precisely. Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday : 116 - 133.
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida: Checkpoint-based Rollback Recovery in Session-based Programming. LMCS .
Adam Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou: Crash-Stop Failures in Asynchronous Multiparty Session Types. LMCS .
Adam Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida: Encoding Choice and Replication in roll-π. RC 2025 : 27 - 36.
Burak Ekici, Tadayoshi Kamegai, Nobuko Yoshida: Formalising Subject Reduction and Progress for Multiparty Session Processes. ITP 2025 : 19:1 - 19:23.
Dylan McDermott: Grading call-by-push-value, explicitly and implicitly. FSCD 2025 .
Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Yiying Zhang, Linhai Song: How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs. IEEE Transactions on Software Engineering .
Marco Giunti, Nobuko Yoshida: Iso-Recursive Multiparty Sessions and their Automated Verification. ESOP 2025 .
Ivan Prokić, Simona Prokić, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida: On Asynchronous Multiparty Session Types for Federated Learning. ICTAC 2025 : 164 - 182.
Thien Udomsrirungruang, Nobuko Yoshida: Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types. POPL 2025 .
Max Fan, Chase Ford, Jonas Forster, Jón Hákon Garðarsson, Justin Hsu, Jessica Richards: Towards an Axiomatisation of the Neighborhood Monad. BMQL 2025 .
Marco Giunti, Nobuko Yoshida: Type Congruence, Duality and Iso-Recursive Binary Session Types. Essay Dedicated to Prof. Gul Agha's Scientific Career 2025 .
Amrita Suresh, Nobuko Yoshida: Unreliability in Practical Subclasses of Communicating Systems. FSTTCS 2025 .

2024

Benedikt Bollig, Alain Finkel, Amrita Suresh: Branch-Well-Structured Transition Systems and Extensions. LMCS : 12:1 - 12:28.
Burak Ekici, Nobuko Yoshida: Completeness of Asynchronous Session Tree Subtyping in Coq. ITP 2024 : 13:1 - 13:20.
Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida: Fearless Asynchronous Communications with Timed Multiparty Session Protocols. ECOOP 2024 .
Nobuko Yoshida, Ping Hou: Less is More Revisited: Association with Global Multiparty Session Types. PFM .
Kirstin Peters, Nobuko Yoshida: Mixed choice in session types. IC : 105164.
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida: On the Preciseness of Subtyping in Session Types: 10 Years Later. PPDP 2024 .
Nobuko Yoshida: Programming Language Implementations with Multiparty Session Types. AOL : 147 - 165.
Ari Hernawan, Nobuko Yoshida: Protocol Conformance of Collaborative SPARQL using Multiparty Session Types. TASE2024 .
Martin Vassor, Nobuko Yoshida: Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation. ECOOP 2024 .
Kirstin Peters, Nobuko Yoshida: Separation and Encodability in Mixed Choice Multiparty Sessions. LICS 2024 .
Thien Udomsrirungruang, Nobuko Yoshida: Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. PLACES 2024 : 49 - 60.

2023

Romain Demangeon, Nobuko Yoshida: Causal Computational Complexity of Distributed Processes. IC 2023 : 104998.
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou: Designing Asynchronous Multiparty Protocols With Crash Stop Failures. ECOOP : 1:1 - 1:30.
David Castro-Perez, Nobuko Yoshida: Dynamic Updatable Multiparty Session Types. ECOOP : 6:1 - 6:30.
Lorenzo Gheri, Nobuko Yoshida: Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection. OOPSLA 2023 : 112 - 142.
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida: Multicompatibility for Multiparty-Session Composition. PPDP 2023 : 1 - 15.
Silvia Ghilezan, Jovanka Pantović, Ivan Prokić, Alceste Scalas, Nobuko Yoshida: Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Logic .
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida: Rollback Recovery in Session Based Programming. COORDINATION : 195 - 213.

2022

Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida: A Type Discipline for Message Passing Parallel Programs. ACM Trans. Program. Lang. Syst. : 1 - 55.
Adam Barwell, Francisco Ferreira, Nobuko Yoshida: CONCUR Test-of-Time Award for the Period 1994–97 Interview with Uwe Nestmann and Benjamin C. Pierce. JLAMP : 100744.
Zak Cutner, Nobuko Yoshida, Martin Vassor: Deadlock-Free Asynchronous Message Reordering in Rust with Multiparty Session Types. PPoPP '22 : 261 - 246.
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida: Design-by-Contract for Flexible Multiparty Session Protocols. ECOOP 2022 : 8:1 - 8:28.
Eva Graversen, Iain Phillips, Nobuko Yoshida: Event structures for the reversible early internal π-calculus. JLAMP .
Adam Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou: Generalised Multiparty Session Types with Crash-Stop Failures. CONCUR 22 : 35:1 - 35:25.
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song: Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid. OOPSLA 2022 : 168:1 - 168:29.
Kirstin Peters, Nobuko Yoshida: On the Expressiveness of Mixed Choice Sessions. EXPRESS/SOS 2022 : 113 - 130.
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida: Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types. ECOOP 2022 : 4:1 - 4:29.