Fluid Types: Statically Verified Distributed Protocols with Refinements (PLACES 2019 - 11th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software)

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Fangyi Zhou, Francisco Ferreira, Rumyana Neykova, Nobuko Yoshida

Track

PLACES 2019

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 7 Apr 2019 16:30 - 17:00 at S8 - IV Chair(s): Francisco Martins

Abstract

We present an end-to-end solution for verified distributed programming. Building upon the foundation of Multiparty Session Types with refinements, we propose a programming language with refinement types and discuss an API generation strategy to allow type checking to statically validate the refinements from the specification of the protocol to the implementation of each of its clients.

Fangyi Zhou

Imperial College London

Francisco Ferreira

Imperial College London

Rumyana Neykova

Brunel University London

United Kingdom

Nobuko Yoshida

Imperial College London

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00	IVPLACES at S8 Chair(s): Francisco MartinsUniversity of Lisbon

16:00 30m Full-paper		Value-Dependent Session Design in a Dependently Typed Language PLACES Jan de Muijnck-HughesUniversity of Glasgow, Edwin BradyUniversity of St. Andrews, UK, Wim VanderbauwhedeUniversity of Glasgow
16:30 30m Talk		Fluid Types: Statically Verified Distributed Protocols with Refinements PLACES Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London
17:00 30m Talk		The Cpi-calculus: a Model for Confidential Name Passing PLACES Ivan ProkićUniversity of Novi Sad
17:30 5m Day closing		Closing remarks PLACES