Skip to content. | Skip to navigation

  Programming Language Approaches to Concurrency and Communication-cEntric Software

Sections
Personal tools
You are here: Home Programme
Log in


Forgot your password?
 

Programme

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
« Junho 2017 »
Junho
Do
1234
567891011
12131415161718
19202122232425
2627282930