Version 63 (modified by frederic.loulergue@…, 4 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 (project 10102704) from 2011 to 2014.



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


  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 Orlans 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

1.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

  1. 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.
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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




Attachments (5)

Download all attachments as: .zip