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?


Preliminary Proceedings

Here are the preliminary proceedings as a PDF. The proceedings will also be available on a USB stick at the workshop.

Session 1: 9.00 - 10.30

9.00   Work-streaming compilation of futures
   Antoniu Pop and Albert Cohen
9.30   Variant-Frequency Semantics for Green Futures
   Yu David Liu
10.00   An event-based model for contracts
   Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna and Roberto Zunino

Break: 10.30 - 11.00


Session 2: 11.00 - 12.30

11.00   Stratified Protocols in Session-Types
   Romain Demangeon
11.30   Merging Multiparty Protocols in Multiparty Choreographies
   Marco Carbone and Fabrizio Montesi
12.00   QIRAL: A High Level Language for Lattice QCD Code Generation
   Denis Barthou, Gilbert Grosdidier, Michael Kruse, Olivier Pene and Claude Tadonki

Lunch: 12.30 - 14.00


Session 3: 14.00 - 15.30

14.00   Invited Talk
  Can GPGPU Programming be Liberated from the Data-Parallel Bottleneck? A Style of Braided Parallelism and its Programs
   Benedict Gaster
15.00   Mapping the Join Calculus to Heterogeneous Hardware
   Peter Calvert and Alan Mycroft

Break: 15.30 - 16.00


Session 4: 16.00 - 17.30

16.00   Specifying stateful asynchronous properties for distributed programs
   Tzu-Chun Chen and Kohei Honda
16.30   Modularizing and Specifying Protocols among Threads
   Sung-Shik T.Q. Jongmans and Farhad Arbab
17.00   Typing Context-Dependent Behavioural Variation
   Pierpaolo Degano, Gianluigi Ferrari, Letterio Galletta and Gianluca Mezzetti
Document Actions
« Abril 2019 »