Towards Gradual Multiparty Session Typing

Sung Shik Jongmans

doi:10.1145/3551349.3561167

Towards Gradual Multiparty Session Typing

Sung Shik Jongmans^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Abstract

To make concurrent programming easier, languages (e.g., Go, Rust, Clojure) have started to offer core support for message passing through channels in shared memory. However, channels also have their issues. Multiparty session types (MPST) constitute a method to make channel usage simpler. In this paper, to consolidate the best qualities of "static MPST"(early feedback, fast execution) and "dynamic MPST"(high expressiveness), we present a project that reinterprets the MPST method through the lens of gradual typing.

Original language	English
Title of host publication	ASE '22
Subtitle of host publication	Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
Editors	Mario Aehnelt, Thomas Kirste
Publisher	Association for Computing Machinery
Number of pages	3
ISBN (Print)	978-1-4503-9475-8
DOIs	https://doi.org/10.1145/3551349.3561167
Publication status	Published - 5 Jan 2023
Event	37th IEEE/ACM International Conference on Automated Software Engineering - Ann Arbor, United States Duration: 26 Sept 2022 → 1 Oct 2022 Conference number: 37

Conference

Conference	37th IEEE/ACM International Conference on Automated Software Engineering
Abbreviated title	ASE 2022
Country/Territory	United States
City	Ann Arbor
Period	26/09/22 → 1/10/22

Access to Document

10.1145/3551349.3561167Licence: CC BY

Cite this

@inproceedings{2af583a7ef4c4d768eb72d7525a51c51,

title = "Towards Gradual Multiparty Session Typing",

abstract = "To make concurrent programming easier, languages (e.g., Go, Rust, Clojure) have started to offer core support for message passing through channels in shared memory. However, channels also have their issues. Multiparty session types (MPST) constitute a method to make channel usage simpler. In this paper, to consolidate the best qualities of {"}static MPST{"}(early feedback, fast execution) and {"}dynamic MPST{"}(high expressiveness), we present a project that reinterprets the MPST method through the lens of gradual typing.",

author = "Jongmans, {Sung Shik}",

note = "Publisher Copyright: {\textcopyright} 2022 Owner/Author.; 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022 ; Conference date: 26-09-2022 Through 01-10-2022",

year = "2023",

month = jan,

day = "5",

doi = "10.1145/3551349.3561167",

language = "English",

isbn = "978-1-4503-9475-8",

editor = "Mario Aehnelt and Thomas Kirste",

booktitle = "ASE '22",

publisher = "Association for Computing Machinery",

address = "United States",

}

Jongmans, SS 2023, Towards Gradual Multiparty Session Typing. in M Aehnelt & T Kirste (eds), ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering., 146, Association for Computing Machinery, 37th IEEE/ACM International Conference on Automated Software Engineering, Ann Arbor, United States, 26/09/22. https://doi.org/10.1145/3551349.3561167

Towards Gradual Multiparty Session Typing. / Jongmans, Sung Shik.
ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering. ed. / Mario Aehnelt; Thomas Kirste. Association for Computing Machinery, 2023. 146.

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Towards Gradual Multiparty Session Typing

AU - Jongmans, Sung Shik

N1 - Conference code: 37

PY - 2023/1/5

Y1 - 2023/1/5

N2 - To make concurrent programming easier, languages (e.g., Go, Rust, Clojure) have started to offer core support for message passing through channels in shared memory. However, channels also have their issues. Multiparty session types (MPST) constitute a method to make channel usage simpler. In this paper, to consolidate the best qualities of "static MPST"(early feedback, fast execution) and "dynamic MPST"(high expressiveness), we present a project that reinterprets the MPST method through the lens of gradual typing.

AB - To make concurrent programming easier, languages (e.g., Go, Rust, Clojure) have started to offer core support for message passing through channels in shared memory. However, channels also have their issues. Multiparty session types (MPST) constitute a method to make channel usage simpler. In this paper, to consolidate the best qualities of "static MPST"(early feedback, fast execution) and "dynamic MPST"(high expressiveness), we present a project that reinterprets the MPST method through the lens of gradual typing.

U2 - 10.1145/3551349.3561167

DO - 10.1145/3551349.3561167

M3 - Conference Article in proceeding

AN - SCOPUS:85146932498

SN - 978-1-4503-9475-8

BT - ASE '22

A2 - Aehnelt, Mario

A2 - Kirste, Thomas

PB - Association for Computing Machinery

T2 - 37th IEEE/ACM International Conference on Automated Software Engineering

Y2 - 26 September 2022 through 1 October 2022

ER -

Towards Gradual Multiparty Session Typing

Abstract

Conference

Access to Document

Fingerprint

Cite this