wiki:WikiStart

Version 30 (modified by frederic.loulergue@…, 6 years ago) (diff)

--

ANR LogoJST Logo

PaPDAS - Parallel Program Development with Algorithmic Skeletons

In the PaPDAS project we are interested at providing a framework to ease the development of parallel programs in a systematic way using constructive algorithmics, and to either execute very efficiently the obtained programs or to compile these programs with a verified optimizing parallel compiler.

Team

Support

PaPDAS is a project supported by ANR (project ANR- 2010-INTB-0205-02) and JST from the end of 2010 to 2013.

Events

Software

The new developments of the following software is now supported by the PaPDAS project:

Publications

  • Noman Javed and Frédéric Loulergue. Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library. In 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), LNCS. Springer, 2011, to appear
  • Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki, Towards Systematic Parallel Programming over MapReduce. In Euro-Par 2011 Parallel Processing, Lecture Notes in Computer Science, Volume 6853, pages 39-50, 2011
  • Noman Javed, Frédéric Loulergue, Julien Tesson and Wadoud Bousdira. Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML. In The 2011 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'11), pages 520-526, CSREA Press, 2011
  • Noman Javed and Frédéric Loulergue. A Formal Programming Model of Orléans Skeleton Library. In Victor Malyshkin, editor, Eleventh International Conference on Parallel Computing Technologies (PaCT), LNCS 6873. pages 40-52, Springer, 2011
  • Noman Javed and Frédéric Loulergue. Parallel Programming and Performance Predictability with Orléans Skeleton Library. In International Conference on High Performance Computing and Simulation (HPCS). pages 257-263, IEEE, 2011

Thesis

  • Noman Javed, Metaprogrammed Algorithmic Skeletons: Implementations, Performances and Semantics, PhD Thesis, LIFO, University of Orléans, October 2011
  • Julien Tesson, Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels. PhD Thesis, LIFO, University of Orléans, November 2011

Documents

Attachments (5)

Download all attachments as: .zip