• Le site de mon projet INRIA: Tropics.
• Le code sur lequel je travaille: Tapenade
• Mon directeur de thèse: Laurent Hascoët

Sujets d'intérêts

• Analyses statique et tranformations de programmes
• Différentiation automatique
• Langages de programmations

Contact

    ZAC des Vignes
    4, rue Jean Rostand - Bâtiment N 
    91893 ORSAY Cedex
    

• Téléphone : +33 (0)1 72 92 59 10
• Email: benjamin.dauvergne@sophia.inria.fr

Présentations

• Adjoint Data-Flow analyses applied to checkpointing
  during the 1st European Workshop on Automatic Differentiation

Codes

• version C++ ( pas besoin de linker à la lib standard C++ donc distribuable en tant qu'objet dans un projet C ) ) de la méthode treeverse de checkpoint d'un flowgraph linéaire A. Walter and A. Griewank
  treeverse.cc
• la même en C treeverse.c