SYNTHÈSE DES ACTIVITÉS DE RECHERCHE. Habilitation à diriger les recherches et thèse de doctorat



Documents pareils
Liste de conférences et revues Thème Com A

I-JVM: une machine virtuelle Java pour l isolation de composants dans OSGi

Programmation par aspect et Machine Virtuelle Virtuelle

Bologne à l EPFL. Réforme de Bologne Implications pour l EPFL. Prof. Dominique Bonvin, Doyen Bachelor-Master

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION

Christian BONTEMPS né le 08 juillet 1969

L INRIA, institut français des STIC. (en Île-de-France) 24 septembre 2009

Curriculum Vitae 1 er février 2008

Semestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016

Freddy Huet. Adresse professionnelle : Adresse personnelle :

Qualité de la conception de tests logiciels : plate-forme de conception et processus de test

Séminaire Partenaires Esri France 6 et 7 juin 2012 Paris. ArcGIS et le Cloud. Gaëtan LAVENU

NOVA BPM. «Première solution BPM intégr. Pierre Vignéras Bull R&D

Des solutions J2EE open source professionnelles adaptées à votre système d information d entreprise

Grid 5000 : Administration d une infrastructure distribuée et développement d outils de déploiement et d isolation réseau

SMU MEDITERRANEAN. SOUTH MEDITERRANEAN UNIVERSITY Première Université Anglophone en Tunisie (Depuis 2002)

THÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par.

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués

Clouds/Big Inria. Frédéric Desprez Frederic.Desprez@inria.fr

APX et VCE, Modèle d industrialisation de l intégration et du déploiement. Olivier BERNARD, VCE

Containers : Outils magiques pour les Devops? OpenNebula et son écosystème pour une infrastructure cloud agile

Grenoble Institute of Technology Esisar department. Speaker : Laurent.Lefevre@grenoble-inp.fr

Maîtrise énergétique des centres de données

Cécile MAUNIER. Maître de Conférences Sciences de Gestion Responsable pédagogique - Master 1 Marketing, Vente TITRES UNIVERSITAIRES

FORMATION ET DIPLOMES OBTENUS

Définition et diffusion de signatures sémantiques dans les systèmes pair-à-pair

Notice biographique Repères biographiques communs. Grade : Maître de conférences depuis septembre Ecole Abbé Grégoire du CNAM.

Mémo

Exposé de Pérennisation Comission de la Recherche 26 juin 2014

Voie d Approfondissement ASR Architecte de Services Informatiques en Réseaux. Bruno Defude / Chantal Taconet

High Performance by Exploiting Information Locality through Reverse Computing. Mouad Bahi

Curriculum Vitae (version étendue)

Tél.: +1 (418) Tél. : +1 (418) Fax : +1 (418) Michel.Roland@ecn.ulaval.ca. Économie mathématique.

Notice biographique Repères biographiques communs

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Service de Détection de Pannes avec SNMP

Architecte de Services Informatiques

Ecole Mohammadia d Ingénieurs Systèmes Répartis Pr. Slimane Bah, ing. PhD G. Informatique Semaine 24

Les métiers de la recherche

Évaluation des logiciels et autres réalisations

Dafoe Présentation de la plate-forme UIMA

MASTER EN SYSTEMES DE COMMUNICATION MASTER EN INFORMATIQUE

Pour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur

Thales Services, des systèmes d information plus sûrs, plus intelligents

Extensions à la formation. Laurent Pérochon, avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan

Introduction aux Machines Virtuelles avec VMKit

GRIDKIT: Pluggable Overlay Networks for Grid Computing

Frank LASCK. Courriel : f.lasch@montpellier-bs.com Fonction : Professeur. Biographie

Attachée Temporaire d Enseignement et de Recherche Institut d Administration des Entreprises Université de Toulouse 1 Capitole.

Protection et amélioration de la sécurité des systèmes d'exploitation

Plan de cours ADM 992C Page 1. École des sciences de la gestion Département de management et technologie Université du Québec à Montréal

July 1, Stéphan Clémençon (Télécom ParisTech) Mastère Big Data July 1, / 15

CURRICULUM VITAE. Informations Personnelles

Une méthode d apprentissage pour la composition de services web

Le VDI et les solutions SaaS : Des outils puissants pour les DSI au service des utilisateurs. Château de Montchat, 7 octobre 2013

L Avnet Academy se présente

Master. en sciences et technologies mention informatique. LIP6 - Frédéric Delvalle

INGÉNIEUR LOGICIEL JAVAEE / GROOVY 8 ANS D EXPÉRIENCE

Forthcoming Database

The space to start! Managed by

Cyril HÉDOIN 12bis Grande Rue TINQUEUX 28 ans

Modèles et politiques de sécurité pour les infrastructures critiques

Méthodologie de conception des Systèmes d Aide à l Exploitation des Simulateurs d Entraînement

Notice biographique Repères biographiques communs. Nom : NURCAN Prénom : SELMIN Section : 27. Centre de Recherche en Informatique (CRI)

Assises de l Embarqué Projet ITEA2 Smart-Urban Spaces 28 Octobre Serge Chaumette, LaBRI, U. Bordeaux Jean-Pierre Tual, Gemalto

Présentation des experts

INITIATIVE HPC-PME Calcul haute performance pour les PME

Curriculum Vitae. Informations générales

