Software

Research Software:

FRDwarf: Fast and Reliable DWARF Unwinding: tools to synthesise DWARF unwind tables from binaries, and speed-up unwinding, 2019.

LambdaJulia: a reference implementation of the Julia subtyping algorithm, 2017-2018.

Fence PRE in LLVM: LLVM optimisation pass to perform fence elimination for x86, ARM and IBM Power backends, 2016-2017.

Cmmtest: a tool for hunting concurrency compiler bugs, 2012-2016.

StrongScript: Concrete Types for TypeScript, 2014-2016.

The CompCertTSO compiler, 2010-2012.

Ott: a tool for the working semanticist, 2007-2019.

The Acute programming language, 2003-2006.

Contributions to Free Software projects:

PCF font driver for the FreeType library: the readme. The code has been integrated into FreeType2 CVS on January 3rd, 2001. A BDF font driver is available too: the readme. The code has been integrated into FreeType2 CVS on May 21st, 2002.

Integrating the FreeType2 scan-line converters into Ghostscript graphics library: screenshots, more screenshots, the readme, 2000.

Other code:

Linepithema humile, with Peter Sewell, an ICFP Programming Contest entry, 2004.

No longer mantained:

Burfiks: a bayesian filter for the web, 2007.

An OCaml library to manipulate fresh names (inspired from FreshOCaml), 2004.

I packaged several OCaml utilities and libraries for the GODI package system: the source packages, 2004.