Activités de Recherches
Mon activité de recherche est articulée autour des langages de
programmation, principalement les langages fonctionnels statiquement
typés et en particulier le langage Caml. Le but est de concilier
programmation efficace, parallèle et sûre.
Collaborations et projets récents
- projet LCHIP (FUI) sur une plateforme logicelle/matérielle certifiée (2017-2020)
- projet UCF (FUI) sur la programmation Web synchrone typée (2014-2017)
- projet CERCLES2 (ANR) sur la certification de la composition (2011-2014)
- projet PWD (ANR) sur la programmation du Web diffus (2010-2014)
- projet OpenGPU (FUI) sur la programmation des GPU (2010-2012)
- projet Couverture (FUI) sur la couverture non intrusive (2008-2010)
Etudiants en thèse
- Loic Sylvestre Programmation sûre expressive et efficace de circuits reprogrammables de type FPGA - co-encadrement avec Jocelyn Sérot (UCA)
- Hector Suzanne Analyses statiques de ressources pour langages de haut niveau
- Hugo Hourcade Funnel dynamique: fouille de motif temporel - co-encadrement avec Binh_Minh Bui-Xuan (LIP6) et Cédric Miachon (Courtanet)
- Boubacar Sall Méthodes formelles et langages de haut niveau pour logiciels embarqués - co-encadrement avec Frédéric Peschanski
soutenue le 1er octobre 2020
- Steven Varoumas Modèles de programmation de haut niveau pour micro-contrôleur à faibles ressources - co-encadrement avec Tritan Crolard (CNAM - Cedric) et Philippe Trébuchet (ANSSI)
soutenue le 5 novembre 2019
-
Vincent Botbol
Analyse statique de programmes parallèles avec variables numériques - co-encadrement avec Tristan Le Gall
soutenue le 13 septembre 2018
-
Rémy El Sibaie
Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus mutltimédia riches
soutenue le 12 juillet 2018
-
Etienne Millon
Analyse de sécurité de logiciels système par typage statique, Application au noyau Linux
, co-encadrement avec Sarah Zennou
soutenue le 10 juillet 2014
-
Mathias Bourgoin
Abstractions performantes pour cartes graphiques , co-encadrement avec Jean-Luc Lamotte,
soutenue le 12 novembre 2013
-
Philippe Wang
Langages applicatifs et machines abstraites pour la couverture de code structurelle ,
soutenue le 4 octobre 2012
- Benjamin Canou Programmation Web typée , co-encadrement avec Vincent Balat
soutenue le 4 octobre 2011
-
Grégoire Henry
Typer la sérialisation sans typer la désérialisation , co-encadrement avec Michel Mauny
soutenue le 17 juin 2011
-
Raphaël Montelatici
Langages Fonctionnels, Typage et Interopérabilité : Objective Caml sur .NET,
soutenue le 22 novembre 2006
-
Anne-Gwenn Bosser Réplications Distribuées pour la Définition des Interactions de Jeux Massivement Multi-Joueurs,
soutenue le 18 novembre 2005
Groupe de Travail
Le
groupe de travail Programmation a démarré ces activités à l'automne
2004; il cherche à réunir toutes les deux semaines des chercheurs
franciliens sur des thématiques de programmation.
Publications
depuis
octobre 2006 au LIP6;, et à partir de HAL- UPMC :
lien
Page maintenue par Emmanuel Chailloux, dernière modification le 22/03/2023