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)

more..

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
Deniélou

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