Programme of PLACES at ETAPS 2010

(Programming Language Approaches to Concurrency and Communication-cEntric Software)

Sunday, March 21

09:00 - 10:30 SESSION 1: Type Inference for Communications

09.00:Analysing DMA Races in Multicore Software
Alastair Donaldson, Daniel Kroening and Philipp Ruemmer
09.30: Inference of Conversation Types for Distributed Multiparty Systems
Luísa Lourenço and Luis Caires
10.00: Session Type Inference in Haskell
Keigo Imai, Shoji Yuen and Kiyoshi Agusa

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2: Controlling Imperative Concurrency

11.00: A Type System for Unstructured Locking that Guarantees Deadlock Freedom
without Imposing a Lock Ordering
Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas
11.30: An Investigation on Types for X10 Clocks
Francisco Martins, Vasco Vasconcelos and Tiago Cogumbreiro.
12.00: Channels as Objects in Concurrent Object-Oriented Programming
Joana Campos and Vasco T. Vasconcelos

12:30 - 14:00 Lunch

14:00 - 15:00 - Invited Talk

Unifying Remote Procedures, Services, and Database Access
William Cook (Texas Austin)

15:00 - 16:00 SESSION 3: Language and Runtime Design

15.00: Secure Execution of Distributed Session Programs
Nuno Alves, Raymond Hu, Nobuko Yoshida and Pierre-Malo
15.30: A Modular Toolkit for Theories of Distributed Interactions
Julien Lange and Emilio Tuosto

16:00 - 16:30 Coffee

16:30 - 17:30 SESSION 4: Logical and Semantic Foundations of Distributed Programming

16.30: Towards a Modal Logic for the Global Calculus
Marco Carbone, Thomas Hildebrandt and Hugo A. Lopez
17.00: Distributed Dynamic Condition Response Structures
Thomas Hildebrandt and Raghava Rao Mukkamala


ETAPS 2010 | Top | Last Update: 2010-02-04