research
∙
05/10/2023
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Session types provide a typing discipline for message-passing systems. H...
share
research
∙
02/03/2023
Hybrid Multiparty Session Types – Full Version
Multiparty session types (MPST) are a specification and verification fra...
research
∙
09/06/2022
On the Expressiveness of Mixed Choice Sessions
Session types provide a flexible programming style for structuring inter...
research
∙
08/15/2022
On the Expressiveness of Mixed Choice Sessions (Technical Report)
Session types provide a flexible programming style for structuring inter...
research
∙
08/14/2022
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Go is a popular statically-typed industrial programming language. To aid...
research
∙
07/05/2022
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
Session types enable the specification and verification of communicating...
research
∙
05/13/2022
Design-by-Contract for Flexible Multiparty Session Protocols – Extended Version
Choreographic models support a correctness-by-construction principle in ...
research
∙
04/28/2022
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Communicating systems comprise diverse software components across networ...
research
∙
12/23/2021
Deadlock-free asynchronous message reordering in Rust with multiparty session types
Rust is a modern systems language focused on performance and reliability...
research
∙
03/18/2021
Zooid: a DSL for Certified Multiparty Computation
We design and implement Zooid, a domain specific language for certified ...
research
∙
01/12/2021
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Modern web programming involves coordinating interactions between browse...
research
∙
11/10/2020
Game Semantics: Easy as Pi
Game semantics has proven to be a robust method to give compositional se...
research
∙
10/26/2020
Precise Subtyping for Asynchronous Multiparty Sessions
This paper presents the first formalisation of the precise subtyping rel...
research
∙
10/12/2020
Multiparty Motion Coordination: From Choreographies to Robotics Programs
We present a programming model and typing discipline for complex multi-r...
research
∙
10/09/2020
CAMP: Cost-Aware Multiparty Session Protocols
This paper presents CAMP, a new static performance analysis framework fo...
research
∙
09/14/2020
Statically Verified Refinements for Multiparty Protocols
With distributed computing becoming ubiquitous in the modern era, safe d...
research
∙
05/24/2020
Featherweight Go
We describe a design for generics in Go inspired by previous work on Fea...
research
∙
05/13/2020
Multiparty Session Programming with Global Protocol Combinators
Multiparty Session Types (MPST) is a typing discipline for communication...
research
∙
04/27/2020
Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version)
Go is a popular concurrent programming language thanks to its ability to...
research
∙
04/03/2020
Generating Interactive WebSocket Applications in TypeScript
Advancements in mobile device computing power have made interactive web ...
research
∙
06/30/2019
A Sound Algorithm for Asynchronous Session Subtyping (extended version)
Session types, types for structuring communication between endpoints in ...
research
∙
05/18/2019
Developing secure Bitcoin contracts with BitML
We present a toolchain for developing and verifying smart contracts that...
research
∙
04/02/2019
Multiparty Session Type-safe Web Development with Static Linearity
Modern web applications can now offer desktop-like experiences from with...
research
∙
04/02/2019
Service Equivalence via Multiparty Session Type Isomorphisms
This paper addresses a problem found within the construction of Service ...
research
∙
01/28/2019
Verifying Asynchronous Interactions via Communicating Session Automata
The relationship between communicating automata and session types is the...
research
∙
07/31/2018
A Parametric Framework for Reversible π-Calculi
This paper presents a study of causality in a reversible, concurrent set...
research
∙
01/24/2018
Depending on Session-Typed Processes
This work proposes a dependent type theory that combines functions and s...
research
∙
11/02/2017
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
This work exploits the logical foundation of session types to determine ...
research
∙
10/27/2016