Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

TL;DR

PLACES 2017 showcased recent advances in programming languages designed to better handle concurrency and communication in complex software systems, emphasizing new language features, type systems, and semantic approaches.

Contribution

The workshop series highlights novel programming language ideas specifically tailored for systems with intrinsic concurrency and communication challenges.

Findings

Introduction of new language features for concurrency

Development of advanced type systems for communication safety

Innovative semantic approaches for concurrent programming

Abstract

PLACES 2017 (full title: Programming Language Approaches to Concurrency- and Communication-cEntric Software) is the tenth 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 2017 was held on 29th April in Uppsala, Sweden. 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 volume consists of the papers accepted for presentation at the workshop.