Published: 24th March 2022
DOI: 10.4204/EPTCS.356
ISSN: 2075-2180

EPTCS 356

Proceedings of the 13th International Workshop on
Programming Language Approaches to Concurrency and Communication-cEntric Software
Munich, Germany, 3rd April 2022

Edited by: Marco Carbone and Rumyana Neykova

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

Preface

The Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) series is dedicated to the understanding of a wide variety of foundational and practical programming language approaches to the area of concurrent and parallel programming of hardware and software systems. The series is a forum for contributions in several areas, including design and implementation of new programming languages, models for concurrent and distributed systems and their mechanisation in proof assistants, type system approaches, verification and program analysis methods for safe and secure concurrent and distributed software, with applications to microservices, sensor networks, scientific computing, HPC, blockchains, and robotics.

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