ETAPS 2019 (series) / PLACES 2019 (series) / 11th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software /
Fluid Types: Statically Verified Distributed Protocols with Refinements
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
Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 16:30 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 - 17:00 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 - 17:30 Talk | The Cpi-calculus: a Model for Confidential Name Passing PLACES Ivan ProkićUniversity of Novi Sad | ||
17:30 - 17:35 Day closing | Closing remarks PLACES |