Published: 17th June 2016
DOI: 10.4204/EPTCS.211
ISSN: 2075-2180

EPTCS 211

Proceedings of the Ninth workshop on
Programming Language Approaches to Concurrency- and Communication-cEntric Software
Eindhoven, The Netherlands, 8th April 2016

Edited by: Dominic Orchard and Nobuko Yoshida

Preface
Dominic Orchard and Nobuko Yoshida
Secure Multiparty Sessions with Topics
Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Ugo de'Liguoro
1
Formalization of Phase Ordering
Tiago Cogumbreiro, Jun Shirako and Vivek Sarkar
13
Parallel Monitors for Self-adaptive Sessions
Mario Coppo, Mariangiola Dezani-Ciancaglini and Betti Venneri
25
Event-driven Adaptation in COP
Pierpaolo Degano, Gian-Luigi Ferrari and Letterio Galletta
37
From Events to Reactions: A Progress Report
Tony Garnock-Jones
46
Reversible Sessions Using Monitors
Claudio A. Mezzina and Jorge A. Pérez
56
Future-based Static Analysis of Message Passing Programs
Wytse Oortwijn, Stefan Blom and Marieke Huisman
65
Multiparty Compatibility for Concurrent Objects
Roly Perera, Julien Lange and Simon J. Gay
73
Program Execution on Reconfigurable Multicore Architectures
Sanjiva Prasad
83

Preface

PLACES 2016 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the ninth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop has been part of ETAPS every year since 2009 and is now an established part of the ETAPS satellite events. PLACES 2016 was held on 8th April in Eindhoven, The Netherlands. The workshop series was started in order to promote the application of novel programming language ideas to the increasingly important problem of developing software for systems in which concurrency and communication are intrinsic aspects. This includes software for both multi-core systems and large-scale distributed and/or service-oriented systems.

The scope of PLACES includes new programming language features, whole new programming language designs, new type systems, new semantic approaches, new program analysis techniques, and new implementation mechanisms. The workshop aims to span disciplines, from foundations of concurrency in programming language theory, to systems research, to application areas such as scientific computing. The unifying theme is the use of programming languages to address the challenges of concurrent computing.

This volume consists of the papers accepted for presentation at the workshop.

Programme Committee  We thank the programme committee for their hard work and careful reviews. Organising Committee