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
|16:00 - 16:30|
|16:30 - 17:00|
|17:00 - 17:30|
Ivan ProkićUniversity of Novi Sad
|17:30 - 17:35|