Emmanuel Chailloux
Emmanuel Chailloux dirige actuellement les 2 thèses suivantes :
Analyses statiques de ressources pour langages de haut niveau
par Hector Suzanne sous la direction de Emmanuel Chailloux - Sorbonne université
Informatique
En préparation depuis le 13-03-2021
Funnel dynamique : fouille de motifs temporels
par Hugo Hourcade sous la direction de Emmanuel Chailloux et de Binh-Minh Bui-Xuan . - Sorbonne université
Informatique
Soutenue le 16-05-2023
Emmanuel Chailloux a dirigé les 10 thèses suivantes :
Programmation impérative par raffinements avec l'assistant de preuve Coq
par Boubacar Demba Sall sous la direction de Emmanuel Chailloux et de Frédéric Peschanski . - Sorbonne université
Informatique
Soutenue le 01-10-2020
Analyse statique de programmes concurrents avec variables numériques
par Vincent Botbol sous la direction de Emmanuel Chailloux et de Tristan Le Gall . - Sorbonne université
Informatique
Soutenue le 13-09-2018
Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches
par Rémy El Sibaïe Besognet sous la direction de Emmanuel Chailloux - Sorbonne université
Informatique
Soutenue le 12-07-2018
Analyse de sécurité de logiciels système par typage statique
par Etienne Millon sous la direction de Emmanuel Chailloux - Paris 6
Informatique
Soutenue le 10-07-2014
Abstractions performantes pour cartes graphiques
par Mathias Bourgoin sous la direction de Emmanuel Chailloux et de Jean-Luc Lamotte . - Paris 6
Informatique
Soutenue en 2013
Langages applicatifs et machines abstraites pour la couverture de code structurelle
par Philippe Wang sous la direction de Emmanuel Chailloux - Paris 6
Informatique
Soutenue en 2012
Programmation web typée
par Benjamin Canou sous la direction de Emmanuel Chailloux et de Vincent Balat . - Paris 6
Informatique
Soutenue en 2011
Typer la désérialisation sans sérialiser les types
par Grégoire Henry sous la direction de Emmanuel Chailloux et de Michel Mauny . - Paris 7
Informatique
Soutenue en 2011
Langages fonctionnels, typage et interopérabilité : objective Caml sur .net
par Raphaël Montelatici sous la direction de Emmanuel Chailloux - Paris 7
Informatique
Soutenue en 2007
Réplications distribuées pour la définition des intéractions de jeux massivement multi-joueurs
par Anne-Gwenn Bosser sous la direction de Emmanuel Chailloux - Paris 7
Informatique
Soutenue en 2005
Emmanuel Chailloux a été président de jury des 6 thèses suivantes :
Static analysis of program portability by abstract interpretation
par David Delmas sous la direction de Antoine Miné - Sorbonne université
Informatique
Soutenue le 28-11-2022
Static type and value analysis by abstract interpretation of Python programs with native C libraries
par Raphaël Monat sous la direction de Antoine Miné - Sorbonne université
Informatique
Soutenue le 22-11-2021
Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l’inférence de contrats
par Matthieu Journault sous la direction de Antoine Miné - Sorbonne université
Informatique
Soutenue le 21-11-2019
Static Analysis for BSPlib Programs
par Filip Jakobsson sous la direction de Frédéric Loulergue et de Jean-Michel Couvreur . - Orléans
Informatique
Soutenue le 28-06-2019
Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb
par Florian Lemaitre sous la direction de Lionel Lacassagne - Sorbonne université
Informatique, télécommunications et électronique
Soutenue le 13-02-2019
Program in Coq
par Guillaume Claret sous la direction de Hugo Herbelin et de Yann Régis-Gianas . - Sorbonne Paris Cité
Mathématiques. Logique et fondements de l'informatique
Soutenue le 18-09-2018
Emmanuel Chailloux a été rapporteur des 6 thèses suivantes :
Combinaison de programmes à objets actifs et BSP
par Pierre Leca sous la direction de Françoise Baude - Université Côte d'Azur
Informatique
Soutenue le 02-10-2020
Au-delà des frontières entre langages de programmation et bases de données
par Julien Lopez sous la direction de Véronique Benzaken - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 13-09-2019
Vérification des résultats de l'inférence de types du langage OCaml
par Pierrick Couderc sous la direction de Michel Mauny - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 23-10-2018
Programmation web réactive
par Colin Vidal sous la direction de Manuel Serrano et de Gérard Berry . - Université Côte d'Azur (ComUE)
Informatique
Soutenue le 06-07-2018
Conception et implémentation d'un langage de programmation concurrente modulaire
par Johan Grande sous la direction de Manuel Serrano et de Gérard Boudol . - Nice
Informatique
Soutenue le 28-09-2015
Développement systématique et sûreté d’exécution en programmation parallèle structurée
par Louis Gesbert sous la direction de Frédéric Loulergue - Paris Est
Sciences informatiques
Soutenue le 05-03-2009
Emmanuel Chailloux a été membre de jury des 5 thèses suivantes :
Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing
par Pierre Nigron sous la direction de Julia Lawall et de Pierre-Evariste Dagand . - Sorbonne université
Informatique
Soutenue le 17-11-2022
Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources
par Steven Varoumas sous la direction de Tristan Crolard - Sorbonne université
Informatique
Soutenue le 05-11-2019
Vérification par interprétation abstraite en mémoire faiblement cohérente
par Thibault Suzanne sous la direction de Antoine Miné - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 26-02-2019
Méthodes de génération automatique de code appliquées à l’algèbre linéaire numérique dans le calcul haute performance
par Ian Masliah sous la direction de Marc Baboulin et de Joël Falcou . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 26-09-2016
Déploiement d'applications parallèles sur une architecture distribuée matériellement reconfigurable
par Roland Christian Gamom Ngounou Ewo sous la direction de Bertrand Granado et de Bertrand Hilaire Fotsin . - Cergy-Pontoise
STIC (sciences et technologies de l'information et de la communication) - Cergy
Soutenue le 22-06-2015
