Document Open Access Logo

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

Authors Ruo Fei Chen , Stephanie Balzer, Bernardo Toninho

PDF

Artifact Description

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

Document Identifiers

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

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.

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

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

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.
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

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