Session Types for Reliable Distributed Systems (STARDUST)

Lead Research Organisation: Imperial College London
Department Name: Computing

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.

Publications

10 25 50
publication icon
Barwell A (2022) Book review in Journal of Logical and Algebraic Methods in Programming

publication icon
Barwell Ad (2022) Generalised Multiparty Session Types with Crash-Stop Failures

publication icon
Bravetti M (2021) A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. in Logical Methods in Computer Science

publication icon
Bravetti Mario (2021) A SOUND ALGORITHM FOR ASYNCHRONOUS SESSION SUBTYPING AND ITS IMPLEMENTATION in LOGICAL METHODS IN COMPUTER SCIENCE

publication icon
Castro-Perez D (2020) CAMP: Cost-Aware Multiparty Session Protocols

publication icon
Castro-Perez D (2021) Zooid: a DSL for Certified Multiparty Computation

publication icon
Castro-Perez D (2020) CAMP: cost-aware multiparty session protocols in Proceedings of the ACM on Programming Languages

publication icon
Castro-Perez D (2021) Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes

publication icon
Cutner Z (2022) Deadlock-free asynchronous message reordering in rust with multiparty session types

publication icon
Cutner Z (2021) Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

publication icon
Demangeon R (2023) Causal computational complexity of distributed processes in Information and Computation

publication icon
Dezani M (2022) Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372) in Dagstuhl Reports (DagRep)

publication icon
Ellis S (2022) Generic go to go: dictionary-passing, monomorphisation, and hybrid in Proceedings of the ACM on Programming Languages

publication icon
Ellis S (2022) Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid

publication icon
Gabet J (2020) Static Race Detection and Mutex Safety and Liveness for Go Programs

publication icon
Gabet J. (2020) Static race detection and mutex safety and liveness for go programs in Leibniz International Proceedings in Informatics, LIPIcs

publication icon
Gheri L (2022) Design-By-Contract for Flexible Multiparty Session Protocols

publication icon
Gheri L. (2022) Design-By-Contract for Flexible Multiparty Session Protocols in Leibniz International Proceedings in Informatics, LIPIcs

publication icon
Ghilezan S (2021) Precise subtyping for asynchronous multiparty sessions in Proceedings of the ACM on Programming Languages

publication icon
Ghilezan S (2023) Precise Subtyping for Asynchronous Multiparty Sessions in ACM Transactions on Computational Logic

publication icon
Graversen E (2021) Event structure semantics of (controlled) reversible CCS in Journal of Logical and Algebraic Methods in Programming

publication icon
Graversen E (2020) Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

publication icon
Graversen E (2022) Event structures for the reversible early internal p-calculus in Journal of Logical and Algebraic Methods in Programming

publication icon
Griesemer R (2020) Featherweight go in Proceedings of the ACM on Programming Languages

publication icon
Imai K (2020) Multiparty Session Programming with Global Protocol Combinators.

 
Description Implementing multiparty session types with Rust
Exploitation Route Yes for the education and other UKRI projects
Sectors Digital/Communication/Information Technologies (including Software)
URL https://mrg.cs.ox.ac.uk/
 
Description It is used for Morello-HAT and AppControl Projects which are related to Morello boards
First Year Of Impact 2021
Sector Digital/Communication/Information Technologies (including Software)
Impact Types Economic
 
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 Zooid: a DSL for Certified Multiparty Computation 
Description Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types. This artifact contains the implementation for "Zooid: a DSL for Certified Multiparty Computation" from PLDI'21 This code is maintained at: https://github.com/emtst/zooid-cmpst 
Type Of Technology Software 
Year Produced 2021 
Open Source License? Yes  
Impact See: http://mrg.doc.ic.ac.uk/publications/zooid-paper/ 
URL https://zenodo.org/record/4581294
 
Title dot-parser 
Description A parser for DOT files in Rust 
Type Of Technology Software 
Year Produced 2021 
Open Source License? Yes  
Impact No such parser previously existed in Rust. This is used for the developement of the Rumpsteak framework. 
URL https://crates.io/crates/dot-parser