{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T22:25:06Z","timestamp":1730327106782,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","funder":[{"name":"Netherlands Organisation of Scientific Research - NWO","award":["016.Veni.192.103"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3604926","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1511-1514","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis"],"prefix":"10.1145","author":[{"given":"Francisco","family":"Ferreira","sequence":"first","affiliation":[{"name":"Royal Holloway University of London, UK"}]},{"given":"Sung-Shik","family":"Jongmans","sequence":"additional","affiliation":[{"name":"Open University of the Netherlands, Netherlands \/ CWI, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"volume-title":"Advanced Topics in Bisimulation and Coinduction","author":"Aceto Luca","key":"e_1_3_2_1_1_1","unstructured":"Luca Aceto , Anna Ing\u00f3lfsd\u00f3ttir , and Jir\u00ed Srba . 2012. The algorithmics of bisimilarity . In Advanced Topics in Bisimulation and Coinduction ( Cambridge tracts in theoretical computer science, Vol. 52). Luca Aceto, Anna Ing\u00f3lfsd\u00f3ttir, and Jir\u00ed Srba. 2012. The algorithmics of bisimilarity. In Advanced Topics in Bisimulation and Coinduction (Cambridge tracts in theoretical computer science, Vol. 52)."},{"key":"e_1_3_2_1_2_1","first-page":"2","article-title":"Behavioral Types in Programming Languages","volume":"3","author":"Davide Ancona","year":"2016","unstructured":"Davide Ancona et al.. 2016 . Behavioral Types in Programming Languages . Foundations and Trends in Programming Languages , 3 , 2 - 3 (2016). Davide Ancona et al.. 2016. Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages, 3, 2-3 (2016).","journal-title":"Foundations and Trends in Programming Languages"},{"key":"e_1_3_2_1_3_1","first-page":"7","article-title":"Reversible sessions with flexible choices","volume":"56","author":"Castellani Ilaria","year":"2019","unstructured":"Ilaria Castellani , Mariangiola Dezani-Ciancaglini , and Paola Giannini . 2019 . Reversible sessions with flexible choices . Acta Informatica , 56 , 7 - 8 (2019). Ilaria Castellani, Mariangiola Dezani-Ciancaglini, and Paola Giannini. 2019. Reversible sessions with flexible choices. Acta Informatica, 56, 7-8 (2019).","journal-title":"Acta Informatica"},{"volume-title":"Asynchronous Sessions with Input Races. CoRR, abs\/2203.12876","year":"2022","author":"Castellani Ilaria","key":"e_1_3_2_1_4_1","unstructured":"Ilaria Castellani , Mariangiola Dezani-Ciancaglini , and Paola Giannini . 2022. Asynchronous Sessions with Input Races. CoRR, abs\/2203.12876 ( 2022 ). Ilaria Castellani, Mariangiola Dezani-Ciancaglini, and Paola Giannini. 2022. Asynchronous Sessions with Input Races. CoRR, abs\/2203.12876 (2022)."},{"volume-title":"Global types with internal delegation. Theor. Comput. Sci., 807","year":"2020","author":"Castellani Ilaria","key":"e_1_3_2_1_5_1","unstructured":"Ilaria Castellani , Mariangiola Dezani-Ciancaglini , Paola Giannini , and Ross Horne . 2020. Global types with internal delegation. Theor. Comput. Sci., 807 ( 2020 ). Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, and Ross Horne. 2020. Global types with internal delegation. Theor. Comput. Sci., 807 (2020)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290342"},{"volume-title":"ECOOP (LIPIcs","year":"2022","author":"Cledou Guillermina","key":"e_1_3_2_1_7_1","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. 222). 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. 222)."},{"volume-title":"ICDCIT (LNCS","year":"2011","author":"Honda Kohei","key":"e_1_3_2_1_8_1","unstructured":"Kohei Honda , Aybek Mukhamedov , Gary Brown , Tzu-Chun Chen , and Nobuko Yoshida . 2011 . Scribbling Interactions with a Formal Foundation . In ICDCIT (LNCS , Vol. 6536). Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, and Nobuko Yoshida. 2011. Scribbling Interactions with a Formal Foundation. In ICDCIT (LNCS, Vol. 6536)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Kohei Honda Nobuko Yoshida and Marco Carbone. 2008. Multiparty asynchronous session types. In POPL. \t\t\t\t Kohei Honda Nobuko Yoshida and Marco Carbone. 2008. Multiparty asynchronous session types. In POPL.","DOI":"10.1145\/1328438.1328472"},{"volume-title":"FASE (LNCS","year":"2016","author":"Hu Raymond","key":"e_1_3_2_1_10_1","unstructured":"Raymond Hu and Nobuko Yoshida . 2016 . Hybrid Session Verification Through Endpoint API Generation . In FASE (LNCS , Vol. 9633). Raymond Hu and Nobuko Yoshida. 2016. Hybrid Session Verification Through Endpoint API Generation. In FASE (LNCS, Vol. 9633)."},{"volume-title":"FASE (LNCS","year":"2017","author":"Hu Raymond","key":"e_1_3_2_1_11_1","unstructured":"Raymond Hu and Nobuko Yoshida . 2017 . Explicit Connection Actions in Multiparty Session Types . In FASE (LNCS , Vol. 10202). Raymond Hu and Nobuko Yoshida. 2017. Explicit Connection Actions in Multiparty Session Types. In FASE (LNCS, Vol. 10202)."},{"volume-title":"Hugo Torres Vieira, and Gianluigi Zavattaro","year":"2016","author":"H\u00fcttel Hans","key":"e_1_3_2_1_12_1","unstructured":"Hans H\u00fcttel , Ivan Lanese , Vasco T. Vasconcelos , Lu\u00eds Caires , Marco Carbone , Pierre-Malo Deni\u00e9lou , Dimitris Mostrous , Luca Padovani , Ant\u00f3nio Ravara , Emilio Tuosto , Hugo Torres Vieira, and Gianluigi Zavattaro . 2016 . Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv ., 49, 1 (2016). Hans H\u00fcttel, Ivan Lanese, Vasco T. Vasconcelos, Lu\u00eds Caires, Marco Carbone, Pierre-Malo Deni\u00e9lou, Dimitris Mostrous, Luca Padovani, Ant\u00f3nio Ravara, Emilio Tuosto, Hugo Torres Vieira, and Gianluigi Zavattaro. 2016. Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv., 49, 1 (2016)."},{"volume-title":"ECOOP (LIPIcs","year":"2020","author":"Imai Keigo","key":"e_1_3_2_1_13_1","unstructured":"Keigo Imai , Rumyana Neykova , Nobuko Yoshida , and Shoji Yuen . 2020 . Multiparty Session Programming With Global Protocol Combinators . In ECOOP (LIPIcs , Vol. 166). Keigo Imai, Rumyana Neykova, Nobuko Yoshida, and Shoji Yuen. 2020. Multiparty Session Programming With Global Protocol Combinators. In ECOOP (LIPIcs, Vol. 166)."},{"key":"e_1_3_2_1_14_1","first-page":"1","article-title":"Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types. In ECOOP (LIPIcs, Vol. 263)","volume":"9","author":"Jongmans Sung-Shik","year":"2023","unstructured":"Sung-Shik Jongmans and Francisco Ferreira . 2023 . Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types. In ECOOP (LIPIcs, Vol. 263) . Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 9 : 1 \u2013 9 :29. Sung-Shik Jongmans and Francisco Ferreira. 2023. Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types. In ECOOP (LIPIcs, Vol. 263). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 9:1\u20139:29.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"volume-title":"Regular Multiparty Sessions via Implicit Local Types (Artifact). Dagstuhl Artifacts Ser., 9, 2","year":"2023","author":"Jongmans Sung-Shik","key":"e_1_3_2_1_15_1","unstructured":"Sung-Shik Jongmans and Francisco Ferreira . 2023. Synthetic Behavioural Typing: Sound , Regular Multiparty Sessions via Implicit Local Types (Artifact). Dagstuhl Artifacts Ser., 9, 2 ( 2023 ). Sung-Shik Jongmans and Francisco Ferreira. 2023. Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact). Dagstuhl Artifacts Ser., 9, 2 (2023)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Sung-Shik Jongmans and N. Yoshida. 2020. Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. In ESOP (LNCS Vol. 12075). \t\t\t\t Sung-Shik Jongmans and N. Yoshida. 2020. Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. In ESOP (LNCS Vol. 12075).","DOI":"10.26226\/morressier.604907f41a80aac83ca25d47"},{"volume-title":"COORDINATION (LNCS","year":"2020","author":"Lagaillardie Nicolas","key":"e_1_3_2_1_17_1","unstructured":"Nicolas Lagaillardie , Rumyana Neykova , and Nobuko Yoshida . 2020 . Implementing Multiparty Session Types in Rust . In COORDINATION (LNCS , Vol. 12134). Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida. 2020. Implementing Multiparty Session Types in Rust. In COORDINATION (LNCS, Vol. 12134)."},{"volume-title":"ECOOP (LIPIcs","year":"2022","author":"Lagaillardie Nicolas","key":"e_1_3_2_1_18_1","unstructured":"Nicolas Lagaillardie , Rumyana Neykova , and Nobuko Yoshida . 2022 . Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types . In ECOOP (LIPIcs , Vol. 222). Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida. 2022. Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. In ECOOP (LIPIcs, Vol. 222)."},{"volume-title":"CONCUR (LIPIcs","year":"2021","author":"Majumdar Rupak","key":"e_1_3_2_1_19_1","unstructured":"Rupak Majumdar , Madhavan Mukund , Felix Stutz , and Damien Zufferey . 2021 . Generalising Projection in Asynchronous Multiparty Session Types . In CONCUR (LIPIcs , Vol. 203). Rupak Majumdar, Madhavan Mukund, Felix Stutz, and Damien Zufferey. 2021. Generalising Projection in Asynchronous Multiparty Session Types. In CONCUR (LIPIcs, Vol. 203)."},{"key":"e_1_3_2_1_20_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. \t\t\t\t Anson Miu Francisco Ferreira Nobuko Yoshida and Fangyi Zhou. 2021. Communication-safe web programming in TypeScript with routed multiparty session types. In CC.","DOI":"10.1145\/3446804.3446854"},{"key":"e_1_3_2_1_21_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. \t\t\t\t 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.","DOI":"10.1145\/3178372.3179495"},{"volume-title":"ECOOP (LIPIcs","year":"2017","author":"Scalas Alceste","key":"e_1_3_2_1_22_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. 74). Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida. 2017. A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. In ECOOP (LIPIcs, Vol. 74)."},{"volume-title":"Proc. ACM Program. Lang., 3, POPL","year":"2019","author":"Scalas Alceste","key":"e_1_3_2_1_23_1","unstructured":"Alceste Scalas and Nobuko Yoshida . 2019 . Less is more: multiparty session types revisited . Proc. ACM Program. Lang., 3, POPL (2019). Alceste Scalas and Nobuko Yoshida. 2019. Less is more: multiparty session types revisited. Proc. ACM Program. Lang., 3, POPL (2019)."},{"key":"e_1_3_2_1_24_1","unstructured":"Tengfei Tu Xiaoyu Liu Linhai Song and Yiying Zhang. 2019. Understanding Real-World Concurrency Bugs in Go. In ASPLOS. \t\t\t\t Tengfei Tu Xiaoyu Liu Linhai Song and Yiying Zhang. 2019. Understanding Real-World Concurrency Bugs in Go. In ASPLOS."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Rob van Glabbeek Peter H\u00f6fner and Ross Horne. 2021. Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. In LICS. \t\t\t\t Rob van Glabbeek Peter H\u00f6fner and Ross Horne. 2021. Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. In LICS.","DOI":"10.1109\/LICS52264.2021.9470531"},{"volume-title":"Proc. ACM Program. Lang., 4, OOPSLA","year":"2020","author":"Zhou Fangyi","key":"e_1_3_2_1_26_1","unstructured":"Fangyi Zhou , Francisco Ferreira , Raymond Hu , Rumyana Neykova , and Nobuko Yoshida . 2020 . Statically verified refinements for multiparty protocols . Proc. ACM Program. Lang., 4, OOPSLA (2020). Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, and Nobuko Yoshida. 2020. Statically verified refinements for multiparty protocols. Proc. ACM Program. Lang., 4, OOPSLA (2020)."}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Seattle WA USA","acronym":"ISSTA '23"},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3604926","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:39:05Z","timestamp":1689280745000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3604926"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":26,"alternative-id":["10.1145\/3597926.3604926","10.1145\/3597926"],"URL":"http:\/\/dx.doi.org\/10.1145\/3597926.3604926","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}