énie avec Scrum, Lean, extreme Programming

Présentation de la majeure ISN. ESILV - 18 avril 2013

Pascal Forget 2310, Avenue Notre-Dame Québec, (Québec) Canada, G2E 3G5 Tél. (418) Fax (418)

CURRICULUM VITAE. Célibataire

JOnAS 5 Enterprise OSGi javaee compliant

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration

OpenCCM : une infrastructure à composants pour le déploiement d'applications à base de composants CORBA

Présentation par François Keller Fondateur et président de l Institut suisse de brainworking et M. Enga Luye, CEO Belair Biotech

Le Fol Gaëlle. Current Position - Status. Former positions. Education and qualification. Full professor. gaelle.le_fol@dauphine.fr

Frédéric LOBEZ. Accounting and Finance Lille

LCIS Laboratoire de Conception et d Intégration des Systèmes

ARDUIN Pierre-Emmanuel

Hétérogénéité pour atteindre une consommation énergétique proportionnelle dans les clouds

Isabelle DUCASSY EDUCATION

System Center 2012 R2 Licensing Fiche Produit

Master Théorie et pratiques des arts interactifs

EXPERIENCE - FORMATION

LE SYNDICAT DE L INNOVATION BIG BIG DATA, UNE RÉVOLUTION TECHNOLOGIQUE OU CULTURELLE? DATA DAY

Public. Débouchés. Les atouts du Master PIC. Statistiques des débouchés 22 % 16 % 10 % 14 % 38 % Entreprise Start-up Thèse.

Information Management in Environmental Sciences

Alexis PARMENTIER Assistant de recherches (post-doctorat) au département d économie de l Université Catholique de Louvain (Belgique).

CURRICULUM VITAE. Lieu d Exercice : Faculté des sciences Economique et Des Sciences de Gestion Université D Oran Es-Sénia Algérie

SÉMINAIRES RÉGIONAUX 2012

Prof. PhD Mathias J. Rossi

T. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet 5

SEMINAIRE SAS VISUAL ANALYTICS LAUSANNE, MARCH 18 : JÉRÔME BERTHIER VALERIE AMEEL

ED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013

Servir ses utilisateurs sans bureau d accueil physique

Codes attribués par l'abes pour identifier les bouquets en vue de l'exemplarisation automatique

Didier RIGOLI. Freelance, services IT: Architecture et design, Gestion de projets, Management Opérationnel.

CURRICULUM VITAE. CHAMP DE SPÉCIALISATION Économie financière. Économétrie financière. Économétrie.

Transcription:

Bureau D307 Département d Informatique 9, rue Charles Fourier F-91011 Evry Cedex, France. Né le 20/10/1976, Paris Français, marié, 2 enfants Tel: +33 6 10 39 31 17 Mail: gael.thomas@telecom-sudparis.eu Web: http://www-public.it-sudparis.eu/ thomas_g/ Gaël THOMAS Professeur (HDR) Telecom SudParis J effectue ma recherche dans le domaine des systèmes et je m intéresse plus particulièrement aux systèmes d exploitation et aux moteurs d exécutions des langages comme la machine virtuelle Java. Le but de ma recherche est d améliorer la qualité de ces logiciels, que ce soit leur fiabilité, leur performance ou leur maintenabilité. Dans mes travaux, je m intéresse particulièrement aux systèmes et applications patrimoniales, et je m attelle à évaluer et valider systématiquement chaque idée de façon empirique sur des systèmes existants et avec des applications réelles. I. FORMATION ET EXPÉRIENCE 2014 ajd Professeur Telecom SudParis 2006 2014 Maître de Conférences (HDR) Section 27 UPMC Sorbonne Université Qualifié pour professeur en Section 27 depuis 2013 Équipe Regal INRIA/LIP6 Titulaire de la PES de l UPMC depuis 2011 2005 2006 PostDoc Université Joseph Fourrier (Grenoble/France) Équipe Adele LSR (aujourd hui LIG) 2001 2005 Thèse de doctorat Université Pierre et Marie Curie (UPMC) Équipe SRC LIP6 2004 2005 ATER UPMC 2001 2004 Moniteur UPMC 1999 2001 Magistère d Informatique Appliquée d Ile de France (MIAIF) Maîtrise d Informatique/DEA (M1 M2) Système Informatiques Répartis 1997 1999 Licence et maîtrise (L3 M1) en Mathématiques fondamentales UPMC 1994 1997 Deug et Licence (L1 L3) en Physique fondamentale UPMC II. SYNTHÈSE DES ACTIVITÉS DE RECHERCHE II.1. Habilitation à diriger les recherches et thèse de doctorat Thèse d HDR en 2012 : Improving the design and the performance of managed runtime environments Jury Emery BERGER, Professeur associé, Université du Massachusetts, Amherst, USA (rapporteur) Albert COHEN, Directeur de recherche, INRIA Saclay, France Bertil FOLLIOT, Professeur, UPMC Sorbonne Université, France Gilles MULLER, Directeur de recherche, INRIA Rocquencourt, France Wolfgang SCHRÖDER-PREIKSCHAT, Professeur, Université Erlangen-Nürnberg, Allemagne Jan VITEK, Professeur, Université de Purdue, USA (rapporteur) Willy ZWAENEPOEL, Professeur, École Polytechnique Fédérale de Lausanne, Suisse (rapporteur) Thèse de doctorat en 2005 : Applications actives : construction dynamique d environnements d exécution flexibles et homogènes 1

