Version 31 (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.



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



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


  • 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


  • 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


Attachments (5)

Download all attachments as: .zip