DIKU IT-C RUC

COPLAS

Copenhagen Programming Language Seminar


Joint HIPERFIT and COPLAS talk:

Resource Analyses for Parallel and Distributed Coordination

Hans-Wolfgang Loidl
Heriot-Watt University, Scotland

Thursday, March 22nd, 2012, 15:00 - 16:00
DIKU, Universitetsparken 1, Meeting room A+B

Abstract:

Predicting the resources that are consumed by a program component is crucial for many parallel or distributed systems. In this context the main resources of interest are execution time, space, and communication/synchronisation costs. There has recently been significant progress in resource analysis technology, notably in type-based analyses and abstract interpretation. At the same time, parallel and distributed computing are becoming increasingly important.

This talk gives an overview of several successful resource analyses structured around a general model of resource analysis. We investigate why these analyses have been effective in their area, identifying general principles for successful application in the context of parallel programming. We will then elaborate on these principles by examining a type-based resource analysis in more detail.

Joint work with P.W. Trinder, M.I. Cole, K. Hammond, S. Jost, G.J. Michaelson.


Scientific host: Jost Berthold Administrative host:Jette Møller. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, DTU, ITU, and RUC.
COPLAS is part of the FIRST Research School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org