II.2. Projets de recherche Projets internationaux (3) 1. 2010 2012 : Dependable Mechanisms for Dynamic Networks (Collaboration CNPq/INRIA). Coordinateur : Raimundo José de Araújo Macêdo (UFBA, Brésil). Membres : INRIA, CNPq (Brésil). Participation : mise en place du projet. 2. 2005 2006 : S4ALL: Services for All (ITEA). Coordinateur : François Carrez (Alcatel). Membres : Alcatel, Bull, Capricode, Fraunhofer Fokus, Helsinki Institute for Information Technology, INRIA, MCentric, Nokia, ObjectWeb, Odonata, Schneider Electric, Thales Communication, UJF, Universidad Politécnica de Madrid, University of Kassel, Vodafone, Xquark. Participation : Coordinateur scientifique pour l équipe Adele du LSR. 3. 2002 2004 : COACH: Component Based Open Source Architecture for Distributed Telecom Applications (IST). Coordinateur : H. Walter (T-Systems, Allemagne). Membres : T-Systems, Humboldt Universitaet zu Berlin, Intracom, Lucent Technologies, Thales, CNRS, Object Security, UPMC, USTL, Fokus. Participation : participation au design et à la mise en œuvre de la plateforme. Projets français (4) 1. 2013 2015 : Projet Richelieu (FUI) construction d une machine virtuelle Scilab à partir de VMKit. Coordinateur : Sylvestre Ledru (Scilab Enterprise). Membres : UPMC, Scilab Enterprise, OcamlPro, INRIA, ArcelorMittal, HPC Project, CNES, Dassault. Participation : coordinateur pour l UPMC, intégration de VMKit dans le moteur d exécution Scilab. 2. 2012 2015 : Infra-JVM (ANR Infra) étude d une machine virtuelle Java pour l informatique omniprésente. Coordinateur : Gaël Thomas (REGAL/LIP6). Membres : Triskell/IRISA, Lsr/LaBRI, Tasc/EMN. Participation : coordinateur du projet, participation à toutes les tâches et coordination de la tâche liée à la réservation de ressources mémoire. 3. 2009 2012 : ABL (ANR Blanc) A Bug Life. Coordinateur : Gilles Muller (INRIA). Membres : INRIA, DIKU (Denmark). Participation : Coordinateur de la tâche 1 (Study of Bugs in infrastructure software), participe à toutes les tâches. 4. 2011 2014 : Thèse CIFRE (Koutheir Attouchi) avec Orange Labs Managing resource sharing conflicts in an open embedded software environment. Participation : Co-directeur de thèse avec Gilles Muller. Membres : UPMC, Orange Labs. Projets internes (6) Projets internes au LIP6 : ADAPT en 2011, AMAN en 2010, Z3 en 2008 et 2009, Modélisation de la mobilité de données en pair-à-pair dans les jeux massivement multi-joueurs en 2008. DDEFCON en 2007 et 2008, Projets internes de l UPMC : Vers une utilisation efficace des nouvelles architectures multicœurs en 2012. 2

II.3. Encadrements Thèses en cours (3) 1. Gauthier Voron (2014-2017, 100%) : Big-OS: an operating system for big-data. 2. Florian David (2011-2014, 50%, avec G. Muller) : Memory snapshot in a Java virtual machine for constraint solvers (soutenance en décembre 2014). 3. Lokesh Gidra (2011-2014, 80%, avec M. Shapiro et J. Sopena) : Improving garbage collectors on multicore architectures (soutenance le 1 er octobre 2014). Thèses soutenues (5) 1. Jean Pierre Lozi (2010 2014, 50%, avec G. Muller) : Towards more scalable mutual exclusion for multicore architectures. Actuellement postdoc à Simon Fraser University (Canada). 2. Koutheir Attouchi (2011-2014, 50%, avec G. Muller) : Managing resource sharing conflicts in an open embedded software environment. Actuellement ingénieur chez MicroDoc (Allemagne). 3. Thomas Preud Homme (2008 2013, 30%, avec B. Folliot et J. Sopena) : Communication inter-cœurs optimisée pour le parallélisme de flux. Actuellement ingénieur chez ARM (Chine). 4. Nicolas Geoffray (2005-2009, 80% avec B. Folliot) : Fostering System Research with VMKit. Actuellement ingénieur chez Google (Angleterre). 5. Charles Clément (2004-2009, 40% avec B. Folliot) : Isolation des extensions de systèmes d exploitation dans une machine virtuelle. Actuellement ingénieur chez IMDb/Amazone (USA). Ingénieurs (1) 1. Harris Bakiras (2011 2013, 100%) : ingénieur dans le cadre de l ADT Inria VMKit. Actuellement ingénieur chez Microsoft (France). II.4. Invitations Coopérations (2) 1. Professeur invité par Jan Vitek à l université de Purdue, Indiana, USA (deux mois répartis entre Septembre 2011 et Juillet 2012). 2. Professeur invité par Laurent Réveillère au LaBRI, Bordeaux, France (deux semaines en octobre 2010). Présentations invitées (17) 1. A study of Garbage Collector Scalability on Multicore Hardware ( 02/2014, LIAFA, France 09/2013, EPFL, Suisses 07/2013, Verimag, France 03/2013, IRISA, France 01/2013, Epita, France) 2. Système, Virtualisation, Nuage - Petit tour d horizon de la recherche en système en France (05/2012, CNRS, France 11/2011, UPMC, France) 3. VMKit: a substrate for Managed Runtime Environment (02/2012, IRILL, France 09/2011, Purdue University, US 04/2011, Journées Compilation, Dinard, France 03/2011, University of Utah, US) 4. VMKit : un substrat de Machine Virtuelle (10/2010, LaBRI, France 04/2010, Groupe de Travail Programmation, Lip6, France) 5. AutoVM : repousser les frontières de la généricité, Séminaire Performance et Généricité (05/2009, Epita, France) 6. Application d une approche exo-noyau à la construction d une machine virtuelle Java : la JnJVM (04/2006, LIFL, France 03/2006, IRISA, France) 7. Applications Actives : Construction dynamique d environnements d exécution flexibles homogènes (07/2005, LIG, France) 3

