Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
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 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

  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)
    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 About DROPS Imprint Privacy Contact