Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Romain Bardou

Romain Bardou

Doctorant à l'INRIA Saclay - Île-de-France, équipe ProVal

Mail : mon prénom at mon nom point fr

Thèse

J'ai commencé ma thèse en septembre 2007 à l'INRIA Futurs (maintenant INRIA Saclay - Île-de-France) avec Claude Marché, dans l'équipe ProVal.

Sujet : Raisonnement modulaire sur les programmes avec pointeurs

Projets

Melt permet d'écrire des documents LaTeX en OCaml. Il est composé d'une librairie pour produire des fichiers .tex, et d'un préprocesseur fournissant une syntaxe permettant le mélange d'OCaml et LaTeX.
Fury Puyo est un clone libre de Puyo Puyo, un puzzle game rapide et addictif. Il est codé en OCaml et utilise la librairie OCamlSDL.
Je contribue à Mlpost, une librairie pour OCaml permettant de produire des figures pour LaTeX par l'intermédiaire de Metapost.

Enseignement

Publications

[2] Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, and Stéphane Lescuyer. Faire bonne figure avec Mlpost. In Vingtièmes Journées Francophones des Langages Applicatifs (JFLA'09) [ bib | pdf ]

[1] Romain Bardou. Ownership, Pointer Arithmetic and Memory Separation. In Formal Techniques for Java-like Programs (FTfJP'08), Paphos, Cyprus, July 2008. [ bib | pdf | pdf (long) | pdf (slides) ]

Exposés

Capacités, invariants et régions abstraites, présentation de mes travaux de thèse, le 13 Mars 2009 pour l'ARC INRIA CeProMi.
If you only knew the power of the Darcs side... une présentation du gestionnaire de version distribué Darcs.
Regional Logic et Dynamic Frames, une présentation des cadres dynamiques de Ioannis T. Kassios et de la logique de région d'Anindya Banerjee et al.

Stages

Mars-Juillet 2007 : Invariants de classe et systèmes d'ownership, à l'INRIA Futurs (maintenant INRIA Saclay - Île-de-France), avec Claude Marché
Avril-Août 2006 : Unions de variants polymorphes abstraits, à l'université de Nagoya (Japon), avec Jacques Garrigue
- Rapport
- Présentation
Juin-Juillet 2005 : Typage des modules récursifs en Caml, au LIP, avec Tom Hirschowitz
- Rapport
- Présentation

[2]	Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, and Stéphane Lescuyer. Faire bonne figure avec Mlpost. In Vingtièmes Journées Francophones des Langages Applicatifs (JFLA'09) [ bib \| pdf ]
[1]	Romain Bardou. Ownership, Pointer Arithmetic and Memory Separation. In Formal Techniques for Java-like Programs (FTfJP'08), Paphos, Cyprus, July 2008. [ bib \| pdf \| pdf (long) \| pdf (slides) ]