Programming is hard. Building a large program is like constructing a steam locomotive
through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person …

In this work, we present a survey of the different parallel programming models and tools
available today with special consideration to their suitability for high-performance …

Skeleton and pattern based parallel programming promise significant benefits but remain
absent from mainstream practice. We consider why this situation has arisen and propose a …

Modular programming and modular verification go hand in hand, but most existing logics for
concurrency ignore two crucial forms of modularity:* higher-order functions*, which are …

Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language
calls in Haskell Page 1 Tackling the Awkward Squad: monadic input/output, concurrency …

We describe the design and current status of our effort to implement the programming model
of nested data parallelism into the Glasgow Haskell Compiler. We extended the original …

Eden extends the non-strict functional language Haskell with constructs to control parallel
evaluation of processes. Although processes are defined explicitly, communication and …

Purely functional programs should run well on parallel hardware because of the absence of
side effects, but it has proved hard to realise this potential in practice. Plenty of papers …

We present a rule-based framework for the development of scalable parallel high
performance simulations for a broad class of scientific applications (with particular emphasis …

Decoupling systems into independently evolving components has a long history of
simplifying seemingly complex systems. They enable a better understanding of the …