II.5. Comités de programmes et relectures d articles Membre de comités de programmes (7) Membre des comités de programme de ComPAS/CFSE 2014, ComPAS/CFSE 2013 et CFSE 2011 (Français) Membre du comité de programme de PLOS 2013 (Rang B) Membre des comités de programme de DAIS 2012 et DAIS 2011 (Rang B) Président du comité de programme des ateliers de travail de NOTERE 2011 (Français) Relecteur externe pour 13 conferences et 8 journaux Conferences : DISC 2014 (Rang A), VEE 2014 (Rang A), OOPSLA 2013 et 2012 (Rang A), ISORC 2013 et 2012 (Rang C), ICDCN 2011 (Rang B), Apsys 2011 (Sans rang), Europar 2011 et 2010 (Rang A), Application of Concurrency to System Design (ACSD) 2010 (Rang B), International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) 2008 et 2005 (Rang B). Journaux : Science of Computer Programming (2014 et 2008, Elsevier, Rang A) Software Practice and Experience (2012 et 2011, Wiley, Rang A), Techniques et Sciences de l Ingénieur (2012 et 2004, Wiley, Rang A), Journal of System and Software (2009, Elsevier, Français), The Computer Journal (2009, Oxford Journal, Rang A), Organisation d événements (5) 1. 07/2015 : Trésorier et co-responsable des tutoriaux et ateliers de travail de la conférence Eurosys 2015 ( 300 personnes) 2. 12/2014 : Trésorier et co-responsable du sponsorhsip de la conférence Middleware 2014 ( 200 personnes) 3. 06/2014 : Organisateur de la journée thème émergeant "Managed Runtimes" au LIP6 ( 30 personnes) 4. 05/2011 : co-responsable des ateliers de travail de la conférence Notere 2011 ( 50 personnes) 5. 03/2007 : Organization de l atelier de travail du OSGi User Group French (OUGF) ( 20 personnes) II.6. Jurys de thèse (20) Rapporteur de 7 thèses de doctorat : Victor Lomüller (11/2014), Camillo Bruni (05/2014), Yufang Dan (05/2014), François Goichon (12/2013), Quentin Sabah (12/2013), Konstantinos Kloudas (03/2013), Geoffroy Cogniaux (12/2012). Examinateur de 8 thèses de doctorat : Baptiste Lepers (01/2014), Sylvain Cotard (12/2013), Jean-Yves vet (11/2013, président), Preston Francisco Rodrigues (05/2013), Sarni Toufik (10/2012), Rémy Pottier (09/2012), Kiev Santos de Gama (10/2011), Christophe Deleray (10/2006). Encadrant de 5 thèses de doctorat : Jean-Pierre Lozi (07/2014), Koutheir Attouchi (07/2014), Thomas Preud Homme (06/2013), Nicolas Geoffray (05/2009), Charles Clément (05/2009). III. PRODUCTION DE LOGICIELS Participation aux développements de logiciels (3) 1. Coordinateur et contributeur du projet VMKit (sous licence LLVM). VMKit est une bibliothèque visant à aider à développer de nouvelles machines virtuelles langage, comme la machine virtuelle Java. Projet intégré à la distribution Ubuntu. Site web : http://vmkit.llvm.org. Environ 50000 lignes de code. Démarré en 2007, toujours actif. 2. Coordinateur et contributeur principal du projet JnJVM. JnJVM est une machine virtuelle adaptable développée en Scheme. Site web : http://vvm.lip6.fr/projects_realizations/jnjvm/. Environ 50000 lignes de code. 4

