Prof Nobuko Yoshida
Christopher Strachey Chair of Computing
PublicationsNobuko Yoshida is Christopher Strachey Chair of Computer Science in University of Oxford. She is an EPSRC Established Career Fellow and an Honorary Fellow at Glasgow University. Last 15 years, her main research interests are theories and applications of protocols specifications and verifications. She introduced multiparty session types [ POPL'08, JACM ] which received Most Influential POPL Paper Award in 2018 (judged by its influence over the last decade). This work enlarged the community and widened the scope of applications of session types, e.g. runtime monitoring based on Scribble (co-developed with Red Hat) has been deployed to other projects such as cyberinfrastructure in the US Ocean Observatories Initiative (OOI); and widened the scope of her research areas. She received the third Suffrage Science Awards for Mathematics and Computing from MRC for her STEM activity. Her current grants include: EPSRC Morella-HAT, AppControl, Border Control (Hardware), POST (Fellowship), Stardust (Distributed systems) and Turtles (Multi agent systems). She is an editor of ACM Transactions on Programming Languages and Systems, ACM Formal Aspects of Computing, Mathematical Structures in Computer Science, Journal of Logical Algebraic Methods in Programming, and the chief editor of The Computer-aided Verification and Concurrency Column for EATCS Bulletin. Her current industry partners include: Actyx, Barclays, Cognizant, Google, Red Hat, Weaveworks and EDF Energy.
- Tel: +44 (0)1865 283522
Publications
2025
-
: Encoding Choice and Replication in roll-π. RC 2025 .
-
: How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs. IEEE Transactions on Software Engineering .
-
: Type Congruence, Duality and Iso-Recursive Binary Session Types. Essay Dedicated to Prof. Gul Agha's Scientific Career 2025 .
2023
-
: Dynamic Updatable Multiparty Session Types. ECOOP .
-
: Multicompatibility for Multiparty-Session Composition. PPDP 2023 .
-
: Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Logic .
-
: Rollback Recovery in Session Based Programming. COORDINATION .
2022
-
: A Type Discipline for Message Passing Parallel Programs. ACM Trans. Program. Lang. Syst. .
-
: Design-by-Contract for Flexible Multiparty Session Protocols. ECOOP 2022 .
-
: Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid. OOPSLA 2022 .
-
: On the Expressiveness of Mixed Choice Sessions. EXPRESS/SOS 2022 .
2021
-
: Precise Subtyping for Asynchronous Multiparty Sessions. POPL 2021 .
-
: Safe Session-Based Asynchronous Coordination in Rust. COORDINATION 2021 .
-
: Zooid: A DSL for Certified Multiparty Computation. PLDI 2021 .
2020
-
: A Very Gentle Introduction to Multiparty Session Types. ICDCIT 2020 .
-
: CAMP: Cost-Aware Multiparty Session Protocol. OOPSLA 2020 .
-
: EMTST: Engineering the Meta-theory of Session Types. TACAS 2020 .
-
: Featherweight Go. OOPSLA 2020 .
-
: Generating Interactive WebSocket Applications in TypeScript. PLACES@ETAPS 2020 .
-
: Implementing Multiparty Session Types in Rust. COORDINATION 2020 .
-
: Implementing Multiparty Session Types in Rust. PLACES@ETAPS 2020 .
-
: Multiparty Session Programming with Global Protocol Combinators. ECOOP 2020 .
-
: Statically Verified Refinements for Multiparty Protocols. OOPSLA 2020 .
2019
-
: A Sound Algorithm for Asynchronous Session Subtyping. CONCUR 19 .
-
: Asynchronous Timed Session Types. ESOP 2019 .
-
: Causality in Linear Logic. FoSSaCS 2019 .
-
: Developing secure Bitcoin contracts with BitML.. ESEC/FSE 2019 .
-
: Featherweight Scribble. ROCCO65 .
-
: Less Is More: Multiparty Session Types Revisited. POPL 2019 .
-
: Motion Session Types for Robotic Interactions. ECOOP 2019 .
-
: Multiparty Session Type-safe Web Development with Static Linearity. PLACES 2019 .
-
: Service Equivalence via Multiparty Session Type Isomorphisms. PLACES 2019 .
-
: Two Sides of the Same Coin: Session Types and Game Semantics. POPL 2019 .
2018
-
: A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS'18 .
-
: Causal Computational Complexity of Distributed Processes. LICS 2018 .
-
: Depending On Session Typed Process. FoSSaCS 2018 .
-
: Multiparty Session Types, Beyond Duality. JLAMP .
2017
-
: A Tool for Choreography-Based Analysis of Message-Passing Software. Behavioural Types: from Theory to Tools .
-
: Certifying data in multiparty session types. JLAMP .
-
: Deductive Verification of MPI Protocols. Behavioural Types: from Theory to Tools .
-
: Explicit Connection Actions in Multiparty Session Types. FASE 2017 .
-
: How to Verify Your Python Conversations. Behavioural Types: from Theory to Tools .
-
: Let It Recover: Multiparty Protocol-Induced Recovery. CC 2017 .
-
: Multiparty Session Actors. LMCS .
-
: Multiparty session types as coherence proofs. Acta Inf. .
-
: Multiparty Session Types, Beyond Duality. PLACES 2017 .
-
: On the Undecidability of Asynchronous Session Subtyping. FoSSaCS 2017 .
-
: Protocol-Driven MPI Program Generation. Behavioural Types: from Theory to Tools .
-
: Session Types with Linearity in Haskell. Behavioural Types: from Theory to Tools .
-
: Session-ocaml: a session-based library with polarities and lenses . COORDINATION 2017 .
-
: Towards a Categorical Representation of Reversible Event Structures. PLACES 2017 .
2016
-
: Multiparty Asynchronous Session Types. JACM .
-
: Characteristic Formulae for Session Types. TACAS 2016 .
-
: Hybrid Session Verification through Endpoint API Generation. FASE 2016 .
-
: Certifying Data in Multiparty Session Types. WadlerFest .
-
: Effects as sessions, sessions as effects. POPL 2016 .
-
: Denotational and Operational Preciseness of Subtyping: A Roadmap. Theory and Practice of Formal Methods .
-
: Lightweight Session Programming in Scala. ECOOP 2016 .
-
: Reversing Single Session. RC 2016 .
2015
-
: Characteristic Bisimulations for Higher-Order Session Processes. CONCUR 2015 .
-
: From communicating machines to graphical choreographies. POPL 2015 .
-
: Globally Governed Session Semantics. LMCS .
-
: Meeting Deadlines Together. CONCUR 2015 .
-
: Multiparty Session Types as Coherence Proofs. CONCUR 2015 .
-
: On the Expressiveness of Multiparty Session Types. FSTTCS 2015 .
-
: Pabble: parameterised Scribble. SOCA .
-
: Reversible Session-Based Pi-Calculus. JLAMP .
-
: Session Typing and Asynchronous Subtyping for the Higher-Order π-Calculus. Inform. Comput. .
-
: Using session types as an effect system. PLACES'15 .
2014
-
: Global Escape in Multiparty Sessions. MSCS .
-
: Multiparty Session Actors. COORDINATION 2014 .
-
: Multiparty Session Nets. TGC 2014 .
-
: On the Preciseness of Subtyping in Session Types. PPDP 2014 .
-
: Pabble: Parameterised Scribble for Parallel Programming. PDP 2014 .
-
: Structuring Communication with Session Types. COB 2014 .
-
: Timed Multiparty Session Types. CONCUR 2014 .
-
: Timed Runtime Monitoring for Multiparty Conversations. BEAT 2014 .
2013
-
: Compositional Choreographies. CONCUR 2013 .
-
: Globally Governed Session Semantics. CONCUR 2013 .
-
: Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION 2013 .
-
: Monitoring Networks through Multiparty Session Types. FMOODS/FORTE 2013 .
-
: Scalable Session Programming for Heterogeneous High-Performance Systems. SEFM Workshops 2013 .
-
: SPY: Local Verification of Global Protocols. RV 2013 .
-
: The Scribble Protocol Language. TGC 2013 .
2012
-
: A Multiparty Multi-Session Logic. TGC 2012 .
-
: Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS 2012 .
-
: Multiparty Session Types Meet Communicating Automata. ESOP 2012 .
-
: Parameterised Multiparty Session Types. LMCS .
-
: Session Types: Towards safe and fast reconfigurable programming. SIGARCH CAN .
-
: Verification of MPI Programs Using Session Types. EuroMPI'12 .
2011
-
: Dynamic multirole session types. POPL 2011 .
-
: On Asynchronous Session Semantics. FMOODS/FORTE 2011 .
-
: Safe Parallel Programming with Session Java. COORDINATION 2011 .
-
: Scribbling Interactions with a Formal Foundation. ICDCIT 2011 .
2010
-
: Buffered Communication Analysis in Distributed Multiparty Sessions. CONCUR 2010 .
-
: Global Escape in Multiparty Sessions. FTTCS 2010 .
-
: Multiparty Symmetric Sum Types. EXPRESS'10 .
-
: Secure Execution of Distributed Session Programs. PLACES 2010 .
-
: Type-Safe Eventful Sessions in Java. ECOOP 2010 .
2009
-
: Objects and session types. IC 2009 .
-
: On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009 .
-
: Synchronous Multiparty Session Types. ENTCS .
2008
-
: A Unified Theory of Program Logics: An Approach based on the π-Calculus. BCS Int. Acad. Conf. 2008 .
-
: Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR 2008 .
-
: Multiparty Asynchronous Session Types. POPL '08 .
-
: Session-Based Distributed Programming in Java. ECOOP 2008 .
-
: Structured Interactional Exceptions in Session Types. CONCUR 2008 .
Teaching
Distributed Processes, Types, and Programming
Distributed Processes, Types, and Programming
Course webpageEditorial Works
-
ACM Transactions in Programming Languages and Systems (TOPLAS) Editor
1st Dec 2016 -
-
Mathematical Structures in Computer Science Editor
1st Jan 2016 -
- EATCS Bulletin Chief Editor of the Computer-aided Verification and Concurrency Column
- Journal of Logical and Algebraic Methods in Programming Editor
-
Acta Informatica Member of editorial board
2015 -
Professional Activities
-
PLACES Organising Committee
Programming Language Approaches to Concurrency and Communication-cEntric Software
-
ETAPS Doctoral Dissertation Award Award Committee (representing ESOP)
European joint conferences on theory and practice of software
-
EPSRC Member
Peer Review College
-
COST Action IC1201 Vice Chair of WG3 and MC member
Behavioural Types for Reliable Large-Scale Software Systems (BETTY)
-
COST Action IC1402 MC member
Runtime Verification beyond Monitoring (ARVI)
-
COST Action IC1405 MC Substitute member
Reversible computation - extending horizons of computing
-
IFIP 2015 WG 1.8 Member
Concurrency Theory
PC Members and Chairs
-
LICS 2024 PC Member
39th Annual ACM/IEEE Symposium on Logic in Computer Science
-
ICFP 2024 PC Member
29th ACM SIGPLAN International Conference on Functional Programming
-
PLDI 2024 Review Committee
Conference on Programming Language Design and Implementation
-
PLDI 2022 Program Committee
Conference on Programming Language Design and Implementation
-
CONCUR 2022 Program Committee
33rd International Conference on Concurrency Theory
-
CONCUR 2021 Program Committee
32nd International Conference on Concurrency Theory
-
ESOP 2021 Steering Committee
30th European Symposium on Programming
-
CAV 2021 Program Committee
33nd International Conference on Computer-Aided Verification
-
POPL 2021 Program Committee
48th ACM SIGPLAN Symposium on Principles of Programming Languages
-
CONCUR 2020 Program Committee
31st International Conference on Concurrency Theory
-
PEPM 2020 Programme Committee Member
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
-
PLMW 2020 Organizing Committee
Programming Languages Mentoring Workshop 2020
-
DisCoTec 2019 Scientific Committee
14th International Federated Conference on Distributed Computing Techniques
-
PLMW 2019 Organizing Committee
Programming Languages Mentoring Workshop 2019
-
FORTE 2019 Programme Chair
International Conference on Formal Techniques for Distributed Objects, Components, and Systems
-
OOPSLA 2019 Programme Committee Member
ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages, and Applications
-
APLAS 2018 Programme Committee Member
16th Asian Symposium on Programming Languages and Systems
-
PEPM 2018 Programme Committee Member
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
-
ECOOP 2017 Programme Committee Member
31st European Conference on Object-Oriented Programming
-
FSTTCS 2017 Programme Committee Member
37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
-
POPL 2017 Programme Committee Member
The 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
-
ESOP 2017 Programme Committee Member
26th European Symposium on Programming
-
ICFP 2016 Programme Committee Member
The 21st ACM SIGPLAN International Conference on Functional Programming
-
FSCD 2016 Programme Committee Member
1st International Conference on Formal Structures for Computation and Deduction
-
PLACES 2016 Programme Committee Co-chair
Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)
-
SPLASH 2015 Programme Committee Member
ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
-
CONCUR 2015 Programme Committee Member
26th Conference on Concurrency Theory
-
CSL 2015 Programme Committee Member
24th EACSL Annual Conference on Computer Science Logic
-
APLAS 2015 Programme Committee Member
13th Asian Symposium on Programming Languages and Systems
-
PPDP 2015 Programme Committee Member
17th International Symposium on Principles and Practice of Declarative Programming
-
ECOOP 2015 Programme Committee Member
29th European Conference on Object-Oriented Programming
-
CM SAC 2015 Programme Committee Member
Coordination Models, Language and Applications - Special track of the 30th ACM Symposium on Applied Computing (SAC'15)
-
HOPE 2015 Programme Committee Member
4th ACM SIGPLAN Workshop on Higher-Order Programming with Effects
-
PLACES Steering Committee Member
Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)
-
WS-FM:FASOCC 2014 Programme Committee Member
11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing
-
MFPS XXX Programme Committee Member
The Thirtieth Conference on the Mathematical Foundations of Programming Semantics
-
ESOP 2014 Programme Committee Member
23rd European Symposium on Programming
-
CONCUR 2013 Programme Committee Member
The 24th International Conference on Concurrency Theory
-
FMOODS/FORTE 2013 Programme Committee Member
The 15th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 33rd Formal Techniques for Networked and Distributed Systems (FORTE)
-
LICS 2013 Programme Committee Member
29th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE
-
PLACES 2013 Programme Chair
The 6th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
-
TGC 2012 Programme Committee Member
7th International Symposium on Trustworthy Global Computing
-
DEBS 2012 Programme Committee Member
The 6th ACM International Conference on Distributed Event-Based Systems
-
POPL 2012 Programme Committee Member
The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
-
ICDCIT 2012 Programme Committee Member
The 8th International Conference on Distributed Computing and Internet Technologies
-
TLCA 2011 Programme Committee Member
The 10th International Conference on Typed Lambda Calculi and Applications
-
FMOODS/FORTE 2011 Programme Committee Member
The 13th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 30th Formal Techniques for Networked and Distributed Systems (FORTE)
-
FoSSaCS 2011 Programme Committee Member
14th International Conference on Foundations of Software Science and Computation Structures
-
ICDCIT 2011 Programme Committee Member
The 7th International Conference on Distributed Computing and Internet Technologies
-
WS-FM 2011 Programme Committee Member
The 8th International Workshop on Web Services and Formal Methods
-
WWV 2011 Programme Committee Member
The 7th International Workshop on Automated Specification and Verification of Web Systems
-
PLACES 2011 Programme Committee Member
4th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
-
FMOODS/FORTE 2010 Programme Committee Member
12th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 30th Formal Techniques for Networked and Distributed Systems (FORTE)
-
TGC 2010 Programme Committee Member
The Fifth International Symposium on Trustworthy Global Computing
-
FLOPS 2010 Programme Committee Member
Tenth International Symposium on Functional and Logic Programming
-
PLACES 2010 Programme Committee Member
3rd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
-
GaLoP 2010 Programme Committee Member
The 5th International Workshop, Games for Logics and Programming Languages
-
CONCUR 2009 Programme Committee Member
20th International Conference on Concurrency Theory
-
ICE 2009 Programme Committee Member
2nd International Workshop on Interaction and Concurrency Experiences
-
MALLOW-AWESOME'09
International Multi-Agent Logics, Languages, and Organisations
-
SOFTEM 2009 Programme Committee Member
35th International Conference on Current Trends in Theory and Practice of Computer Science
-
APLAS 2008 Programme Committee Member
The Eighth ASIAN Symposium on Programming Languages and Systems
-
CONCUR 2008 Programme Committee Member
The 19th International Conference on Concurrency Theory
-
PLACES 2008 Programme Committee Co-Chair
The 1st International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
-
POPL 2008 Programme Committee Member
The 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
-
CONCUR 2007 Programme Committee Member
The 18th International Conference on Concurrency Theory
-
TGC 2007 Programme Committee Member
The Third International Symposium on Trustworthy Global Computing
-
MALLOW-AWESOME'07
International Multi-Agent Logics, Languages, and Organisations
-
FSTTCS 2006 Programme Committee Member
The 26th International Conference, Foundations of Software Technology and Theoretical Computer Science
-
APLAS 2006 Programme Committee Member
The Fourth ASIAN Symposium on Programming Languages and Systems
-
SeCRet 2006 Programme Committee Member
1st International Workshop on Security and Rewriting Techniques
-
CONCUR 2004 Programme Co-Chair
Fifteenth International Conference on Concurrency Theory
-
FoSSaCs 2005 Programme Committee Member
The 8th Foundations of Software Science and Computation Structures, the European Joint Conferences on Theory and Practice of Software (ETAPS)
-
GT-VC 2005 Programme Committee Member
Graph Transformation for Verification and Concurrency
-
VQR 2004-2010 Panel Member
Evaluation of Research Quality (VQR 2004-2010), Italy
-
DCM 2005 Programme Committee Member
1st International Workshop on New Developments in Computational Models
-
FSTTCS 2002 Programme Committee Member
The 22nd International Conference, Foundation of Software Technology and Theoretical Computer Science
-
PLI 1999 Programme Committee Member
Principles, Logics, and Implementations of High-Level Programming Languages
-
OOSDS 1999 Organiser
Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours