To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 09/11/09 - Paris - FR

           Vous pouvez vous abonner à nos annonces de séminaires
                     http://gallium.inria.fr/seminaires/

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                         Amphi Turing du bâtiment 1

                          Lundi 9 novembre, 10h30

                         -------------------------
                         Jean-Christophe Filliâtre
                         -------------------------

                                    CNRS

                                  ========
                                  Ocamlviz
                                  ========

Ocamlviz est un projet financé par la société Jane Street Capital dans le
cadre du Jane Street Summer Project. Il s'agit d'un outil de monitoring
temps-réel pour les programmes Ocaml. Il peut être utilisé pour analyser un
programme en cours d'exécution, tant du point de vue de la correction que de
celui des performances, y compris en espace.  Cet exposé comporte une démo.

Ocamlviz is a Jane Street Summer Project. Ocamlviz is a tool for real-time
monitoring of Ocaml programs. It can be used to debug and to profile Ocaml
programs, including memory profiling. The talk will include a short demo.

This is joint work of Julien Robert, Guillaume Von Tokarski, Sylvain Conchon,
Jean-Christophe Filliâtre, and Fabrice Le Fessant.

Pour plus d'information sur Ocamlviz: http://ocamlviz.forge.ocamlcore.org/

The talk will be in English.