Nothing Special   »   [go: up one dir, main page]
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
Thumbnail PDF

Artifact Description

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

Document Identifiers

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.

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

Artifact

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.

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

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-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact