Skip to content. | Skip to navigation

  Programming Language Approaches to Concurrency and Communication-cEntric Software

Personal tools
You are here: Home Programme
Log in

Forgot your password?


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:00
Resource 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)
Document Actions
« Março 2023 »