Workshop 18: Programming Models and Methods
Programme Committee:
General Chair. Christian Lengauer
(University of Passau, Germany),
lengauer@fmi.uni-passau.de
Local Chair. Murray Cole
(University of Edinburgh, UK),
mic@dcs.ed.ac.uk
Vice-Chair. Beverly Sanders
(University of Florida at Gainesville,USA),
sanders@cise.ufl.edu
Vice-Chair. Gaétan Hains
(University of Orléans, France),
Gaetan.Hains@lifo.univ-orleans.fr
Description:
Producing correct software is already a difficult task in the
sequential context. The challenge is compounded by the conceptual
complexity of parallelism and the requirement for high performance.
Thus, the topics of this workshop are programming and design models that abstract from
low-level programming techniques, present software developers with an interface that
reduces the complexity of the parallel software construction task, and support correctness
issues. It is also concerned with methodological aspects of developing parallel programs,
particularly transformational and calculational approaches, and associated ways of
integrating cost information into them.
This workshop emphasizes programming. Related
workshops are WS04, which emphasizes automation, WS10, which emphasizes
computability and complexity, and WS16, which emphasizes language features and their
implementation.
Topics of interest include:
- parallel programming calculi
- program transformation
- algorithmic skeletons
- rigorous design processes
- cost modelling
- development tactics and strategies
- correctness and verification
- experience with methodological approaches