|The PARA project|
Our project is interested in the development, the compilation and the semantics of concurrent and functional languages for distributed environments, with possible migrations.
Currently, we investigate a new model of distributed programming, derived from the pi-calculus, called the Join-calculus. We developped two implementations of this language ( The JoCaml homepage ), and some theoretical results.
We also have interests in the validation and the debugging of real concurrent programs, such as the Caml concurrent garbage collector or the Ariane 5 on-board software.