DARTS.8.2.14.pdf
- Filesize: 0.54 MB
- 2 pages
Document
Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact)
Authors
Ruo Fei Chen 
,
Bernardo Toninho
-
Part of:
Issue:
Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Volume: DARTS, Volume 8 (ECOOP 2022)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2022-06-23
Artifact Description
Document Identifiers
Author Details
Cite As Get BibTex
Ruo Fei Chen, Stephanie Balzer, and Bernardo Toninho. Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact). In Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 2, pp. 14:1-14:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/DARTS.8.2.14
Artifact
DARTS-8-2-14-artifact-9099a27f605904dbcb4bc295e674ab52.ova
(Filesize: 15.85 GB)
MD5 Sum:
9099a27f605904dbcb4bc295e674ab52
(Get MD5 Sum)
Artifact Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2022 Call for Artifacts and the ACM Artifact Review and Badging Policy
Abstract
This artifact provides a VirtualBox image containing the snapshots of source code for Ferrite and Servo at the time the main paper was published.
Subject Classification
ACM Subject Classification
- Theory of computation → Linear logic
- Theory of computation → Type theory
- Software and its engineering → Domain specific languages
- Software and its engineering → Concurrent programming languages
Keywords
- Session Types
- Rust
- DSL
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Ruo Fei Chen, Stephanie Balzer, and Bernardo Toninho. Ferrite project website. URL: https://github.com/ferrite-rs/ferrite.
- MozillaResearch. Servo project website. https://github.com/servo/servo, November 2016.
- WebKit. MotionMark Homepage. https://browserbench.org/MotionMark/, 2021.