Section: New Results

Tools for the working scientist

Participants : Romain Bardou, François Bobot, Sylvain Conchon, Jean-Christophe Filliâtre, Johannes Kanig.

The Mlpost tool developped by R. Bardou, F. Bobot, J.-C. Filliâtre, J. Kanig and S. Lescuyer was presented at JFLA'09 [18] .

S. Conchon and J.-C. Filliâtre supervised Ocamlviz, a summer project funded by Jane Street Capital (NYC, USA) and worked out by two graduate students from Université Paris-Sud. Ocamlviz is a set of tool to perform real-time monitoring of Ocaml programs. Ocamlviz is to be presented at JFLA 2010  [75] .