Copenhagen Programming Language Seminar
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.
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 firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org