Published: 9th August 2022|
|Preface Clément Aubert, Cinzia Di Giusto, Larisa Safina and Alceste Scalas|
|Invited talk: Project Verona's Concurrency Model Matthew Parkinson|
|Invited talk: Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions Ilaria Castellani|
|The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics Eduard Kamburjan and Nathan Wasser||1|
|Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules Gerard Tabone and Adrian Francalanza||17|
|Branching Pomsets for Choreographies Luc Edixhoven, Sung-Shik Jongmans, José Proença and Guillermina Cledou||37|
|On Composing Communicating Systems Franco Barbanera, Ivan Lanese and Emilio Tuosto||53|
|Lang-n-Send Extended: Sending Regular Expressions to Monitors Matteo Cimini||69|
This volume contains the proceedings of ICE’22, the 15th Interaction and Concurrency Experience, which was held as an hybrid event in Lucca, Italy, and as a satellite event of DisCoTec’22. The previous editions of ICE were affiliated with ICALP’08 (Reykjavik, Iceland), CONCUR’09 (Bologna, Italy), DisCoTec’10 (Amsterdam, The Netherlands), DisCoTec’11 (Reykjavik, Iceland), DisCoTec’12 (Stockholm, Sweden), DisCoTec’13 (Florence, Italy), DisCoTec’14 (Berlin, Germany), DisCoTec’15 (Grenoble, France), DisCoTec’16 (Heraklion, Greece), DisCoTec’17 (Neuchâtel, Switzerland), DisCoTec’18 (Madrid, Spain), DisCoTec’19 (Lyngby, Denmark), DisCoTec’20 (virtual, hosted by the University of Malta) and DisCoTec’21 (virtual, hosted by the University of Malta).
The ICE workshop series features a distinguishing review and selection procedure: PC members are encouraged to interact, anonymously, with authors. This year these interactions took place on the OpenReview platform which combines paper selection features with forum-like interactions. As in the past editions, the forum discussion during the review and selection phase of ICE’22 considerably improved the accuracy of the feedback from the reviewers and the quality of accepted papers, and offered the basis for lively discussion during the workshop. The time and effort spent on the interaction between reviewers and authors is rewarding for all parties. The discussions on OpenReview make it possible to resolve misunderstandings at an early stage of the review process, to discover and correct mistakes in key definitions, and to improve examples and presentation.
The 2022 edition of ICE included double blind reviewing of original research papers, in order to increase fairness and avoid bias in reviewing. Research papers were blinded for submission, with authors’ names and identifying details removed, and authors were given anonymous access to a dedicated section of OpenReview. Each paper was reviewed by between two and four PC members (with an average of 3.33333333333), and altogether 5 papers were accepted for publication - plus 3 oral presentations which are not part of this volume. We were proud to host 2 invited talks, by Ilaria Castellani and Matthew Parkinson. The abstracts of these talks are included in this volume, together with the final versions of the research papers, which take into account the discussion at the workshop.
We would like to thank the authors of all the submitted papers for their interest in the workshop. We thank Ilaria Castellani and Matthew Parkinson for accepting our invitations to present their recent work. We are grateful for the efforts of the PC members:
Duncan Paul Attard (Reykjavík University, IS) ★
Massimo Bartoletti (Università di Cagliari, IT)
Davide Basile (ISTI CNR, IT)
Alex Coto (Gran Sasso Science Institute, IT)
Hélène Coullon (IMT Atlantique, FR)
Jovana Dedeić (Faculty of Technical Sciences, University of Novi Sad, RS)
Simon Fowler (University of Glasgow School of Computing Science, GB-SCT)
Saverio Giallorenzo (University of Bologna, IT)
Ludovic Henrio (CNRS, FR)
Keigo Imai (Gifu University, JP)
Sung-Shik Jongmans (Open University of the Netherlands, NL)
Ivan Lanese (University of Bologna, IT)
Julien Lange (Royal Holloway, University of London, GB)
Sergueï Lenglet (Université de Lorraine, FR)
Diego Marmsoler (University of Exeter, GB)
Doriana Medić (University of Turin, IT)
Kirstin Peters (Technischen Universität Darmstadt, GE)
Ivan Prokić (Faculty of Technical Sciences, University of Novi Sad, RS)
Matteo Sammartino (Royal Holloway, University of London, GB)
Amrita Suresh (ENS Paris Saclay, FR)
★ The ICE 2022 Outstanding PC Member Award was awarded this year to Duncan Paul Attard.
Previously, were awarded:
ICE 2021 Outstanding PC Member Award: Ivan Prokić
ICE 2020 Outstanding PC Member Award: Simon Fowler
We thank the ICE steering committee and the DisCoTec’22 organizers, in particular the general and workshop chairs, for providing an excellent environment for the preparation and staging of the event. Finally, we thank the editors of EPTCS for the publication of these post-proceedings.
Project Verona is a research programming language exploring various interactions between ownership, memory management and concurrency. In this talk, I will present its concurrency model, which enables asynchronously creating atomic and ordered units of work with exclusive access to a collection of independent resources. I will demonstrate the approach through a series of pedagogical examples, and briefly discuss both the implementation and the performance of the paradigm.
Matthew Parkinson is a Principal Researcher at Microsoft Research. Prior to joining Microsoft in 2010, he spent four years as a RAEng/EPSRC research fellowship at the University of Cambridge, where he also did his Ph.D..
His research focusses on Concurrency and Ownership, with a particular focus on memory safety. His recent research focusses on Project Verona and its allocator snmalloc. Project Verona is a new language to explore research about efficient and safe ways to manage memory.
In this talk, I will address the connection between multiparty session types (MPSTs) and event structures (ESs), focussing on a core asynchronous session calculus and on two simple classes of ESs, Prime ESs and Flow ESs. I will first introduce a new notion of global type for asynchronous multiparty sessions, which splits the standard communication construct of MPSTs in two constructs (one for output and one for input), and show that this new typing ensures the expected properties for asynchronous sessions, including progress.
I will then present an interpretation of asynchronous multiparty sessions as Flow ESs and an interpretation of our new global types as Prime ESs. I will conclude with our main result, stating that the ES interpretation of a session is equivalent, when the session is typable, to the ES interpretation of its type, namely, that the two interpretations yield isomorphic domains of configurations.
Based on joint work with Mariangiola Dezani-Ciancaglini and Paola Giannini.
Ilaria Castellani is a senior researcher at INRIA Sophia Antipolis, France. Her main research interests are in non-interleaving semantics for process calculi, language-based security for concurrent programs and processes, and multiparty session types. She was the chair of the IFIP TC1 Working Group 1.8 on Concurrency Theory from 2014 to 2020.