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

Authors Ruo Fei Chen , Stephanie Balzer, Bernardo Toninho

Thumbnail PDF

Artifact Description

  • 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

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)


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


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
  • Session Types
  • Rust
  • DSL


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  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

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail