Skip to content. | Skip to navigation


  Programming Language Approaches to Concurrency and Communication-cEntric Software

Personal tools
You are here: Home Programme
Log in

Forgot your password?



There is no printed proceedings for PLACES. The pre-proceedings is on the ETAPS CD which will be distributed at the conference. If you would like to have a printed copy of the pre-proceedings, please print it from here and bring it to the workshop.

9.00 Welcome
Session 1

9.00 Virtual Machine Support for Many-Core Architectures: Decoupling Abstract From Concrete Concurrency Models
Stefan Marr, Michael Haupt, Stijn Timbermont, Bram Adams, Theo D'Hondt, Pascal Costanza and Wolfgang De Meuter
9.30 Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Vasco T. Vasconcelos, Francisco Martins and Tiago Cogumbreiro
10.00 A Concurrent Language with a Uniform Treatment of Regions and Locks
Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas
10.30 Break

Session 2

11.00 Session-Based Type Discipline for Pi Calculus with Matching
Marco Giunti, Kohei Honda, Vasco T. Vasconcelos and Nobuko Yoshida
11.30 Session-Based Programming for Parallel Algorithms
Andi Bejleri, Raymond Hu and Nobuko Yoshida
12.00 Towards a Unified Framework for Declarative Sessions
Hugo Andres Lopez, Jorge A. Perez and Carlos Olarte
12.30 Lunch

Session 3

14.00 Invited Lecture: Combining Synchronization and Communication in Task-Based
Parallel Programming Models
Vivek Sarkar, E.D. Butcher Professor of Computer Science, Rice University
15.30 Break

Session 4

16.00 Execution Models for Choreographies and Cryptoprotocols
Marco Carbone and Joshua Guttman
16.30 Towards the Safe Programming of Wireless Sensor Networks
Francisco Martins, Luis Lopes and Joao Barros
17.00 Programming Idioms for Transactional Events
Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz and Dan Grossman
17.30 Softly Safely Spoken: Role Playing for Session Types
Elena Giachino, Matthew Sackman, Sophia Drossopoulou and Susan Eisenbach
Document Actions
« March 2017 »