Fabrice Le Fessant

Full Time Researcher in the
Gallium Team
INRIA Paris-Rocquencourt
Voir ma Page Personnelle

Research

I have two domains of research:
  • Programming Languages, and especially the OCaml Programming Language.
  • Programming of Massively Distributed Systems , and especially Peer-to-Peer Systems.

Projects

Here is a list of recent research projects I have been involved in:

FUI Richelieu Type-checking and JIT compilation of Scilab code. One of the main results is Scilint, a style-checker for Scilab.
ANR Bware Improvement and Optimization of automatic theorem provers for Atelier B, and especially the Alt-Ergo SMT solver.
FEDER Dorm Multi-language Package Manager, which main outcome was OPAM .

Publications

Have a look at my complete List of Publications or on HAL (only the most recent ones).

Software

I have developed quite a few open-source software projects, such as MNPLight (2007), MLdonkey (2001), Lamp (1999). You can find a complete list here.

In the past, I also got involved in some ICFP Programming Contest Teams: 2010, 2004 , 2001 , 2000 .

Consulting and Transfer

I'm the founder of OCamlPro, a company that develops high-quality software in OCaml. I work part-time in the company as a scientific advisor.

Contact Information

Fabrice Le Fessant
IRILL, 23 avenue d'Italie,
F-75013, Paris
FRANCE
Tel: +33 1 74 85 42 14
Fax: +33 1 74 85 42 49
fab_nospam@lefessant.net

GPG Public Key (E940 4D20 3914 769A 9664 7192 6524 676E BACD 7D55)
SSH DSA Public Key
bureau

Quelques nouvelles

12 mars 2009

Le document que j'ai rédigé sur la loi HADOPI a été cité par Mme Martine Billard à l'Assemblée Nationale.

1 mars 2009

J'ai rédigé un article sur les réseaux sociaux pair-à-pair pour la revue Défense Nationale.

16 février 2009

J'ai été auditionné par Mme Marland-Militello, lors du passage de la loi Internet et Création (HADOPI) en commission des lois. J'ai rédigé un document de synthèse.



Le Peer-to-Peer

Pour essayer d'en finir avec la mauvaise réputation du peer-to-peer, j'ai publié un petit livre chez Eyrolles, dans la collection Connectez-moi (au prix très abordable de 5,90 euros), appelé "Le peer-to-peer: comprendre et utiliser". Dans cet ouvrage, j'essaie, à partir de mon expérience de créateur du projet MLdonkey, client peer-to-peer multi-réseau, d'expliquer un peu les fondements de cette techno, son utilisation actuelle à travers les logiciels d'échange de fichiers, mais aussi de messagerie et de téléphonie, ainsi que d'applications futures telles que la sauvegarde croisée de données. Le livre met en avant les logiciels libres sur les trois grands systèmes du moment (Linux, Mac OS X et Windows), en les distinguant bien des autres freewares avec lesquels ils sont bien trop souvent confondus, y compris par nos parlementaires.