Version 5 (modified by frederic.loulergue@…, 7 years ago) (diff)


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 and JST from the end of 2010 to 2013.


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

Publications / Documents

Attachments (5)

Download all attachments as: .zip