MobilityReadingGroup

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

Publications

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

2021

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida: Zooid: A DSL for Certified Multiparty Computation. PLDI 2021 : 237 - 251.

2020

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida: A Parametric Framework for Reversible Pi-Calculi. IC : 1 - 57.
Nobuko Yoshida, Lorenzo Gheri: A Very Gentle Introduction to Multiparty Session Types. ICDCIT 2020 : 73 - 93.
David Castro-Perez, Nobuko Yoshida: CAMP: Cost-Aware Multiparty Session Protocol. OOPSLA 2020 : 155:1 - 155:30.
David Castro-Perez, Nobuko Yoshida: Compiling First-Order Functions to Session-Typed Parallel Code. CC 2020 : 143 - 154.
David Castro-Perez, Francisco Ferreira, Nobuko Yoshida: EMTST: Engineering the Meta-theory of Session Types. TACAS 2020 : 285 - 278.
Eva Graversen, Iain Phillips, Nobuko Yoshida: Event Structures for the Reversible Early Internal Pi-Calculus. RC 2020 : 71 - 90.
Sung-Shik Jongmans, Nobuko Yoshida: Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. ESOP 2020 : 251 - 279.
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida: Featherweight Go. OOPSLA 2020 : 149:1 - 149:29.
Anson Miu, Francisco Ferreira, Fangyi Zhou, Nobuko Yoshida: Generating Interactive WebSocket Applications in TypeScript. PLACES@ETAPS 2020 : 12 - 22.
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida: Implementing Multiparty Session Types in Rust. COORDINATION 2020 : 127 - 136.
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida: Implementing Multiparty Session Types in Rust. PLACES@ETAPS 2020 : 1 - 8.
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey: Multiparty Motion Coordination: From Choreographies to Robotics Programs. OOPSLA 2020 : 134:1 - 134:30.
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen: Multiparty Session Programming with Global Protocol Combinators. ECOOP 2020 : 9:1 - 9:30.
Julia Gabet, Nobuko Yoshida: Static Race Detection and Mutex Safety and Liveness for Go Programs. ECOOP 2020 : 4:1 - 4:30.
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida: Statically Verified Refinements for Multiparty Protocols. OOPSLA 2020 : 148:1 - 148:30.

2019

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro: A Sound Algorithm for Asynchronous Session Subtyping. CONCUR 19 : 38:1 - 38:16.
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Asynchronous Timed Session Types. ESOP 2019 : 583 - 610.
Simon Castellan, Nobuko Yoshida: Causality in Linear Logic. FoSSaCS 2019 : 150 - 168.
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino: Developing secure Bitcoin contracts with BitML.. ESEC/FSE 2019 : 1124 - 1128.
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida: Distributed Programming Using Role Parametric Session Types in Go. POPL 2019 : 29:1 - 29:30.
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida: Dynamic deadlock verification for general barrier synchronisation. TOPLAS : 1 - 38.
Rumyana Neykova, Nobuko Yoshida: Featherweight Scribble. ROCCO65 : 236 - 259.
Alceste Scalas, Nobuko Yoshida: Less Is More: Multiparty Session Types Revisited. POPL 2019 : 30:1 - 30:29.
Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey: Motion Session Types for Robotic Interactions. ECOOP 2019 : 28:1 - 28:27.
Jonathan King, Nicholas Ng, Nobuko Yoshida: Multiparty Session Type-safe Web Development with Static Linearity. PLACES 2019 : 35 - 46.
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: On the Relative Expressiveness of Higher-Order Session Processes. IC : 1 - 54.
Bernardo Toninho, Nobuko Yoshida: Polymorphic Session Processes as Morphisms. FC : 101 - 117.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida: Precise subtyping for synchronous multiparty sessions. JLAMP : 127 - 173.
Simon Castellan, Hugo Paquet: Probabilistic Programming Inference via Intensional Semantics. ESOP 2019 : 322 - 349.
Assel Altayeva, Nobuko Yoshida: Service Equivalence via Multiparty Session Type Isomorphisms. PLACES 2019 : 1 - 11.
Keigo Imai, Nobuko Yoshida, Shoji Yuen: Session-Ocaml: a Session-based Library with Polarities and Lenses. scico : 1 - 50.
Eva Graversen, Iain Phillips, Nobuko Yoshida: Towards a Categorical Representation of Reversible Event Structures. JLAMP : 16 - 59.
Simon Castellan, Nobuko Yoshida: Two Sides of the Same Coin: Session Types and Game Semantics. POPL 2019 : 27:1 - 27:29.
Julien Lange, Nobuko Yoshida: Verifying Asynchronous Interactions via Communicating Session Automata. CAV 2019 : 117 - 97.
Alceste Scalas, Nobuko Yoshida, Elias Benussi: Verifying message-passing programs with dependent behavioural types. PLDI 2019 : 502 - 516.

2018

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida: A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS'18 : 87 - 103.
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal: A Session Type Provider: Compile-time API Generation for Distributed Protocols with Interaction Refinements in F#. CC 2018 : 128 - 138.
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida: A Static Verification Framework for Message Passing in Go using Behavioural Types. ICSE 2018 : 1137 - 1148.
Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek: A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. ESOP 2018 : 799 - 826.
Romain Demangeon, Nobuko Yoshida: Causal Computational Complexity of Distributed Processes. LICS 2018 : 344 - 353.
Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad: Correctness of a Concurrent Object Collector for Actor Languages. ESOP 2018 : 885 - 911.
Bernardo Toninho, Nobuko Yoshida: Depending On Session Typed Process. FoSSaCS 2018 : 128 - 145.
Eva Graversen, Iain Phillips, Nobuko Yoshida: Event Structure Semantics of (controlled) Reversible CCS. RC 2018 : 122 - 102.
Bernardo Toninho, Nobuko Yoshida: Interconnectability of Session Based Logical Processes. TOPLAS : 1 - 42.
Alceste Scalas, Nobuko Yoshida: Multiparty Session Types, Beyond Duality. JLAMP : 55 - 84.
Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel: Non Angelic Concurrent Game Semantics. FoSSaCS 2018 : 3 - 19.
Bernardo Toninho, Nobuko Yoshida: On Polymorphic Sessions And Functions: A Tale of Two (Fully Abstract) Encodings. ESOP 2018 : 827 - 855.
Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winksel: The Concurrent Game Semantics of Probabilistic PCF. LICS 2018 : 215 - 224.

2017

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida: Monitoring Networks through Multiparty Session Types. TCS : 33 - 58.