CS Colloquium Series @ UCY
Department of Computer Science - University of Cyprus
The Department of Computer Science at the University of Cyprus holds research colloquiums and social hours approximately once weekly. All university students, faculty, and staff are invited to attend. Notifications about new and upcoming events are automatically disseminated to a variety of institutional lists.
If you don't receive these notifications, but want to get informed about upcoming colloquium announcements, you can do the following:
List
RSS
Directions
Colloquium Coordinator: Demetris Zeinalipour
Colloquium: Distributed Programming using Multiparty Session Types in Go, Prof. Nobuko Yoshida (Imperial College London, UK), Monday, March 4, 2019, 11:00-12:00 EET.
The Department of Computer Science at the University of Cyprus cordially invites you to the Colloquium entitled:
Distributed Programming using Multiparty Session Types in Go
 |
Speaker: Prof. Nobuko Yoshida |
Abstract:
In this talk I will present a programming framework for static specification and safe programming of message passing protocols where the number and kinds of participants are dynamically instantiated. Our framework is based on Multiparty Session Types (MPST), extended to support parameterised protocols with indexed roles - where the number of roles is known only at run time.
Our framework statically infers the different kinds of participants induced by a protocol definition as role variants, and produces decoupled endpoint projections of the protocol onto each participant. This enables communication-safe, deadlock-free programming of the parameterised endpoint in distributed settings: each endpoint can be implemented (and verified) separately by different programmers/technique/languages.
We implemented our framework with Scribble-Go, a tool chain for programming such role-parametric protocols in the mainstream programming language of Go. We generate API families of lightweight, protocol- and variant-specific type wrappers for I/O. The API ensures a well-typed Go endpoint program (by native Go type checking) will perform only the compliant I/O actions wrt to the source protocol. We leverage the abstractions of MPST to support the specification of Go applications involving multiple channels, possibly over mixed transport, and channel passing via a unified programming interface. We evaluate the applicability and runt-time performance of our generated API using microbenchmarks and real-world applications.
Short Bio:
Nobuko Yoshida is Professor of Computing at Imperial College London. 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 was awarded CNRS and JSSP visiting fellowships and visiting professorships at Paris VI and Paris VII. She is an editor of ACM Transactions on Programming Languages and Systems, 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: Cognizant, Estafet, J.P. Morgan, Red Hat, Weaveworks, November Group, ABB, EDF Energy, Xilinx, EPCC Ltd, Codeplay Software Ltd and Mexeler
