Forgot your password?
Programme
Pre-proceedings (pdf, 74pages, 1.4MB)
Opening _ 9:15 Invited Talk _ 9:30 - 10:30
Charting the course to a many core future: HW, SW and the parallel
programming problem
Timothy G Mattson, Intel Corporation
Session 1 _ 11:00-12:30
A G-Local Pi-Calculus
Chiara Bodei, Viet Dung Dinh and Gian Luigi Ferrari (Dipartimento di Informatica, Università di Pisa, Italy)
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)
The Timed, Compensable Conversation Calculus
Hugo A. López (IT University of Copenhagen, Denmark) and Jorge A. Pérez (New
University of Lisbon, Portugal)
Session 2 _ 14:30-16:00
CPC: Programming with a massive number of lightweight threads
Gabriel Kerneis and Juliusz Chroboczek (Laboratoire PPS, Université Paris 7, France)
Lightweight Dynamic Task Creation and Scheduling on the Intel Single Chip Cloud (SCC) Processor
Deepak Majeti (Rice University, United States of America)
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)
Session 3 _ 16:30-18:00Resource Access with Variably Typed Return
Gabrielle Anderson and Julian Rathke (University of Southampton, United Kingdom)
Getting the Goods with Concurrent bondi
Thomas Given-Wilson and Barry Jay (University of Technology, Sydney, Australia)
Tasking Event-B: An Extension to Event-B for Generating Concurrent Code
Andrew Edmunds and Michael Butler (University of Southampton, United Kingdom)
