date/vreme: TBA/12/2024, TBA
venue/mesto: TBA
Speaker / Predavač
Prof. Nobuko Yoshida, Strachey Professor of Computing, University of Oxford, UK
https://www.cs.ox.ac.uk/people/nobuko.yoshida https://mrg.cs.ox.ac.uk (home page)
Title / Naslov:
Separation and Encodability in Mixed Choice Multiparty Sessions
Abstract / Sažetak:
Multiparty session types (MPST) are a type discipline for enforcing the structured, deadlock-free communication of concurrent and message-passing programs. Traditional MPST have a li mited form of choice in which alternative communication possibilities are offered by a single participant and selected by another. Mixed choice multiparty session types (MCMP) extend the choice construct to include both selections and offers in the same choice. This talk presents a mixed choice synchronous multiparty session calculus and its typing system, which guarantees communication safety and deadlock-freedom. We then talk expressiveness of nine subcalcli of MCMP-calculus by examining their encodability (there exists a good encoding from one to another) and separation (there exists no good encoding from one calculus to another). The highlight is the binary (2-party) mixed sessions by Casal et al (2022) is strictly less expressive than the MCMP-calculus.
A joint work with Kirstin Peters appeared in LICS'24 (https://arxiv.org/abs/2405.08104)
About the speaker. Nobuko 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 10 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 Test-of-time-award from PPDP'24 and the best paper awards from CC'20, COORDINATION'23 and DisCoTech'23. She received the third Suffrage Science Awards for Mathematics and Computing from MRC for her STEM activity. 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.