Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Dominic Orchard (University of Cambridge), Nobuko Yoshida (Imperial, College London)

TL;DR
PLACES 2016 showcased recent advances in programming languages designed to improve concurrency and communication in software systems, emphasizing new language features, type systems, semantics, analysis, and implementation techniques.
Contribution
The workshop series highlights novel programming language ideas specifically tailored for concurrency and communication-centric software development.
Findings
Introduction of new language features for concurrency
Innovative type systems for communication protocols
Semantic approaches and analysis techniques for concurrent systems
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
