Programme of PLACES at ETAPS 2011

Saturday, April 2

Room E1.3/14

09:15 - 10:30 SESSION 1

09.15: Opening

09.30: Invited Talk: Charting the course to a many core future: HW, SW and the parallel programming problem

Timothy G Mattson (Intel Corporation)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

11.00: A G-Local Pi-Calculus

Chiara Bodei, Viet Dung Dinh and Gian Luigi Ferrari (Dipartimento di Informatica, Università di Pisa, Italy)

11.30: Reasoning about Explicit Resource Management

Adrian Francalanza (University of Malta, Malta), Edsko De Vries (Trinity College Dublin, Ireland) and Matthew Hennessy  (Trinity College Dublin, Ireland)

12.00: The Timed, Compensable Conversation Calculus

Hugo A. López (IT University of Copenhagen, Denmark) and Jorge A. Pérez (New University of Lisbon, Portugal)

12:30 - 14:30 Lunch

14:30 - 16:00 SESSION 3

14:30: CPC: Programming with a massive number of lightweight threads

Gabriel Kerneis and Juliusz Chroboczek (Laboratoire PPS, Université Paris 7, France)

15:00: Lightweight Dynamic Task Creation and Scheduling on the Intel Single Chip Cloud (SCC) Processor

Deepak Majeti (Rice University, United States of America)

15:30: Static analysis and refactoring towards Erlang multicore programming

Melinda Tóth, István Bozó, Zoltán Horváth and Atilla Erdődi (Eötvös Loránd University, Hungary)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4

16.30: Resource Access with Variably Typed Return

Gabrielle Anderson and Julian Rathke (University of Southampton, United Kingdom)

17.00: Getting the Goods with Concurrent bondi

Thomas Given-Wilson and Barry Jay (University of Technology, Sydney, Australia)

17.30: Tasking Event-B: An Extension to Event-B for Generating Concurrent Code

Andrew Edmunds and Michael Butler (University of Southampton, United Kingdom)

 

HOME PAGE: http://places11.di.fc.ul.pt/