Historique du site

Cette page répertorie les dernières mises à jour de ce site depuis le 13 juin 2007, au sortir d'une restructuration plus ou moins profonde. Les pages générées automatiquement (type classement des .bassin) ne sont pas prises en compte.

• 2014-02-05 : End-to-End Verification of Stack-Space Bounds for C Programs
  Enfin, ma première publication à Yale, en collaboration avec Quentin Carbonneaux, Jan Hoffmann et Zhong Shao, acceptée à PLDI 2014.
  
  
• 2012-01-12 : Les objets en C++: sémantique formelle mécanisée et compilation vérifiée
  J'ai soutenu avec succès ma thèse le mardi 10 janvier 2012 à l'École normale supérieure.
  
  
• 2011-10-03 : A Mechanized Semantics for C++ Object Construction and Destruction, with Applications to Resource Management
  L'article que j'ai écrit avec Gabriel Dos Reis (Parasol, University of Texas A&M) et mon maître de thèse Xavier Leroy (Gallium, INRIA), a été accepté à POPL 2012.
  
  
• 2010-10-04 : Formal verification of object layout for C++ multiple inheritance
  L'article que j'ai écrit avec Gabriel Dos Reis (Parasol, University of Texas A&M) et mon maître de thèse Xavier Leroy (Gallium, INRIA), a été accepté à POPL 2011.
  
  
• 2010-02-08 : Programmation en Langage C , Université Denis Diderot (Paris 7)
  Sujets de TD et TP.
  Pour toute information sur le cours, consulter d'abord la page officielle du cours maintenue par le professeur, Jean-Marie Rifflet.
  
  
• 2009-11-20 : K-lô "Métro" B/L 2009, le 19 novembre 2009
  En K-Fêt
  
  
• 2009-11-09 : InterENS 2009, du 6 au 8 novembre 2009
  Organisées par Ulm
  
  
• 2009-10-31 : Soirée Hallopaye, le 30 octobre 2009
  Au gymnase d'Ulm
  
  
• 2009-09-22 : Mega 2009, du 17 au 20 septembre 2009
  Au club Belambra de Capbreton (40)
  
  
• 2009-03-11 : Madagascar menacée par la Françafrique
  
  
• 2009-03-05 : Soirée Rouge et Noir, le 22 janvier 2009
  Au gymnase d'Ulm.
  
  
• 2009-01-07 : Soirée de Noël, le 18 décembre 2008
  Au gymnase d'Ulm.
  
  
• 2008-11-10 : InterENS 2008, du 7 au 9 novembre 2008
  À l'ENS Cachan - Antenne de Bretagne, à Ker Lann.
  
  
• 2008-11-10 : Soirée Hallopaye, le 6 novembre 2008
  Au gymnase d'Ulm.
  
  
• 2008-06-23 : Soirée Sporz et Crêpes, le 21 juin 2008
  En cour du NIR, puis à Montrouge B3.
  
  
• 2008-06-21 : Sujets de colle CAML pour les prépas MPSI
  Voici les sujets que j'ai donnés d'avril à juin 2008, quand j'ai collé en CAML les MPSI 1 et 4 du Lycée Louis-le-Grand.
  
  
• 2008-06-21 : Soirée des Z'Arts, le 13 juin 2008
  Au gymnase d'Ulm. Dernier spectacle des clubs pom-pom et cirque, ainsi que la pièce de théâtre "Cendrillon 2.0" présentée aux InterENS culturelles 2008.
  
  
• 2008-05-28 : InterENS Culturelles 2008, du 16 au 18 mai 2008
  À l'ENS Ulm, pour la première fois depuis la création de cet événement. Nous, Ulmien-ne-s, en avons été finalement dignes et clouons ainsi le bec aux mauvaises langues qui doutaient de notre compétence et de notre intérêt pour cet événement.
  
  
• 2008-03-04 : Enseignement
  Désormais, je passe de l'autre côté de la barrière : mes activités d'enseignement démarrent. Je commence par enseigner des TP de compilation à l'IFIPS.
  
  
• 2008-02-22 : Soirée Rose, le 21 février 2008
  Au gymnase d'Ulm
  
  
• 2007-12-20 : Soirée de Noël, le 20 décembre 2007
  Au Pot de Jourdan.
  
  
• 2007-12-20 : Club Cirque, spectacle de Noël «Black Spirit», le 20 décembre 2007
  En salle d'expression artistique du NIR.
  
  
• 2007-12-14 : Cérémonie de réouverture de la Cour aux Ernest, le 14 décembre 2007
  
  
• 2007-12-11 : Mondex, an electronic purse : specification and refinement checks with the Alloy model-finding method
  This paper related to my Mondex internship at MIT has just been published in FACJ (Formal Aspects of Computing journal). It is already available as an «Online First» article, but it will be officially released in Special issue 20.1 about the Mondex case study, in January 2008. The official version is available here at www.springer.com.
  
  
• 2007-11-23 : Soirée Rouge et noir, le 22 novembre 2007
  Au gymnase d'Ulm
  
  
• 2007-11-20 : Plan du site
  Un plan du site naïf a été rajouté pour les surfeurs désorientés.
  
  
• 2007-10-31 : Soirée Hallopaye, le 30 octobre 2007
  Au gymnase d'Ulm.
  
  
• 2007-10-29 : InterENS 2007, du 26 au 28 octobre 2007
  Organisées par l'ENS Lyon.
  
  
• 2007-10-24 : Soirée Disco, le 4 octobre 2007
  En nouvelle K-Fêt
  
  
• 2007-09-24 : Mega 2007, les 21 et 22 septembre 2007
  Au village vacances Le Sénéquet, à Blainville-sur-Mer, Manche (50), Basse-Normandie.
  
  
• 2007-09-19 : Stage aux USA, mars-août 2006
  De nouvelles photos sont arrivées : New York, Washington DC, Plymouth MA
  
  
• 2007-09-17 : Soirée de rentrée, le 17 septembre 2007
  Au gymnase d'Ulm.
  
  
• 2007-09-12 : Vérification formelle d'une implémentation d'un gestionnaire de mémoire pour un compilateur certifié
  Le stage de DEA (M2, ou master), que j'ai suivi à l'INRIA Rocquencourt, du 19 février au 27 juillet 2007.
  
  
• 2007-09-10 : Madagascar, en août 2007
  Du 10 au 31 août 2007, je suis parti avec ma mère à Madagascar, avec une escale à l'île Maurice.
  
  
• 2007-06-17 : Montréal, en août 2006
  Les photos originales sont perdues, il ne reste plus que quelques miniatures en 320x240, que voici.
  
  
• 2007-06-17 : New York, en mars 2006
  J'ai pu récupérer une petite partie des photos de mon stage aux USA. Mais je crains qu'il ne faille pas s'attendre à beaucoup plus.
  
  
• 2007-06-17 : Album photos
  Pour chaque section de l'album, on peut désormais télécharger une archive au format TAr ou ZIP qui en contiendra toutes les photos.
  
  
• 2007-06-17 : Portland (Oregon, USA), le 7 novembre 2006
  Photos prises à l'occasion d'un séminaire post-stage de maîtrise. Je viens de les trouver par hasard moisissant sur mon portable.
  
  
• 2007-06-13 : Spectacle de fin d'année du Club Cirque et des Pom-poms
  En salle d'expression artistique du NIR.
  
  
• 2007-06-13 : Historique du site
  Ajout de la présente page qui répertorie les dernières mises à jour du site. À l'exclusion de cette annonce, les mises à jour de cette page ne seront pas répertoriées.