{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:06:31Z","timestamp":1755907591231,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T00:00:00Z","timestamp":1665360000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Netherlands Organisation of Scientific Research","award":["016.Veni.192.103"],"award-info":[{"award-number":["016.Veni.192.103"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3561167","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Gradual Multiparty Session Typing"],"prefix":"10.1145","author":[{"given":"Sung-Shik","family":"Jongmans","sequence":"first","affiliation":[{"name":"Open University of the Netherlands, Netherlands and Centrum Wiskunde & Informatica (CWI), Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000031"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Ezio Bartocci and Yli\u00e8s Falcone (Eds.). 2018. Lectures on Runtime Verification - Introductory and Advanced Topics. Lecture Notes in Computer Science Vol.\u00a010457. Springer.","DOI":"10.1007\/978-3-319-75632-5"},{"volume-title":"ECOOP(Lecture Notes in Computer Science, Vol.\u00a08586)","author":"Bierman M.","key":"e_1_3_2_1_3_1","unstructured":"Gavin\u00a0M. Bierman, Mart\u00edn Abadi, and Mads Torgersen. 2014. Understanding TypeScript. In ECOOP(Lecture Notes in Computer Science, Vol.\u00a08586). Springer, 257\u2013281."},{"volume-title":"ECOOP(Lecture Notes in Computer Science, Vol.\u00a06183)","author":"Bierman M.","key":"e_1_3_2_1_4_1","unstructured":"Gavin\u00a0M. Bierman, Erik Meijer, and Mads Torgersen. 2010. Adding Dynamic Types to C#. In ECOOP(Lecture Notes in Computer Science, Vol.\u00a06183). Springer, 76\u2013100."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2017.02.009"},{"volume-title":"CONCUR(Lecture Notes in Computer Science, Vol.\u00a06269)","author":"Bocchi Laura","key":"e_1_3_2_1_6_1","unstructured":"Laura Bocchi, Kohei Honda, Emilio Tuosto, and Nobuko Yoshida. 2010. A Theory of Design-by-Contract for Distributed Multiparty Interactions. In CONCUR(Lecture Notes in Computer Science, Vol.\u00a06269). Springer, 162\u2013176."},{"volume-title":"CONCUR(Lecture Notes in Computer Science, Vol.\u00a08704)","author":"Bocchi Laura","key":"e_1_3_2_1_7_1","unstructured":"Laura Bocchi, Weizhen Yang, and Nobuko Yoshida. 2014. Timed Multiparty Session Types. In CONCUR(Lecture Notes in Computer Science, Vol.\u00a08704). Springer, 419\u2013434."},{"volume-title":"ESOP(Lecture Notes in Computer Science, Vol.\u00a09632)","author":"Bonnaire-Sergeant Ambrose","key":"e_1_3_2_1_8_1","unstructured":"Ambrose Bonnaire-Sergeant, Rowan Davies, and Sam Tobin-Hochstadt. 2016. Practical Optional Types for Clojure. In ESOP(Lecture Notes in Computer Science, Vol.\u00a09632). Springer, 68\u201394."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.07.005"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129514000619"},{"volume-title":"CONCUR(Lecture Notes in Computer Science, Vol.\u00a06269)","author":"Capecchi Sara","key":"e_1_3_2_1_11_1","unstructured":"Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, and Tamara Rezk. 2010. Session Types for Access and Information Flow Control. In CONCUR(Lecture Notes in Computer Science, Vol.\u00a06269). Springer, 237\u2013252."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0381-3"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290342"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Matteo Cimini and Jeremy\u00a0G. Siek. 2016. The gradualizer: a methodology and algorithm for generating gradual type systems. In POPL. ACM 443\u2013455.","DOI":"10.1145\/2837614.2837632"},{"key":"e_1_3_2_1_15_1","first-page":"1","article-title":"API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. In ECOOP(LIPIcs, Vol.\u00a0222)","volume":"27","author":"Cledou Guillermina","year":"2022","unstructured":"Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, and Jos\u00e9 Proen\u00e7a. 2022. API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. In ECOOP(LIPIcs, Vol.\u00a0222). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 27:1\u201327:28.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-014-0218-8"},{"key":"e_1_3_2_1_17_1","volume-title":"Parameterised Multiparty Session Types. Logical Methods in Computer Science 8, 4","author":"Deni\u00e9lou Pierre-Malo","year":"2012","unstructured":"Pierre-Malo Deni\u00e9lou, Nobuko Yoshida, Andi Bejleri, and Raymond Hu. 2012. Parameterised Multiparty Session Types. Logical Methods in Computer Science 8, 4 (2012)."},{"key":"e_1_3_2_1_18_1","volume-title":"Discourje: Runtime Verification of Communication Protocols in Clojure. In TACAS (1)(Lecture Notes in Computer Science, Vol.\u00a012078)","author":"Hamers Ruben","year":"2020","unstructured":"Ruben Hamers and Sung-Shik Jongmans. 2020. Discourje: Runtime Verification of Communication Protocols in Clojure. In TACAS (1)(Lecture Notes in Computer Science, Vol.\u00a012078). Springer, 266\u2013284."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Kohei Honda Nobuko Yoshida and Marco Carbone. 2008. Multiparty asynchronous session types. In POPL. ACM 273\u2013284.","DOI":"10.1145\/1328438.1328472"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Erik Horlings and Sung-Shik Jongmans. 2021. Analysis of specifications of multiparty sessions with dcj-lint. In ESEC\/SIGSOFT FSE. ACM 1590\u20131594.","DOI":"10.1145\/3468264.3473127"},{"volume-title":"FASE(Lecture Notes in Computer Science, Vol.\u00a09633)","author":"Hu Raymond","key":"e_1_3_2_1_21_1","unstructured":"Raymond Hu and Nobuko Yoshida. 2016. Hybrid Session Verification Through Endpoint API Generation. In FASE(Lecture Notes in Computer Science, Vol.\u00a09633). Springer, 401\u2013418."},{"volume-title":"FASE(Lecture Notes in Computer Science, Vol.\u00a010202)","author":"Hu Raymond","key":"e_1_3_2_1_22_1","unstructured":"Raymond Hu and Nobuko Yoshida. 2017. Explicit Connection Actions in Multiparty Session Types. In FASE(Lecture Notes in Computer Science, Vol.\u00a010202). Springer, 116\u2013133."},{"key":"e_1_3_2_1_23_1","volume-title":"Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49, 1","author":"H\u00fcttel Hans","year":"2016","unstructured":"Hans H\u00fcttel, Ivan Lanese, Vasco\u00a0T. Vasconcelos, Lu\u00eds Caires, Marco Carbone, Pierre-Malo Deni\u00e9lou, Dimitris Mostrous, Luca Padovani, Ant\u00f3nio Ravara, Emilio Tuosto, Hugo\u00a0Torres Vieira, and Gianluigi Zavattaro. 2016. Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49, 1 (2016), 3:1\u20133:36."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796819000169"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Jonathan King Nicholas Ng and Nobuko Yoshida. 2019. Multiparty Session Type-safe Web Development with Static Linearity. In PLACES@ETAPS(EPTCS Vol.\u00a0291). 35\u201346.","DOI":"10.4204\/EPTCS.291.4"},{"volume-title":"COORDINATION(Lecture Notes in Computer Science, Vol.\u00a012134)","author":"Lagaillardie Nicolas","key":"e_1_3_2_1_26_1","unstructured":"Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida. 2020. Implementing Multiparty Session Types in Rust. In COORDINATION(Lecture Notes in Computer Science, Vol.\u00a012134). Springer, 127\u2013136."},{"key":"e_1_3_2_1_27_1","first-page":"1","article-title":"Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. In ECOOP(LIPIcs, Vol.\u00a0222)","volume":"4","author":"Lagaillardie Nicolas","year":"2022","unstructured":"Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida. 2022. Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. In ECOOP(LIPIcs, Vol.\u00a0222). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 4:1\u20134:29.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Julien Lange Nicholas Ng Bernardo Toninho and Nobuko Yoshida. 2018. A static verification framework for message passing in Go using behavioural types. In ICSE. ACM 1137\u20131148.","DOI":"10.1145\/3180155.3180157"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Anson Miu Francisco Ferreira Nobuko Yoshida and Fangyi Zhou. 2021. Communication-safe web programming in TypeScript with routed multiparty session types. In CC. ACM 94\u2013106.","DOI":"10.1145\/3446804.3446854"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0420-8"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Rumyana Neykova Raymond Hu Nobuko Yoshida and Fahd Abdeljallal. 2018. A session type provider: compile-time API generation of distributed protocols with refinements in F#. In CC. ACM 128\u2013138.","DOI":"10.1145\/3178372.3179495"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-014-0172-8"},{"volume-title":"Types and programming languages","author":"Pierce C.","key":"e_1_3_2_1_33_1","unstructured":"Benjamin\u00a0C. Pierce. 2002. Types and programming languages. MIT Press."},{"key":"e_1_3_2_1_34_1","unstructured":"Alceste Scalas Ornela Dardha Raymond Hu and Nobuko Yoshida. 2017. A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. In ECOOP(LIPIcs Vol.\u00a074). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 24:1\u201324:31."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Alceste Scalas Nobuko Yoshida and Elias Benussi. 2019. Verifying message-passing programs with dependent behavioural types. In PLDI. ACM 502\u2013516.","DOI":"10.1145\/3314221.3322484"},{"key":"e_1_3_2_1_36_1","volume-title":"Siek and Walid Taha","author":"G.","year":"2007","unstructured":"Jeremy\u00a0G. Siek and Walid Taha. 2007. Gradual Typing for Objects. In ECOOP(Lecture Notes in Computer Science, Vol.\u00a04609). Springer, 2\u201327."},{"key":"e_1_3_2_1_37_1","unstructured":"Asumu Takikawa Daniel Feltey Earl Dean Matthew Flatt Robert\u00a0Bruce Findler Sam Tobin-Hochstadt and Matthias Felleisen. 2015. Towards Practical Gradual Typing. In ECOOP(LIPIcs Vol.\u00a037). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik 4\u201327."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Tengfei Tu Xiaoyu Liu Linhai Song and Yiying Zhang. 2019. Understanding Real-World Concurrency Bugs in Go. In ASPLOS. ACM 865\u2013878.","DOI":"10.1145\/3297858.3304069"},{"volume-title":"FCT(Lecture Notes in Computer Science, Vol.\u00a012867)","author":"Yoshida Nobuko","key":"e_1_3_2_1_39_1","unstructured":"Nobuko Yoshida, Fangyi Zhou, and Francisco Ferreira. 2021. Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. In FCT(Lecture Notes in Computer Science, Vol.\u00a012867). Springer, 18\u201335."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428216"}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","acronym":"ASE '22","location":"Rochester MI USA"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3561167","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3561167","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T08:27:59Z","timestamp":1755851279000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3561167"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":40,"alternative-id":["10.1145\/3551349.3561167","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3561167","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}