Multiparty Session Types and their Applications to Concurrent and Distributed Systems
Nobuko Yoshida's talk will present a summary of recent papers on multiparty session types for verifying distributed, parallel and concurrent programs, illustrating how theoretical work is grounded on collaborations with industry partners. This research led to the development of the protocol description language Scribble and other work such as static deadlock analysis in Go.
- Multiparty Asynchronous Session Types
- Practical interruptible conversations: Distributed dynamic veriﬁcation with multiparty session types and Python
- Hybrid Session Verification Through Endpoint API Generation
- The Scribble Protocol Language
- Static deadlock detection for concurrent go by global session graph synthesis
Nobuko Yoshida is Professor of Computing. She has applied session types to Web services and programming languages, and introduced multiparty session types. Based on Multiparty session types, she established JBoss Red Hat Scribble project.
She is an editor of Journal of Logical Algebraic Methods in Programming, the chief editor of The Computer-aided Verification and Concurrency Column for EATCS Bulletin, the editor of Acta Informatica and the editor of Mathematical Structures for Computer Science. She has served as a PC member for over 50 conferences in the past five years. She was regularly invited to give the invited lectures and the key note talks -- recent invited talks include 8th International Symposium on Trustworthy Global Computing (TGC 2013) at Buenos Aires and Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications in 2014. She is a MC member of three COST actions, ARVI, BETTY and RC; also a member of IFIP 2.4 and the Red Hat Scribble Project. Her industry partners include Cognizant, Red Hat, ThoughtWorks and Amazon.