📣 Help Shape the Future of UKRI's Gateway to Research (GtR)

We're improving UKRI's Gateway to Research and are seeking your input! If you would be interested in being interviewed about the improvements we're making and to have your say about how we can make GtR more user-friendly, impactful, and effective for the Research and Innovation community, please email gateway@ukri.org.

Session Types for Reliable Distributed Systems (STARDUST)

Lead Research Organisation: University of Oxford
Department Name: Computer Science

Abstract

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.

Related Projects

Project Reference Relationship Related To Start End Award Value
EP/T014709/1 30/09/2020 29/09/2022 £697,651
EP/T014709/2 Transfer EP/T014709/1 30/09/2022 31/01/2026 £599,888
 
Description We received three best paper awards.
Exploitation Route It was taken in other projects such as TaRDIS and DbDS projects, and applied the toolbox in TaRDIS project.
Sectors Communities and Social Services/Policy

Digital/Communication/Information Technologies (including Software)

Energy

Financial Services

and Management Consultancy

Security and Diplomacy
URL https://mrg.cs.ox.ac.uk/
 
Description The results were recognised by the following three paper awards and used for another grant, TaRDIS to develop the toolbox with industries such as Actyx AG. The Best Paper Award, Rollback Recovery in Session Based Programming}, by Claudio Antares Mezzina, Francesco Tiezzi and Nobuko Yoshida, at the 18th International Federated Conference on Distributed Computing Techniques, 2023 (the best paper among FORTE'23, DICE'23 and COORDINATION'23. The Best Paper Award, Rollback Recovery in Session Based Programming}, by Claudio Antares Mezzina, Francesco Tiezzi and Nobuko Yoshida, at the 25th International Conference on Coordination Models and Languages (COORDINATION 2023). The Distinguished Paper Award, Designing Asynchronous Multiparty Protocols With Crash Stop Failures, Adam D. BARWELL , Ping HOU , Nobuko YOSHIDA , Fangyi ZHOU European Conference on Object Oriented Programming (ECOOP 2023).
First Year Of Impact 2023
Sector Communities and Social Services/Policy,Digital/Communication/Information Technologies (including Software),Education,Financial Services, and Management Consultancy,Security and Diplomacy
Impact Types Societal
 
Title Artifact: Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types 
Description Artifact of the paper: "Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types", PPoPP 2022. 
Type Of Technology Software 
Year Produced 2021 
Open Source License? Yes  
Impact The Rumpsteak framework is a framework for MPST in Rust. This software is an artifact that shows its capabilities. 
URL https://zenodo.org/record/5786034
 
Title Artifact: Design-By-Contract for Flexible Multiparty Session Protocols 
Description Artifact for the paper : Design-By-Contract for Flexible Multiparty Session Protocols 
Type Of Technology Software 
Year Produced 2022 
Open Source License? Yes  
Impact Artifact supporting the paper : Design-By-Contract for Flexible Multiparty Session Protocols 
URL https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.21
 
Title Artifact: Dynamically Updatable Multiparty Session Protocols 
Description Artifact for the paper: Dynamically Updatable Multiparty Session Protocols 
Type Of Technology Software 
Year Produced 2023 
Open Source License? Yes  
Impact Artifact supporting the paper Dynamically Updatable Multiparty Session Protocols 
URL https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.10
 
Title Artifact: Generalised Multiparty Session Types with Crash-Stop Failures 
Description Artifact supporting the paper : Generalised Multiparty Session Types with Crash-Stop Failures 
Type Of Technology Software 
Year Produced 2022 
Open Source License? Yes  
Impact Artifact for the paper : https://github.com/alcestes/mpstk-crash-stop 
URL https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.35
 
Title Artifact: Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid 
Description Artifact for paper: Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid 
Type Of Technology Software 
Year Produced 2022 
Open Source License? Yes  
Impact Artifact for paper : Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid 
URL https://dl.acm.org/doi/10.1145/3563331
 
Title Artifact: Rollback Recovery in Session-Based Programming 
Description Artifact for paper: Rollback Recovery in Session-Based Programming 
Type Of Technology Software 
Year Produced 2023 
Impact Artifact for paper: Rollback Recovery in Session-Based Programming 
URL https://link.springer.com/chapter/10.1007/978-3-031-35361-1_11#chapter-info
 
Title Artifact: Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types 
Description Artifact for the paper: Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (https://doi.org/10.4230/DARTS.8.2.9) This introduces the `multicrusty` library. 
Type Of Technology Software 
Year Produced 2022 
Open Source License? Yes  
Impact Artifact supporting the paper. 
URL https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.9
 
Title Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact) 
Description We introduce Teatrino, a toolchain that supports handling multiparty protocols with crash-stop fail- ures and crash-handling behaviours. Teatrino accompanies the novel MPST theory in the related article, and enables users to generate fault-tolerant protocol-conforming Scala code from Scribble protocols. Local types are projected from the global protocol, enabling correctness-by-construction, and are expressed directly as Scala types via the Effpi concurrency library. Teatrino extends both Scribble and Effpi with support for crash-stop behaviour. The generated Scala code is execut- able and can be further integrated with existing systems. The accompanying theory in the related article guarantees deadlock-freedom and liveness properties for failure handling protocols and their implementation. This artifact includes examples, extended from both session type and distributed systems literature, featured in the related article. 
Type Of Technology Software 
Year Produced 2023 
Open Source License? Yes  
Impact Artifact supporting the paper Designing Asynchronous Multiparty Protocols with Crash-Stop Failures 
URL https://zenodo.org/record/7974824