Result: Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact)

Title:
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact)
Authors:
Lagaillardie, Nicolas, Neykova, Rumyana, Yoshida, Nobuko
Source:

Evaluation Policy The artifact has been evaluated as described in the ECOOP 2022
Publisher Information:
DARTS - Dagstuhl Artifacts Series. DARTS, Volume 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022) 2022
Document Type:
Electronic Resource Electronic Resource
Index Terms:
Rust language, affine multiparty session types, failures, cancellation, Data processing Computer science, InProceedings, publishedVersion
DOI:
10.4230.DARTS.8.2.9
Availability:
Open access content. Open access content
https://creativecommons.org/licenses/by/4.0
Note:
English
Other Numbers:
DEDAG oai:drops-oai.dagstuhl.de:16207
doi:10.4230/DARTS.8.2.9
urn:nbn:de:0030-drops-162075
https://drops.dagstuhl.de/opus/volltexte/2022/16207/
1335413509
Contributing Source:
SCHLOSS DAGSTUHL LEIBNIZ ZENTRUM GMBH
From OAIster®, provided by the OCLC Cooperative.
Accession Number:
edsoai.on1335413509
Database:
OAIster

Further Information

This artifact contains a version of MultiCrusty, a Rust library designed for writing and checking communication protocols following the Affine Multiparty Session Types theory introduced in our ECOOP'22 paper. MultiCrusty can work, and should be used, with Scribble [Yoshida et al., 2014] and kMC [{Julien} {Lange} and {Nobuko} {Yoshida}, 2019]: with the former tool, users can write correct global protocols and project them onto local Rust types defined within MultiCrusty, this approach is qualified as top-down; while the latter tool allows to check local Rust types written by users, this approach is qualified as bottom-up. Our artifact contains those three tools, their respective source files, as well as the different examples and benchmarks introduced in our paper, all together within a Docker image.