I'm interested in high-level parallel programming: languages, libraries, algorithms, programming tools, certification and parallel verification of high-level Petri nets.

Research results are presented in my papers and talks.

• 2007 - 2010 : the VEHICULAIRE project (Fondation Digiteo, Région Idf)
• 2004 - 2007 : the Propac project (ACI Jeunes Chercheuses et Chercheurs 2004)
• 2002 - 2004 : the CARAML project (ACI GRID 2001)

• Doctorants : (Phd students: )
  • Michael Guedj (co-director with Dr. Franck Pommereau), 2007-2010
  • Jean Fortin, 2008-2011
• Ancient doctorant (past phd students) :
  • Louis Gesbert (co-director with Pr. Frederic Loulergue), 2005-2008
• Master : pour l'instant aucun (currently none)
• Anciens etudiants en Master (pas Master students) :
  • Ilias Garnier : "New implementation of a parallel composition primitive for a functionnal BSP language", rapport de stage (report), transparents (slides), avril-septembre 2008
  • Jean Fortin : "Formal Operational Semantics of a Core Imperative BSP language", rapport de stage (report), transparents (slides), avril-septembre 2008
  • Otmane Bouziani : "Implantation d'une bibliothèque de programmation fonctionnelle BSP dans un environnement de méta-computing", rapport de stage (report), transparents (slides), avril-septembre 2006
  • David Los Santos : "Implantation en BSML d'un algorithme BSP de recherche de motifs", rapport de stage (report), transparents (slides), mai-juin 2005
  • David Billiet : "BSML: Implémentation modulaire et prévision de performances", (co-director with Pr. Frédéric Loulergue) rapport de stage (report), avril-juillet 2004

• Relecteur pour : (Referee for:)
  • Workshops:
    • The third international workshop on "Practical Aspects of High-Level Parallel Programming" (PAPP 2006) part of ICCS 2006
    • The 2005 Symposium on Trends in Functional Programming (TFP '05)
    • The second international workshop on "Practical Aspects of High-Level Parallel Programming" (PAPP 2005) part of ICCS 2005
    • The first workshop on "Practical Aspects of High-level Parallel Programming" (PAPP 2004) part of ICCS 2004
  • Journals:
    • TSI
    • Computer Languages, Systems and Structures (special issue on "Semantics and Cost Models for High-Level Parallel Programming")
    • Parallel Processing Letters
    • Scalable Computing: Practice and Experience
• Membre des comités de programme pour : (PC member for:)
  • HPDFA2010 workshop (part of the HPCS 2010 conference)
  • Workshop on Language-Based Parallel Programming Models (WLPP'09) part of PPAM 2009
  • The Seventh international workshop on "Practical Aspects of High-Level Parallel Programming" (PAPP 2010) part of ICCS 2010
  • The Sixth international workshop on "aPpplications of declArative and object-oriented Parallel Programming" (PAPP 2009) part of ICCS 2009
  • The Fifth international workshop on "aPpplications of declArative and object-oriented Parallel Programming" (PAPP 2008) part of ICCS 2008
  • The fourth international workshop on "Practical Aspects of High-Level Parallel Programming" (PAPP 2007) part of ICCS 2007
  • Workshop on Language-Based Parallel Programming Models (WLPP'07) part of PPAM 2007
• Organisation : (Organization:)
  • Co-Chair and Co-Organizer with Anne Benoit of the Seventh international workshop on "Practical Aspects of High-level Parallel Programming" (PAPP 2010) part of ICCS 2010
  • Co-Chair and Co-Organizer with Anne Benoit of the Sixth international workshop on "aPpplications of declArative and object-oriented Parallel Programming" (PAPP 2009) part of ICCS 2009