Skip to content. | Skip to navigation

  PLACES

  Programming Language Approaches to Concurrency and Communication-cEntric Software


Sections
Personal tools
You are here: Home Programme
Log in


Forgot your password?
 

Programme

Morning


Opening

(a) Type Inference for Communications: 9:00-10:30

Alastair Donaldson, Daniel Kroening and Philipp Ruemmer.
Analysing DMA Races in Multicore Software

Luísa Lourenço and Luis Caires.
Type Inference for Conversation Types 

Keigo Imai, Shoji Yuen and Kiyoshi Agusa.
Session Type Inference in Haskell


(b) Controlling Imperative Concurrency: 11:00-12:30

Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas.
A Type System for Unstructured Locking that Guarantees Deadlock
Freedom without Imposing a Lock Ordering

Francisco Martins, Vasco Vasconcelos and Tiago Cogumbreiro.
An Investigation on Types for X10 Clocks

Joana Campos and Vasco T. Vasconcelos.
Channels as Objects in Concurrent Object-Oriented Programming


Lunch 12:30-14:00


Afternoon


(c) Invited talk: 14:00-15:00 

William Cook


(d) Language and Runtime Design: 15:00-16:00

Nuno Alves, Raymond Hu, Nobuko Yoshida and Pierre-Malo Deniélou.
Secure Execution of Distributed Session Programs

Julien Lange and Emilio Tuosto.
A Modular Toolkit for Theories of Distributed Interactions


Break 16:00-16:30


(e) Logical and Semantic Foundations of Distributed Programming: 16:30-17:30

Marco Carbone, Thomas Hildebrandt and Hugo A. Lopez.
Towards a Modal Logic for the Global Calculus

Thomas Hildebrandt and Raghava Rao Mukkamala.

Distributed Dynamic Condition Response Structures


Closing
Document Actions
« June 2017 »
June
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
2627282930