Document Open Access Logo

Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact)

Authors Ruo Fei Chen , Stephanie Balzer, Bernardo Toninho

PDF
Thumbnail PDF

Artifact Description

DARTS.8.2.14.pdf
  • Filesize: 0.54 MB
  • 2 pages

Document Identifiers

Author Details

Ruo Fei Chen
  • Independent Researcher, Leipzig, Germany
Stephanie Balzer
  • Carnegie Mellon University, Pittsburgh, PA, USA
Bernardo Toninho
  • NOVA LINCS, Nova University Lisbon, Portugal

Funding

  • Balzer, Stephanie: National Science Foundation Award No. CCF-1718267
  • Toninho, Bernardo: FCT/MCTES grant NOVALINCS/BASE UIDB/04516/2020

Cite AsGet 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

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)
    0
    PDF Downloads
    0
    Metadata Views

Related Article

  • Ruo Fei Chen, Stephanie Balzer, and Bernardo Toninho, "Ferrite: A Judgmental Embedding of Session Types in Rust", in 36th European Conference on Object-Oriented Programming (ECOOP 2022), LIPIcs, Vol. 222, pp. 22:1-22:28, 2022. https://doi.org/10.4230/LIPIcs.ECOOP.2022.22

References

  1. Ruo Fei Chen, Stephanie Balzer, and Bernardo Toninho. Ferrite project website. URL: https://github.com/ferrite-rs/ferrite.
  2. MozillaResearch. Servo project website. https://github.com/servo/servo, November 2016.
  3. WebKit. MotionMark Homepage. https://browserbench.org/MotionMark/, 2021.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact