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.
Topics
We welcome submission of original, unpublished papers in
English on topics including:
- Applications in all fields of high-performance computing and
visualisation (using high-level tools)
- High-level models (CGM, BSP, MPM, LogP, etc.) and tools
for parallel and grid computing
- Program verification and Formal verification of parallel applications/libraries/languages or new technics for
parallel computing in computer-assisted reasoning
- High-level parallel language design,
implementation and optimisation
- Modular, object-oriented, functional, logic, constraint
programming for parallel, distributed and grid computing
systems
- Algorithmic skeletons, patterns and high-level parallel libraries
- Generative (e.g. template-based) programming with
algorithmic skeletons, patterns and high-level parallel libraries
- Benchmarks and experiments using such languages and tools
- Industrial uses of a high-level parallel language
All the contributions should illustrate the proposed techniques
on a significant application.
Publication
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):
-
D. Buono and S. Lametti and M. Danelutto. Map, Reduce and MapReduce, the skeleton way
-
M. Belaoucha and D. Barthou and A. Eliche and S. Touati. FADAlib: an Open Source C++ Library for Fuzzy Array Dataflow Analysis
-
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
-
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
-
B.J. Svensson. GPGPU Kernel Implementation and Refinement using Obsidian
Important Dates
January 22, 2010 (extended dealine, strict) February 22, 2010 - Notification March 1, 2010 - Camera-ready paper due - May 31- June 02 ICCS conference
- September, 2010 - Journal version due
Programme committee
- Marco Aldinucci (University of Torino, Italy)
- Anne Benoit (ENS Lyon, France)
- Umit V. Catalyurek (The Ohio State University, USA)
- Emmanuel Chailloux (University of Paris 6, France)
- Frédéric Dabrowski (University of Orléans, France)
- Frédéric Gava (University Paris-East (Paris 12), France)
- Alexandros Gerbessiotis (NJIT, USA)
- Clemens Grelck (University of Amsterdam, Netherlands)
- Hideya Iwasaki (The University of Electro-communications, Japan)
- Christoph Kessler (Linkopings Universitet, Sweden)
- Rita Loogen (University of Marburg, Germany)
- Kiminori Matsuzaki (Kochi University of Technology, Japan)
- Samuel Midkiff (Purdue University, USA)
- Susanna Pelagatti (University of Pisa, Italy)
- Bruno Raffin (INRIA, France)
- Casiano Rodriguez-Leon (University La Laguna, Spain)
Organizers
- Dr. Anne BENOIT
Laboratoire d'Informatique du Parallelisme
Ecole Normale Supérieure de Lyon
46 Allée d'Italie
69364 Lyon Cedex 07 - France
- Dr. Frédéric GAVA
Laboratoire d'algorithmique, complexité et logique
Université de Paris-Est (Paris 12)
61 avenue du Général de Gaulle
94010 Créteil cedex - France
Past PAPP Workshops
