The PARA project
Cliquer ici pour la version française
Our project is interested in development, the compilation and the
semantics of functional languages for multi-processor machines and
distributed envirronments.
Currently, we investigate a new model of distributed programming,
derived from the pi-calculus, called
the Join-calculus. We already have developped two implementations of
this language ( the Join-Calcul and
JoCaml ), and some good theoritical results.
Members of the PARA project
Permanent members
- Jean-Jacques Lévy
- Georges Gonthier (topics: join-calcul, formal methodes, security)
- Alain Deutsch (topics: abstract interpretation)
- Damien Doligez (topics: garbage collection, theorem provers)
- Luc Maranget (topics: Lazy ML, GAML, Join Compiler, HeVeA)
Assistants
- Sylvie Loubressac (secrétaire)
PhD students
- Bruno Blanchet (topics: abstract interpretation of stack allocation)
- Fabrice Le Fessant (topics: distributed garbage collection,
Jocaml,
Efuns)
- Sylvain Conchon (topics: security in the join-calcul)
External collaborators