Posted: 11th September 2024

A paper co-authored by Professor Nobuko Yoshida has been awarded the 10-Year Most Influential Paper Award at the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024). 

On the Preciseness of Subtyping in Session Types was written in September 2014 by Dr Tzu-Chun Chen and Professor Mariangiola Dezani-Ciancaglini of the University of Turin, and Professor Yoshida, then of Imperial College London.  

The paper formalises the preciseness (i.e. the soundness and completeness) of subtyping in mobile processes, studying it through the lens of both synchronous (occurring at the same time) and asynchronous (occurring at different times) session calculi. Subtyping is a notion in programming language theory where a subtype, which is a data type, is related to a supertype based on the notion of substitutability.  

The paper’s findings sit at the core of today’s established guidance for the design of rigorous and secure channel-based subtyping. This Most Influential Paper Award underscores the ongoing influence of Yoshida’s important research work in this area.  

Professor Yoshida joined the department from Imperial College London in 2022 as the Christopher Strachey Chair of Computing. Her research focuses on the development of theories and semantic concepts in programming languages, and on their use in concurrent and distributed systems. In October 2024, she will become the new head of the Programming Languages research theme, which facilitates the department’s cutting-edge work in programming language theory, design and implementation.  

The award was presented to the academic team at the PPDP 2024 event held at Politecnico di Milano in Italy on 10/11 September 2024. 

Read the full paper at: https://dl.acm.org/doi/10.1145/2643135.2643138