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.

coinst computes a graph that summarizes conflicts between packages.
coinst-upgrades enumerate new co-installability issues due to the evolution of a package repository.
comigrate is tool that can be used to troubleshoot package migration from Debian unstable to Debian testing.

A daily report regarding the Debian distribution is computed using these tools.

Lwt

I have written a cooperative thread library for OCaml

RE

I have written a fast and powerful DFA-based regular expression library for OCaml.

Unison

I'm one of the maintainers of the Unison file synchronizer.

OCaml

I designed and implemented the object-oriented part of OCaml during my PhD thesis.

Ocamldebug

I wrote a replay debugger for OCaml. (It is distributed with OCaml.)

Ocamlsearch

I wrote a search tool for Caml Light using type isomorphisms. (It is included in the Caml Light distribution.)

Publications

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.