Démarré en 2002, terminé en 2007. 3. Contributeur du projet CVM (dans le cadre de l IST Coach). CVM (Component Virtual Machine) est un environnement d exécution spécialisé pour exécuter et adapter dynamiquement des composants. Site web : http://vvm.lip6.fr/projects_realizations/cvm/. Environ 70000 lignes de code. Démarré en 2004, terminé en 2005. IV. ENSEIGNEMENT Depuis 2001, j ai enseigné environ 2100 heures. J ai passé l année 2011 2012 en CRCT (Congé pour Recherche ou Conversion Thématique), une année sans enseignement pour me consacrer uniquement à la recherche. Avant d être maître de conférences, j ai enseigné 10h à Polytech Grenoble en 2005 pendant mon post-doctorat, 172 heures à l UPMC en 2004 quand j étais ATER et 288 heures entre 2001 et 2004 à l UPMC pendant mon monitorat. J enseigne principalement dans le domaine des architectures, des systèmes et des langages, avec quelques cours dans le domaine du génie logiciel. Depuis 2010, je suis responsable du parcours middleware de la spécialité Systèmes et Applications Réparties du master d informatique de l UPMC. Depuis 2006, j ai en général la responsabilité de trois cours chaque année. Un module d enseignement à l UPMC correspond à une soixante d heures de présence pour les étudiants. Conception ou refonte de cours (5) 1. Initiation aux machines virtuelles langage (UPMC, montage en 2009, Licence 2, 80 étudiants) 2. Systèmes multicœurs et virtualization (UPMC, montage en 2009, Master 2, 30 étudiants) 3. Systèmes multicœurs (Polytech Paris, montage en 2009, Master 2, 20 étudiants) 4. Plateformes système avancées (UPMC, refonte en 2008, Master 2, 40 étudiants) 5. Middlewares orientés composants (UPMC, refonte en 2007, Master 2, 100 étudiants) Responsabilités de cours (7) 1. 2013 aujourd hui : Initiation aux systèmes d exploitation (UPMC, Licence 2, 200 étudiants sur 6 groupes de TD) 2. 2010 aujourd hui : Groupe de recherche en système (UPMC, Master 2, 30 étudiants) 3. 2009 aujourd hui : Systèmes multicœurs et virtualization (UPMC, Master 2, 30 étudiants) 4. 2009 2010 : Systèmes multicœurs (Polytech Paris, Master 2, 20 étudiants) 5. 2006 2010 : Systèmes répartis clients/servers (UPMC, Master 1, 80 étudiants sur 3 groupes de TD) 6. 2006 2010 : Systèmes répartis et architectures client/server (UPMC, Master 2, 10 étudiants) 7. 2006 2009 : Middlewares orientés composants (UPMC, Master 2, 100 étudiants sur 3 groupes de TD) 5

