ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 16:30 - 17:00 at S8 - IV Chair(s): Francisco Martins

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.

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