Published: 10th February 2016
DOI: 10.4204/EPTCS.203
ISSN: 2075-2180

EPTCS 203

Proceedings Eighth International Workshop on
Programming Language Approaches to Concurrency- and Communication-cEntric Software
London, UK, 18th April 2015

Edited by: Simon Gay and Jade Alglave

Preface
Simon Gay and Jade Alglave
Using session types as an effect system
Dominic Orchard and Nobuko Yoshida
1
Broadcast and aggregation in BBC
Hans Hüttel and Nuno Pratas
15
Precise subtyping for synchronous multiparty sessions
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović and Nobuko Yoshida
29
Reversible Communicating Processes
Geoffrey Brown and Amr Sabry
45
Retractable Contracts
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese and Ugo de'Liguoro
61
A Typed Model for Dynamic Authorizations
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez and Hugo Torres Vieira
73
Communicating machines as a dynamic binding mechanism of services
Ignacio Vissani, Carlos Gustavo Lopez Pombo and Emilio Tuosto
85
Distributed Programming via Safe Closure Passing
Philipp Haller and Heather Miller
99
Behavioural types for non-uniform memory accesses
Juliana Franco and Sophia Drossopoulou
109

Preface

PLACES 2015 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the eighth 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 2015 was held on 18th April in London, UK.

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.

This year's call for papers attracted 13 submissions of abstracts, of which 9 became submissions of full papers. Each paper was reviewed by three PC members. After discussion, the PC decided to accept all 9 papers, providing feedback to the authors for the preparation of the final versions. We used EasyChair for the whole process, which, as always, made everything very straightforward.

After the workshop, all of the authors were invited to produce revised versions of their papers for inclusion in the EPTCS proceedings, and all of them accepted the invitation. The present volume consists of those revised versions.

We would like to thank Martin Vechev (ETH Zurich) for his excellent invited talk, "Commutativity Race Detection: Concepts, Algorithms and Open Problems".

Finally, we would like to thank the ETAPS workshop chairs and local organizers for their help, and the programme committee for their hard work.

Simon Gay and Jade Alglave

Programme Committee Co-Chairs

Programme Committee

Organising Committee