Le projet MOSCOVA

Le projet MOSCOVA est la nouvelle incarnation de l'ex-projet PARA

Notre projet s'intéresse au développement, à la compilation et à la sémantique des langages fonctionnels concurrents pour les environnements distribués, avec possibilités de migrations.

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, et des résultats théoriques.

Nous travaillons aussi sur la validation et la mise au point de vrais programmes concurrents, tels que le glaneur de cellules concurrent de Caml ou le logiciel de bord d'Ariane 5.

Les membres du projet MOSCOVA

Vieille garde

• Alain Deutsch (analyse statique)
• Damien Doligez (garbage collection, prouveurs)
• Georges Gonthier (join-calcul, méthodes formelles, sécurité)
• Jean-Jacques Lévy (lambda calcul, join-calcul)
• Luc Maranget (Lazy ML, GAML, compilateur Join)

Train des équipages

• Sylvie Loubressac (secrétaire)

Jeune garde

• Bruno Blanchet (interprétation abstraite de l'allocation en pile)
• Sylvain Conchon (sécurité dans le join-calcul)
• Fabrice Le Fessant (garbage collection distribué, Jocaml)
• Alan Schmitt (ambients et join-calcul)
• Sébastien Ailleret (réseaux actifs et bytecode typé)

Amis de la liberté

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

Demi-Soldes

• Francis Dupont, Cédric Fournet, Olivier Guillaumin, Paul-André Melliès, Bruno Pagano, Marc Pouzet

Portés disparus

• Andrea Asperti, Robert Ehrlich, Sylvain Huet, Uwe Nestmann