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

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.

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.

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