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:
mail List rss RSS Directions 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
Affiliation: Imperial College London, UK
Category: Colloquium
Location: Room 148, Faculty of Pure and Applied Sciences (FST-01), 1 University Avenue, 2109 Nicosia, Cyprus (directions)
Date: Monday, March 4, 2019
Time: 11:00-12:00 EET
Host: Dr. Anna Philippou (annap-AT-cs.ucy.ac.cy)
URL: https://www.cs.ucy.ac.cy/colloquium/index.php?speaker=cs.ucy.2019.yoshida

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

  Web: https://www.cs.ucy.ac.cy/colloquium/
  Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium
  RSS: https://www.cs.ucy.ac.cy/colloquium/rss.xml
  Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.2019.yoshida.ics