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

• Frédéric Dabrowski (co-PI), ​LIFO, ​Université d'Orléans
• Kiminori Matsuzaki (co-PI), ​Kochi University of Technology

• Wadoud Bousdira, ​LIFO, ​Université d'Orléans
• Sylvain Dailler, ​LIFO, ​Université d'Orléans and ​Kochi University of Technology
• Kento Emoto, ​IPL, The University of Tokyo
• Zhenjiang Hu, ​National Institute of Informatics
• Noman Javed, ​LIFO, ​Université d'Orléans / Namal College, Pakistan
• Yiu Liu, ​The Graduate University for Avanced Studies
• Frédéric Loulergue, ​LIFO, ​Université d'Orléans
• Thomas Pinsard, ​LIFO, ​Université d'Orléans
• Yoshiaki Takata, ​Kochi University of Technology
• Julien Tesson, ​LIFO, ​Université d'Orléans and ​Kochi University of Technology

Support

PaPDAS is a project supported by ​ANR (project ANR- 2010-INTB-0205-02) and ​JST (project 10102704) from 2011 to 2014.

Events

• October, 2013, the 3rd workshop on Frameworks for the Development of Correct (parallel) Programs (FraDeCoPP-3)
• November 26, 2012, the 2nd workshop on Frameworks for the Development of Correct (parallel) Programs (FraDeCoPP-2)
• May 15, 2012, the 1st workshop on Frameworks for the Development of Correct (parallel) Programs (FraDeCoPP2012)
• Jeudi 22 mars 2012 l'atelier Conception et implantation de squelettes algorithmiques / Thursday March 22, 2012 workshop Design and Implementation of Algorithmic Skeletons

Software

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

• The ​OSL Library
• The ​SkeTo Library
• The ​SDPP Library

Publications

1. Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. Programming with BSP Homomorphism. In Euro-Par 2013 Parallel Processing, LNCS. Springer, 2013. to appear.
2. Kento Emoto, Kiminori Matsuzaki, An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo, International Journal of Parallel Programming, Springer, 2013. to appear.
3. Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library. In International Conference on High Performance Computing and Simulation (HPCS), IEEE, 2013. to appear
4. Kento Emoto, Kiminori Matsuzaki, ​Implementing a Fusion-equipped Library with boost::proto, IPSJ SIG-PRO Meeting, Februray 2013
5. Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. ​OSL: an algorithmic skeleton library with exceptions. In International Conference on Computational Science (ICCS), volume 18 of Procedia Computer Science, pages 260-269. Elsevier, 2013
6. Takayuki Kawamura and Kiminori Matsuzaki. ​Evaluation of Tree Processing based on the m-bridge Technique over Hadoop (in Japanese). In 29th Conference of the Japan Society for Software Science and Technology, August 2012.
7. Wadoud Bousdira, Frédéric Loulergue, and Julien Tesson. ​A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. In ICA3PP 2012, pages 218-232, LNCS. Springer, 2012
8. 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. pages 91-100, Springer, 2011
9. 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
10. 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
11. 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
12. 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

Deliverables

Documents

• The ​scientific program of the PaPDAS project