Équipe Preuves,
Programmes et Systèmes

Jérôme Vouillon

Chargé de Recherche au CNRS

Email: Jerome.Vouillon@pps.jussieu.fr

Software developpement

OCamlduce

I'm working on integrating XDuce more tightly with OCaml. The goal is to turn XDuce into a powerful language for XML processing and Web developpement.

Unison

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

RE

I'm writing a fast and powerful DFA-based regular expression library for OCaml.

Objective Caml

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

Subtyping Union Types

Recursive polymorphic types and parametricity in an operational framework (with Paul-André Melliés.)

Semantic Types: A fresh look at the ideal model for types (with Paul-André Melliés.)

What's in Unison? A Formal Specification and Reference Implementation of a File Synchronizer (with Benjamin C. Pierce.)

Other publications

A more comprehensive list of publications is also available on-line.