wiki:WikiStart

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

Team

Support

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

Events

Software

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

Publications

  1. Kento Emoto, Frédéric Loulergue, and Julien Tesson. A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. In Interactive Theorem Proving (ITP), LNCS. Springer, 2014. to appear.
  2. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. Nested Atomic Sections with Thread Escape: A Formal Definition. In ACM Symposium on Applied Computing (SAC), pages 1585-1592. ACM Press, 2014
  3. Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. In ACM Symposium on Applied Computing (SAC), pages 1577-1584. ACM Press, 2014
  4. Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. Powerlists in Coq: Programming and Reasoning. In First International Symposium on Computing and Networking (CANDAR), pages 57-65. IEEE Computer Society, 2013
  5. Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. Programming with BSP Homomorphisms. In F. Wolf, B. Mohr, and D. Ney, editors, Euro-Par 2013 Parallel Processing, number 8097 in LNCS, pages 446-457. Springer, 2013
  6. Kento Emoto, Kiminori Matsuzaki, An Automatic Fusion Mechanism for Variable-Length List Skeletons in !SkeTo, International Journal of Parallel Programming, Springer, ,2013. t
  7. 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), pages 437-444, IEEE, 2013
  8. Kento Emoto, Kiminori Matsuzaki, Implementing a Fusion-equipped Library with boost::proto, IPSJ SIG-PRO Meeting, Februray 2013
  9. 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
  10. 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.
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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

Dissemination

  • Frédéric Loulergue, Wadoud Bousdira, Julien Tesson, Calcul de programmes parallèles en Coq, Course at the Spring School "Ecole des Jeunes Chercheurs en Informatique Mathématique", Orléans, France, 2015
  • Frédéric Loulergue and Julien Tesson, Certified Parallel Program Calculation in Coq: A Tutorial, International Conference in High Performance Computing and Simulation (HPCS), Bologna, Italy, July 2014
  • Frédéric Loulergue, Parallel Program Calculation in Coq, Course at the Summer School "Ecole des Jeunes Chercheurs en Programmation" (EJCP), Rennes, France, June 19, 2014

Thesis

Deliverables

Documents

Attachments (5)

Download all attachments as: .zip