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

Transcription

1 Bureau D307 Département d Informatique 9, rue Charles Fourier F Evry Cedex, France. Né le 20/10/1976, Paris Français, marié, 2 enfants Tel: Mail: gael.thomas@telecom-sudparis.eu Web: 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 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 PostDoc Université Joseph Fourrier (Grenoble/France) Équipe Adele LSR (aujourd hui LIG) Thèse de doctorat Université Pierre et Marie Curie (UPMC) Équipe SRC LIP ATER UPMC Moniteur UPMC Magistère d Informatique Appliquée d Ile de France (MIAIF) Maîtrise d Informatique/DEA (M1 M2) Système Informatiques Répartis Licence et maîtrise (L3 M1) en Mathématiques fondamentales UPMC 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

2 II.2. Projets de recherche Projets internationaux (3) : 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 : 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 : 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) : 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 : 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 : 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 : 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 DDEFCON en 2007 et 2008, Projets internes de l UPMC : Vers une utilisation efficace des nouvelles architectures multicœurs en

3 II.3. Encadrements Thèses en cours (3) 1. Gauthier Voron ( , 100%) : Big-OS: an operating system for big-data. 2. Florian David ( , 50%, avec G. Muller) : Memory snapshot in a Java virtual machine for constraint solvers (soutenance en décembre 2014). 3. Lokesh Gidra ( , 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 ( , 50%, avec G. Muller) : Towards more scalable mutual exclusion for multicore architectures. Actuellement postdoc à Simon Fraser University (Canada). 2. Koutheir Attouchi ( , 50%, avec G. Muller) : Managing resource sharing conflicts in an open embedded software environment. Actuellement ingénieur chez MicroDoc (Allemagne). 3. Thomas Preud Homme ( , 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 ( , 80% avec B. Folliot) : Fostering System Research with VMKit. Actuellement ingénieur chez Google (Angleterre). 5. Charles Clément ( , 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 ( , 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

4 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 : Environ 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 : Environ lignes de code. 4

5 Démarré en 2002, terminé en 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 : Environ lignes de code. Démarré en 2004, terminé en IV. ENSEIGNEMENT Depuis 2001, j ai enseigné environ 2100 heures. J ai passé l année 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) aujourd hui : Initiation aux systèmes d exploitation (UPMC, Licence 2, 200 étudiants sur 6 groupes de TD) aujourd hui : Groupe de recherche en système (UPMC, Master 2, 30 étudiants) aujourd hui : Systèmes multicœurs et virtualization (UPMC, Master 2, 30 étudiants) : Systèmes multicœurs (Polytech Paris, Master 2, 20 étudiants) : Systèmes répartis clients/servers (UPMC, Master 1, 80 étudiants sur 3 groupes de TD) : Systèmes répartis et architectures client/server (UPMC, Master 2, 10 étudiants) : Middlewares orientés composants (UPMC, Master 2, 100 étudiants sur 3 groupes de TD) 5

6 Résumé des enseignements Diplome Module Année Heures Université Licence 1 Programmation fonctionnelle avec Scheme UPMC Licence 1 Initiation au langage C UPMC Licence 2 Initiation aux machines virtuelles langage UPMC Licence 2 Initiation aux systèmes d exploitation UPMC Licence 2 Architecture des micro-processeurs UPMC Licence 3 Principes des systèmes d exploitation UPMC Licence 3 Architecture matérielle et logicielle d un ordinateur Telecom SudParis Master 1 Noyau des systèmes d exploitation UPMC Master 1 Programmation parallèle UPMC Master 1 Projet système UPMC Master 1 Systèmes répartis clients/serveurs UPMC Master 1 Composants UPMC Master 1 Principes des systèmes d exploitation Polytech Paris Master 1 Conception et programmation des systèmes centralisés Telecom SudParis Master 1 Programmation orientée objet Telecom SudParis Master 2 Systèmes et application distribuées Polytech Grenoble Master 2 Systèmes distribués et client/serveur UPMC Master 2 Middlewares orientés composants UPMC Master 2 Plateformes système avancées UPMC Master 2 Systèmes multicoeurs Polytech Paris Master 2 Systèmes multicoeurs et virtualization UPMC Master 2 Groupe de recherche en système 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) ( ). 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) : Maître de conférences 27MCF0105 à l ENSEEIHT : Maître de conférences 27MCF1356 à l UJF : 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" ( de 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 ( 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

7 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, 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, 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, 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, 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 , Lille, France, 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, 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 , Houston, Texas, USA, 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 , Florence, Italy, 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, 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, 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, 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 , Newport Beach, CA, USA, 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 , Chicago, IL, USA, IEEE Computer Society. Rank A. 7

8 [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 , Cambridge, MA, USA, 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 , Petrópolis, Brazil, 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, 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 , Estoril, Portugal, 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, 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 , Salt Lake City, UT, USA, 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 , Montpellier, France, 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, 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 , Santa Fe, NM, USA, 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, 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): , 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, 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, ACM. Best paper award, Rank B. 8

9 [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, 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, [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 , Montpellier, France, [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, [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 , Leuven, Belgium, 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, 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, [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, 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, [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, [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, [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, [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): , [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 , Grenoble, France, [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,

10 [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 , Hammamet, Tunisie, [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, 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, [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, [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, [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, [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, 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 John Wiley & Sons, Ltd., [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 John Wiley & Sons, Ltd., [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 Hermes, [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 Hermes, [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 A92 Publishing House, polirom press edition, thèses [54] Gaël Thomas. Improving the design and the performance of managed runtime environments. PhD thesis, UPMC Sorbonne Université, Paris, France, [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,