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.
Organisations
People |
ORCID iD |
Nobuko Yoshida (Principal Investigator) |
Publications
Barwell A
(2022)
Book review
in Journal of Logical and Algebraic Methods in Programming
Barwell Ad
(2022)
Generalised Multiparty Session Types with Crash-Stop Failures
Bravetti M
(2021)
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation.
in Logical Methods in Computer Science
Bravetti Mario
(2021)
A SOUND ALGORITHM FOR ASYNCHRONOUS SESSION SUBTYPING AND ITS IMPLEMENTATION
in LOGICAL METHODS IN COMPUTER SCIENCE
Castro-Perez D
(2020)
CAMP: Cost-Aware Multiparty Session Protocols
Castro-Perez D
(2021)
Zooid: a DSL for Certified Multiparty Computation
Castro-Perez D
(2020)
CAMP: cost-aware multiparty session protocols
in Proceedings of the ACM on Programming Languages
Demangeon R
(2023)
Causal computational complexity of distributed processes
in Information and Computation
Dezani M
(2022)
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372)
in Dagstuhl Reports (DagRep)
Ellis S
(2022)
Generic go to go: dictionary-passing, monomorphisation, and hybrid
in Proceedings of the ACM on Programming Languages
Gabet J.
(2020)
Static race detection and mutex safety and liveness for go programs
in Leibniz International Proceedings in Informatics, LIPIcs
Gheri L
(2022)
Design-By-Contract for Flexible Multiparty Session Protocols
Gheri L.
(2022)
Design-By-Contract for Flexible Multiparty Session Protocols
in Leibniz International Proceedings in Informatics, LIPIcs
Ghilezan S
(2021)
Precise subtyping for asynchronous multiparty sessions
in Proceedings of the ACM on Programming Languages
Ghilezan S
(2023)
Precise Subtyping for Asynchronous Multiparty Sessions
in ACM Transactions on Computational Logic
Graversen E
(2021)
Event structure semantics of (controlled) reversible CCS
in Journal of Logical and Algebraic Methods in Programming
Graversen E
(2022)
Event structures for the reversible early internal p-calculus
in Journal of Logical and Algebraic Methods in Programming
Griesemer R
(2020)
Featherweight go
in Proceedings of the ACM on Programming Languages
Imai K.
(2020)
Multiparty session programming with global protocol combinators
in Leibniz International Proceedings in Informatics, LIPIcs
Lagaillardie N
(2022)
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact)
Lagaillardie N
(2022)
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Lagaillardie N
(2022)
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types
Lagaillardie N.
(2022)
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types
in Leibniz International Proceedings in Informatics, LIPIcs
Majumdar R
(2020)
Multiparty motion coordination: from choreographies to robotics programs
in Proceedings of the ACM on Programming Languages
Medic D
(2020)
A parametric framework for reversible p-calculi
in Information and Computation
Peters K
(2022)
On the Expressiveness of Mixed Choice Sessions
in Electronic Proceedings in Theoretical Computer Science
Toninho B
(2021)
On Polymorphic Sessions and Functions A Tale of Two (Fully Abstract) Encodings
in ACM Transactions on Programming Languages and Systems
Vasconcelos V
(2022)
A Type Discipline for Message Passing Parallel Programs
in ACM Transactions on Programming Languages and Systems
Zhou F
(2020)
Statically Verified Refinements for Multiparty Protocols
Zhou F
(2020)
Statically verified refinements for multiparty protocols
in Proceedings of the ACM on Programming Languages
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 |