Published: 24th March 2022|
|Preface Marco Carbone and Rumyana Neykova|
|Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types Daniel Marshall and Dominic Orchard||1|
|Asynchronous Sessions with Input Races Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola Giannini||12|
|Higher-order Context-free Session Types in System F Diana Costa, Andreia Mordido, Diogo Poças and Vasco T. Vasconcelos||24|
|Provable GPU Data-Races in Static Race Detection Dennis Liew, Tiago Cogumbreiro and Julien Lange||36|
|Lang-n-Send: Processes That Send Languages Matteo Cimini||46|
This volume contains the proceedings of the 13th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2022). The workshop will be held in Munich, Germany on April 3, 2022 and is a satellite event of ETAPS 2022, the European Joint Conferences on Theory and Practice of Software.
The Program Committee of PLACES 2022 consisted of the following people:
After a thourough reviewing process, the Program Committee has decided to select five (5) articles out of six (6) submissions for these EPTCS proceedings. In order to allow for more researchers to contribute with ideas and discussions at the workshop event, 2-page requests for presentation were allowed: out of nine (9) requests, the Program Committee has selected eight researchers to present at the workshop. Such short submissions are not part of these proceedings. Each submission (full paper or short) was evaluated by three referees and then discussed on the Easychair platform.
We would like to thank all those people who have contributed to make this event happen. This includes the authors of submissions, the Program Commitee, ETAPS organisers, the Easychair system, ETPCS and so many more. Moreover, we would like to thank Ilya Sergey for accepting our invitation to give a keynote presentation at the event in Munich. Finally, a special thank you goes to the Stirring Committee of PLACES, consisting of Simon Gay, Luca Padovani, Vasco T. Vasconcelos, and Nobuko Yoshida.
March 20th, 2022
Marco Carbone and Rumyana Neykova