Seventh International Workshop on
Practical Aspects of High-level Parallel Programming
(PAPP 2010)

part of
The International Conference on Computational Science
May 31- June 2, 2010, University of Amsterdam, The Netherlands.


Aims and scope

Computational Science applications are more and more complex to develop and require more and more computing power. Bill McColl's post Sequential Computing Considered Harmful is an excellent summary of today's situation. Sequential computing cannot go further. Major companies in the computing industry now recognizes the urgency of reorienting an entire industry towards massively parallel computing (Think Parallel or Perish).

Parallel and grid computing are solutions to the increasing need for computing power. The trend is towards the increase of cores in processors, the number of processors and the need for scalable computing everywhere. But parallel and distributed programming is still dominated by low-level techniques such as send/receive message passing. Thus high-level approaches should play a key role in the shift to scalable computing in every computer.

Algorithmic skeletons, parallel extensions of functional languages such as Haskell and ML, parallel logic and constraint programming, parallel execution of declarative programs such as SQL queries, genericity and meta-programming in object-oriented languages, etc. have produced methods and tools that improve the price/performance ratio of parallel software, and broaden the range of target applications. Alos, high level languages offer a high degree of abstraction which ease the development of complex systems. Moreover, being based on formal semantics, it is possible to certify the correctness of critical parts of the applications.

The PAPP workshop focuses on practical aspects of high-level parallel programming: design, implementation and optimization of high-level programming languages, semantics of parallel languages, formal verification, design or certification of libraries, middlewares and tools (performance predictors working on high-level parallel/grid source code, visualisations of abstract behaviour, automatic hotspot detectors, high-level GRID resource managers, compilers, automatic generators, etc.), application of proof assistants to parallel applications, applications in all fields of computational science, benchmarks and experiments. Research on high-level grid programming is particularly relevant as well as domain specific parallel software.

The aim of all these languages and tools is to improve and ease the development of applications (safety, expressivity, efficienty, etc.). Thus the Seventh PAPP workshop focuses on applications.

The PAPP workshop is aimed both at researchers involved in the development of high level approaches for parallel and grid computing and computational science researchers who are potential users of these languages and tools.


We welcome submission of original, unpublished papers in English on topics including:

All the contributions should illustrate the proposed techniques on a significant application.


The accepted papers will be published in the Procedia Computer Science series, as part of the ICCS proceedings. After the workshop, accepted manuscripts will be published in a special issue of Scalable Computing: Practice and Experience (if revisions are done).

Schedule of the accepted papers

Schedule of the accepted papers (20 minutes per paper, the day will be given later by ICCS):
  1. D. Buono and S. Lametti and M. Danelutto. Map, Reduce and MapReduce, the skeleton way
  2. M. Belaoucha and D. Barthou and A. Eliche and S. Touati. FADAlib: an Open Source C++ Library for Fuzzy Array Dataflow Analysis
  3. P.R. Woodward and J. Jayaraj and P.-H. Lin and P.-C. Yew and M. Knox and J. Greensky and A. Nowatzki and K. Stoffels. Boosting the Performance of Computational Fluid Dynamics Codes for Interactive Supercomputing
  4. F. Penczek and S.A. Herhut and C. Grelck and S.-B. Scholz and A. Shafarenko and R. Barrère and E. Lenorman. Parallel Signal Processing with S-Ne
  5. B.J. Svensson. GPGPU Kernel Implementation and Refinement using Obsidian

Important Dates

Programme committee


Past PAPP Workshops