Équipe Preuves,
Programmes et Systèmes
My picture

Jérôme Vouillon

Chargé de Recherche au CNRS

Email: Jerome.Vouillon@pps.univ-paris-diderot.fr

Software developpement

I'm working on the Ocsigen Web framework, and in particular on the Js_of_ocaml compiler.
I have designed a series of tools to analyze package co-installability, that is, which sets of packages can be installed together in a package repository. A daily report regarding the Debian distribution is computed using these tools.
I have written a cooperative thread library for OCaml
I have written a fast and powerful DFA-based regular expression library for OCaml.
I'm one of the maintainers of the Unison file synchronizer.
I designed and implemented the object-oriented part of OCaml during my PhD thesis.
I wrote a replay debugger for OCaml. (It is distributed with OCaml.)
I wrote a search tool for Caml Light using type isomorphisms. (It is included in the Caml Light distribution.)


Recent papers
Easing Software Component Repository Evolution (with Roberto Di Cosmo and Mehdi Dogguy.)
From bytecode to JavaScript: the Js_of_ocaml compiler (with Vincent Balat.)
Broken Sets in Software Repository Evolution (with Roberto Di Cosmo.)
On software component co-installability (with Roberto Di Cosmo.)
Other publications
A more comprehensive list of publications is also available on-line.