Résumé des enseignements Diplome Module Année Heures Université Licence 1 Programmation fonctionnelle avec Scheme 2001 2003 192 UPMC Licence 1 Initiation au langage C 2012 2012 60 UPMC Licence 2 Initiation aux machines virtuelles langage 2009 2013 107 UPMC Licence 2 Initiation aux systèmes d exploitation 2012 2013 100 UPMC Licence 2 Architecture des micro-processeurs 2012 2012 40 UPMC Licence 3 Principes des systèmes d exploitation 2004 2010 180 UPMC Licence 3 Architecture matérielle et logicielle d un ordinateur 2014 2014 33 Telecom SudParis Master 1 Noyau des systèmes d exploitation 2002 2013 594 UPMC Master 1 Programmation parallèle 2004 2004 20 UPMC Master 1 Projet système 2004 2013 27 UPMC Master 1 Systèmes répartis clients/serveurs 2006 2010 172 UPMC Master 1 Composants 2007 2007 2 UPMC Master 1 Principes des systèmes d exploitation 2008 2009 16 Polytech Paris Master 1 Conception et programmation des systèmes centralisés 2014 2014 21 Telecom SudParis Master 1 Programmation orientée objet 2014 2014 30 Telecom SudParis Master 2 Systèmes et application distribuées 2005 2005 10 Polytech Grenoble Master 2 Systèmes distribués et client/serveur 2006 2009 112 UPMC Master 2 Middlewares orientés composants 2006 2008 84 UPMC Master 2 Plateformes système avancées 2008 2013 62 UPMC Master 2 Systèmes multicoeurs 2009 2010 40 Polytech Paris Master 2 Systèmes multicoeurs et virtualization 2009 2014 92 UPMC Master 2 Groupe de recherche en système 2009 2013 116 UPMC V. AUTRES Divers 1. Trésorier du chapitre Français de l ACM SIGOPS (ASF) (2014 aujourd hui). 2. Président du chapitre Français de l ACM SIGOPS (ASF) (2011 2014). 3. Membre du conseil de direction du GDR ASR (2013 aujourd hui). 4. Membre élu du conseil de laboratoire du LIP6 (2011 aujourd hui). 5. Membre fondateur de la commission de soutien à la publication du LIP6 (2011 aujourd hui). 6. Membre fondateur du comité d organisation du colloquium d informatique de l UPMC Paris Sorbonne (2011 aujourd hui). 7. Membre du groupe de réflexion sur la réorganisation du personnel administratif du LIP6 (2013). Participation à des comités de sélection (3) 1. 2013 : Maître de conférences 27MCF0105 à l ENSEEIHT. 2. 2010 : Maître de conférences 27MCF1356 à l UJF. 3. 2010 : Maître de conférences 27MCF0854 (Chair) à l INRIA/IFSIC. VI. PUBLICATIONS Pour le rang des publications, j ai utilisé le "Australian Ranking of ICT Conferences" (http://www.core.edu.au/) de 2013. Ce classement donne une note allant de A à C aux conférences et journaux. Si la conférence ou la revue n a pas de rang, c est qu elle n est pas classée. Toutes mes publications peuvent être consultées sur ma page web (http://www-public.it-sudparis.eu/ thomas_g/research/biblio/publications.php), sauf celles acceptées, mais non encore publiées (vous pouvez m envoyer un mail si vous souhaitez la lire). Les 11 publications que je juge les plus significatives sont mises en valeur dans ma liste de publication. Rang A Rang A Rang B Rang C Nombre de publications 5 11 7 3 6

22 conférences internationales [1] Maria Carpen-Amarie, Dave Dice, Patrick Marlier, Gaël Thomas, and Pascal Felber. Evaluating htm for pauseless garbage collectors in java. In Proceedings of the International Symposium on Parallel and Distributed Processing with Applications, ISPA 15, page 8, Helsinki, Finland, 2015. Rank B. [2] Pei Li, Elisabeth Brunet, François Trahay, Christian Parrot, Gaël Thomas, and Raymond Namyst. Automatic OpenCL code generation for multi-device heterogeneous architectures. In Proceedings of the International Conference on Parallel Processing, ICPP 15, page 10, Beijing, China, 2015. Rank A. [3] Koutheir Attouchi, Gaël Thomas, Gilles Muller, Julia Lawall, and André Bottaro. Incinerator - eliminating stale references in dynamic OSGi applications. In Proceedings of the international conference on Dependable Systems and Networks, DSN 15, page 11, Rio de Janeiro, Brazil, 2015. IEEE Computer Society. Rank A. [4] Lokesh Gidra, Gaël Thomas, Julien Sopena, Marc Shapiro, and Nhan Nguyen. NumaGiC: a garbage collector for big data on big NUMA machines. In Proceedings of the conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 15, page 14, Istanbul, Turkey, 2015. ACM. Rank A. [5] Koutheir Attouchi, Gaël Thomas, André Bottaro, and Gilles Muller. Memory monitoring on a multi-tenant OSGi execution environment. In Proceedings of the international symposium on Component-Based Software Engineering, CBSE 14, pages 107 116, Lille, France, 2014. ACM. Rank B. [6] Florian David, Gaël Thomas, Julia Lawall, and Gilles Muller. Continuously measuring critical section pressure with the Free-Lunch profiler. In Proceedings of the conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 14, page 14, Portland, Oregon, US, 2014. ACM. Rank A. [7] Lokesh Gidra, Gaël Thomas, Julien Sopena, and Marc Shapiro. A study of the scalability of stop-theworld garbage collectors on multicores. In Proceedings of the conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 13, pages 229 240, Houston, Texas, USA, 2013. ACM. Rank A. [8] Yérom-David Bromberg, Morandat Floréal, Réveillère Laurent, and Gaël Thomas. EZ: towards efficient asynchronous protocol gateway construction. In Proceedings of the conference on Distributed Applications and Interoperable Systems, DAIS 13, pages 169 174, Florence, Italy, 2013. Springer-Verlag. Short paper, Rank B. [9] Suman Saha, Jean-Pierre Lozi, Gaël Thomas, Julia Lawall, and Gilles Muller. Hector: Detecting resource-release omission faults in error-handling code for systems software. In Proceedings of the international conference on Dependable Systems and Networks, DSN 13, page 12, Budapest, Hungary, 2013. IEEE Computer Society. Best paper award, Rank A. [10] Thomas Preud homme, Julien Sopena, Gaël Thomas, and Bertil Folliot. An improvement of OpenMP pipeline parallelism with the BatchQueue algorithm. In Proceedings of the International Conference on Parallel and Distributed Systems, ICPADS 12, page 8, Singapore, 2012. IEEE Computer Society. Rank B. [11] Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, and Gilles Muller. Remote core locking: migrating critical-section execution to improve the performance of multithreaded applications. In Proceedings of the Usenix Annual Technical Conference, USENIX ATC 12, pages 65 76, Boston, MA, USA, 2012. USENIX Association. Rank A. [12] Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, and Gilles Muller. Faults in linux: ten years later. In Proceedings of the conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 11, pages 305 318, Newport Beach, CA, USA, 2011. ACM. Rank A. [13] Sergey Legtchenko, Sébastien Monnet, and Gaël Thomas. Blue banana: resilience to avatar mobility in distributed MMOGs. In Proceedings of the international conference on Dependable Systems and Networks, DSN 10, pages 171 180, Chicago, IL, USA, 2010. IEEE Computer Society. Rank A. 7

[14] Luciana Arantes, Pierre Sens, Gaël Thomas, Denis Conan, and Leon Lim. Partition participant detector with dynamic paths in mobile networks. In Proceedings of the international symposium on Network Computing and Applications, NCA 10, pages 224 228, Cambridge, MA, USA, 2010. IEEE Computer Society. Short paper, Rank A. [15] Thomas Preud Homme, Julien Sopena, Gaël Thomas, and Bertil Folliot. BatchQueue: fast and memorythrifty core to core communication. In Proceedings of the international Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 10, pages 215 222, Petrópolis, Brazil, 2010. IEEE Computer Society. Rank B. [16] Nicolas Geoffray, Gaël Thomas, Julia Lawall, Gilles Muller, and Bertil Folliot. VMKit: a substrate for managed runtime environments. In Proceedings of the international conference on Virtual Execution Environments, VEE 10, pages 51 62, Pittsburgh, PA, USA, 2010. ACM. Rank A. [17] Nicolas Geoffray, Gaël Thomas, Gilles Muller, Pierre Parrend, Stéphane Frénot, and Bertil Folliot. I-JVM: a java virtual machine for component isolation in OSGi. In Proceedings of the international conference on Dependable Systems and Networks, DSN 09, pages 544 553, Estoril, Portugal, 2009. IEEE Computer Society. Rank A. [18] Nicolas Geoffray, Gaël Thomas, Charles Clément, and Bertil Folliot. A lazy developer approach: building a JVM with third party software. In Proceedings of the international symposium on Principles and Practice of Programming in Java, PPPJ 08, pages 73 82, Modena, Italy, 2008. ACM. Rank C. [19] Colombe Herault, Gaël Thomas, and Philippe Lalanda. A distributed service-oriented mediation tool. In Proceedings of the international Conference on Services Computing, SCC 07, pages 403 409, Salt Lake City, UT, USA, 2007. IEEE Computer Society. Rank A. [20] Nicolas Geoffray, Gaël Thomas, and Bertil Folliot. Transparent and dynamic code offloading for java application. In Proceedings of the international conference on Distributed Objects and Applications, DOA 06, pages 1790 1806, Montpellier, France, 2006. LNCS. [21] Assia Hachichi, Gaël Thomas, Cyril Martin, Simon Patarin, and Bertil Folliot. A generic language for dynamic adaptation. In Proceedings of the European conference on Parallel processing, EuroPar 05, pages 40 49, Lisboa, Portugal, 2005. LNCS. Rank A. [22] Frédéric Ogel, Gaël Thomas, and Bertil Folliot. Support efficient dynamic aspects through reflection and dynamic compilation. In Proceedings of the Symposium on Applied Computing, SAC 05, pages 1351 1356, Santa Fe, NM, USA, 2005. ACM. Rank B. 2 journaux internationaux [23] Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, and Julia Lawall. Faults in linux 2.6. ACM Transactions on Computer Systems (TOCS), 32(2):4:1 4:40, 2014. Rank A. [24] Gaël Thomas, Nicolas Geoffray, Charles Clément, and Bertil Folliot. Designing highly flexible virtual machines: the JnJVM experience. Software - Practice & Experience (SP&E), 38(15):1643 1675, 2008. Rank A. 8 ateliers de travail internationaux [25] Maria Carpen-Amarie, Patrick Marlier, Pascal Felber, and Gaël Thomas. A performance study of java garbage collectors on multicore architectures. In Proceedings of the International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 15, page 10, San Francisco Bay Area, USA, 2015. ACM. [26] Lokesh Gidra, Gaël Thomas, Julien Sopena, and Marc Shapiro. Assessing the scalability of garbage collectors on many cores. In Proceedings of the SOSP Workshop on Programming Languages and Operating Systems, PLOS 11, pages 1 5, Cascais, Portugal, 2011. ACM. Best paper award, Rank B. 8

[27] Nicolas Palix, Julia Lawall, Gaël Thomas, and Gilles Muller. How often do experts make mistakes? In Proceedings of the workshop on Aspects, Components, and Patterns for Infrastructure Software, ACP4IS 10, pages 9 16, Rennes and Saint Malo, France, 2010. Rank C. [28] Nicolas Geoffray, Gaël Thomas, Charles Clément, and Bertil Folliot. Towards a new isolation abstraction for OSGi. In Proceedings of the workshop on Isolation and Integration in Embedded Systems, IIES 08, pages 41 45, Glasgow, Scotland, UK, 2008. [29] Nicolas Geoffray, Gaël Thomas, and Bertil Folliot. Live and heterogeneous migration of execution environments. In Proceedings of the international workshop on Pervasive Systems, PerSys 06, pages 1254 1263, Montpellier, France, 2006. [30] Colombe Hérault, Gaël Thomas, and Philippe Lalanda. Mediation and enterprise service bus a position paper. In Proceedings of the international workshop on Mediation in Semantic Web Services, Mediate 05, pages 1 13, Amsterdam, Netherlands, 2005. [31] Frédéric Ogel, Bertil Folliot, and Gaël Thomas. A step toward ubiquitous computing: an efficient flexible micro-orb. In Proceedings of the 2004 ACM SIGOPS European Workshop, pages 176 181, Leuven, Belgium, 2004. ACM. Rank C. [32] Frédéric Ogel, Gaël Thomas, Bertil Folliot, and Ian Piumarta. Application-level concurrency management. In Proceedings of the NATO workshop on Concurrent Information Processing and Computing, CIPC 03, pages 1 13, Sinaia, Romania, 2003. 11 journaux, conférences et ateliers français [33] Mohamed Said Mosli Bouksiaa, François Trahay, and Gaël Thomas. Détection automatique d anomalies de performance. In Proceedings of the Conférence en Parallélisme, Architecture et Système, COMPAS 15, page 10, Lille, France, 2015. [34] Gauthier Voron, Gaël Thomas, Pierre Sens, and Vivien Quema. Optimisation mémoire dans une architecture NUMA : comparaison des gains entre natif et virtualisé. In Proceedings of the Conférence en Parallélisme, Architecture et Système, COMPAS 15, page 10, Lille, France, 2015. Best paper award, [35] Thomas Preud Homme, Julien Sopena, Gaël Thomas, and Bertil Folliot. BatchQueue : file producteur / consommateur optimisée pour les multi-coeurs. In Proceedings of the Conférence Française en Systèmes d Exploitation, CFSE 11, pages 1 12, Saint-Malo, France, 2011. [36] Nicolas Geoffray, Gaël Thomas, Gilles Muller, Pierre Parrend, Stéphane Frénot, and Bertil Folliot. I-JVM: une machine virtuelle java pour l isolation de composants dans OSGi. In Proceedings of the Conférence Française en Systèmes d Exploitation, CFSE 09, pages 1 12, Toulouse, France, 2009. [37] Nicolas Geoffray, Gaël Thomas, and Bertil Folliot. Distribution transparente et dynamique de code pour applications java. In Proceedings of the Conférence Française en Systèmes d Exploitation, CFSE 06, pages 85 96, Perpignan, France, 2006. [38] Didier Donsez and Gaël Thomas. Propagation d événements entre passerelles OSGi. In Proceedings of the 2006 Atelier de travail OSGi, pages 1 5, Paris, France, 2006. [39] Frédéric Ogel, Gaël Thomas, Antoine Galland, and Bertil Folliot. MVV : une plate-forme à composants dynamiquement reconfigurables la machine virtuelle virtuelle. Technique et Science Informatiques (TSI), 23(10/2004):1269 1299, 2004. [40] Assia Hachichi, Cyril Martin, Gaël Thomas, Simon Patarin, and Bertil Folliot. Reconfigurations dynamiques de services dans un intergiciel à composants CORBA CCM. In Proceedings of the conférence francophone sur le Déploiement et la (Re)configuration de logiciels, DECOR 04, pages 159 170, Grenoble, France, 2004. [41] Gaël Thomas, Bertil Folliot, and Frédéric Ogel. Jnjvm : une plateforme java adaptable pour applications actives. In Proceedings of the Conférence Française en Systèmes d Exploitation, CFSE 03, pages 1 12, La Colle sur Loup, France, 2003. 9

[42] Gaël Thomas, Bertil Folliot, and Ian Piumarta. Les documents actifs basés sur une machine virtuelle. In Proceedings of the 2002 Atelier journées des Jeunes Chercheurs en Systèmes, chapitre français de l ACM- SIGOPS, pages 441 447, Hammamet, Tunisie, 2002. [43] Bertil Folliot and Gaël Thomas. Protocole de membership hautement extensible : conception est expérimentations. In Proceedings of the Conférence Française en Systèmes d Exploitation, CFSE 01, pages 25 36, 2001. 5 autres [44] Lokesh Gidra, Gaël Thomas, Julien Sopena, and Marc Shapiro. Assessing the scalability of garbage collectors on many cores. Best papers from PLOS 11, ACM SIGOPS Operating System Review (OSR), 45(3):15 19, 2011. [45] Jean-Pierre Lozi, Gaël Thomas, Julia Lawall, and Gilles Muller. Remote core locking (RCL): migration of critical section execution to improve performance. Poster at the EuroSys European Conference on Computer Systems, EuroSys 11, 2011. [46] Jean-Pierre Lozi, Gaël Thomas, Julia Lawall, and Gilles Muller. Remote core locking: Migrating critical section execution to improve the performance of multithreaded applications. Work in progress at the Symposium on Operating Systems Principles, SOSP 11, 2011. [47] Nicolas Geoffray, Gaël Thomas, Charles Clément, Bertil Folliot, and Gilles Muller. VMKit: a substrate for virtual machines. Poster at the conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 09, 2009. [48] Gaël Thomas, Frédéric Ogel, Antoine Galland, Bertil Folliot, and Ian Piumarta. Building a flexible java runtime upon a flexible compiler. Special Issue on System & Networking for Smart Objects of IASTED International Journal on Computers and Applications, 27:28 47, 2005. 5 chapitres de livre [49] Olivier Marin, Sébastien Monnet, and Gaël Thomas. Peer-to-peer storage. In Serge Haddad, Fabrice Kordon, Laurent Pautet, and Laure Petrucci, editors, Distibuted Systems: Design and Algorithms, pages 59 80. John Wiley & Sons, Ltd., 2011. [50] Sébastien Monnet and Gaël Thomas. Large-scale peer-to-peer game applications. In Serge Haddad, Fabrice Kordon, Laurent Pautet, and Laure Petrucci, editors, Distibuted Systems: Design and Algorithms, pages 81 103. John Wiley & Sons, Ltd., 2011. [51] Bertil Folliot and Gaël Thomas. Virtualisation logicielle : de la machine réelle à la machine virtuelle abstraite. In Techniques de l Ingénieur, pages 1 15. Hermes, 2009. [52] Emmanuel Saint-James and Gaël Thomas. Applications pair-à-pair de partage de données. In F. Kordon, L. Pautet, and L. Petrucci, editors, Systèmes répartis en action : de l embarqué aux systèmes à large échelle, pages 223 256. Hermes, 2008. [53] Frédéric Ogel, Gaël Thomas, Ian Piumarta, Antoine Galland, Bertil Folliot, and Carine Baillarguet. Towards active applications: the virtual virtual machine approach. In Mitica Craus, Dan Gâlea, and Alexandru Valachi, editors, New Trends in Computer Science and Engineering, pages 1 21. A92 Publishing House, polirom press edition, 2003. 2 thèses [54] Gaël Thomas. Improving the design and the performance of managed runtime environments. PhD thesis, UPMC Sorbonne Université, Paris, France, 2012. [55] Gaël Thomas. Applications actives : construction dynamique d environnements d exécution flexibles homogène. PhD thesis, Université Pierre et Marie Curie, Paris, France, 2005. 10