Document Open Access Logo

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)

Authors Paul Harvey , Simon Fowler , Ornela Dardha , Simon J. Gay

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.7.2.8.pdf
  • Filesize: 426 kB
  • 2 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Concurrent programming languages
Keywords
  • Concurrency
  • session types
  • adaptation
  • actors
  • trust

Metrics

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

Abstract

This is the companion artifact for the paper "Multiparty Session Types for Safe Runtime Adaptation in an Actor Language". EnsembleS is an actor-based programming language supporting dynamic self-adaptation, (discovery, replacement, and communication), which also guarantees communication safety. The artifact includes the EnsembleS compiler, the modified StMungo code, and all examples contained within the paper.

Cite As Get BibTex

Paul Harvey, Simon Fowler, Ornela Dardha, and Simon J. Gay. Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact). In Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021). Dagstuhl Artifacts Series (DARTS), Volume 7, Issue 2, pp. 8:1-8:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021) https://doi.org/10.4230/DARTS.7.2.8

Author Details

Paul Harvey
  • Rakuten Mobile Innovation Studio, Tokyo, Japan
Simon Fowler
  • School of Computing Science, University of Glasgow, Scotland, UK
Ornela Dardha
  • School of Computing Science, University of Glasgow, Scotland, UK
Simon J. Gay
  • School of Computing Science, University of Glasgow, Scotland, UK

Funding

Supported by EPSRC grants EP/T014628/1 (STARDUST), EP/K034413/1 (ABCD), EP/L01503X/1 (CDT in Pervasive Parallelism), ERC Consolidator Grant Skye (682315), and by the EU HORIZON 2020 MSCA RISE project 778233 (BehAPI).

Acknowledgements

Thanks to the ECOOP'21 AEC for their useful comments.

Artifact

  MD5 Sum: 8b223e1c291a4fc141040acb18b094fb (Get MD5 Sum)

Related Article

  • Paul Harvey, Simon Fowler, Ornela Dardha, and Simon J. Gay, "Multiparty Session Types for Safe Runtime Adaptation in an Actor Language", in 35th European Conference on Object-Oriented Programming (ECOOP 2021), LIPIcs, Vol. 194, pp. 10:1-10:30, 2021. https://doi.org/10.4230/LIPIcs.ECOOP.2021.10
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-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact