Talks & Presentations
Recent invited talks and presentations from our group.
Process types as a descriptive tool for distributed protocols
Invited keynote at Joint 25th International Conference on Rewriting Techniques and Applications (RTA) and 12th International Conference on Typed Lambda Calculi and Applications (TLCA), Vienna Summer of Logic, July 2014
Idioms for Interaction and their applications in large distributed systems
Certification of high-level and low-level programs Workshop, Paris, France
Theory and applications of multi-party session types
First International Summer School on Behavioural Types, Lovran, Croatia, July 2014
The Scribble Protocol Language and Multiparty Session Types
Talk at 'Open Problems in Concurrency Theory' (OPCT 2014), Bertinoro, Italy, June 2014
Invited Lecture: Pi-Calculus and Session Types
Gran Sasso Science Institute, L'Aquila (AQ), Italy, June 2014
Scribble, Runtime Verifications and Session Types
Software Contracts for Communication, Monitoring, and Security, Shonan NII Meeting, Japan, May 2014
We give a summary of our recent research developments on multiparty session types for verifying distributed and concurrent programs, and our collaborations with industry partners and a major, long-term, NSF-funded project (Ocean Observatories Initiatives) to provide an ultra large-scale cyberinfrustracture (OOI CI) for 25-30 years of sustained ocean measurements to study climate variability, ocean circulation and ecosystem dynamics. We shall first talk how Robin Milner, Kohei Honda and Yoshida started collaborations with industry to develop a web service protocol description language called Scribble and discovered the theory of multiparty session types through the collaborations. We then talk about the recent developments in Scribble and the runtime session monitoring framework currently used in the OOI CI.
Multiparty session types and their application in large distributed systems
Talk at University of Nagoya, Japan, May 2013
We give a summary of our recent research developments on multiparty session types for verifying distributed and concurrent programs, and our collaborations with industry partners and a major, long-term, NSF-funded project (Ocean Observatories Initiatives) to provide an ultra large-scale cyberinfrustracture (OOI CI) for 25-30 years of sustained ocean measurements to study climate variability, ocean circulation and ecosystem dynamics. We shall first talk how Robin Milner, Kohei Honda and Yoshida started collaborations with industry to develop a web service protocol description language called Scribble and discovered the theory of multiparty session types through the collaborations. We then talk about the recent developments in Scribble and the runtime session monitoring framework currently used in the OOI CI.
Multiparty session types and their application in large distributed systems
Department Seminar at University of Leicester, March 2014
We give a summary of our recent research developments on multiparty session types for verifying distributed and concurrent programs, and our collaborations with industry partners and a major, long-term, NSF-funded project (Ocean Observatories Initiatives) to provide an ultra large-scale cyberinfrustracture (OOI CI) for 25-30 years of sustained ocean measurements to study climate variability, ocean circulation and ecosystem dynamics. We shall first talk how Robin Milner, Kohei Honda and Yoshida started collaborations with industry to develop a web service protocol description language called Scribble and discovered the theory of multiparty session types through the collaborations. We then talk about the recent developments in Scribble and the runtime session monitoring framework currently used in the OOI CI.
Multiparty session types and their application in large distributed systems
Research Seminar at IMT Lucca Institute for Advanced Studies, March 2014
We give a summary of our recent research developments on multiparty session types, and our collaborations with industry partners (Red Hat, Cognizant and VMware) and a major, long-term, NSF-funded project (Ocean Observatories Initiatives) to provide an ultra large-scale cyberinfrustracture (OOI CI) for 25-30 years of sustained ocean measurements to study climate variability, ocean circulation and ecosystem dynamics. We shall first talk how Robin Milner, Kohei Honda and Yoshida started collaborations with industry to develop a web service protocol description language called Scribble and discovered the theory of multiparty session types through the collaborations. We then talk about the recent developments in Scribble and the runtime session monitoring framework currently used in the OOI CI.
