Le projet PARA

Click here for the english version

Notre projet s'intéresse au développement, à la compilation et à la sémantique des langages fonctionnels pour machines multi-processeurs et pour les environnements distribués.

Actuellement, nous développons un nouveau modèle de programmation distribuées, dérivé du pi-calcul, appelé le Join-calculus. Nous possédons déjà deux implémentations de ce langage (le Join-Calcul et JoCaml ) et de bons résultats théoriques.

Les membres du projet PARA

Membres permanents

• Jean-Jacques Lévy
• Georges Gonthier (intérêt: join-calcul, méthodes formelles, sécurité)
• Alain Deutsch (intérêt: analyse statique)
• Damien Doligez (intérêt: ramasse-miettes, prouveurs)
• Luc Maranget (intérêt: Lazy ML, GAML, compilateur Join, HeVeA)

Assistants

• Sylvie Loubressac (secrétaire)

Thésards

• Bruno Blanchet (intérêt: interprétation abstraite de l'allocation en pile)
• Fabrice Le Fessant (intérêt: ramasse-miettes distribués, Jocaml, Efuns)
• Sylvain Conchon (intérêt: sécutité dans le join-calcul)

Collaborateurs extérieurs

• Thérèse Hardin (conseillère scientifique)