Curriculum Vitae en français
Upcoming SlideShare
Loading in...5
×
 

Like this? Share it with your network

Share

Curriculum Vitae en français

on

  • 4,437 views

Last updated in feb 2011

Last updated in feb 2011

Statistics

Views

Total Views
4,437
Views on SlideShare
4,423
Embed Views
14

Actions

Likes
0
Downloads
6
Comments
0

2 Embeds 14

http://www.linkedin.com 10
https://www.linkedin.com 4

Accessibility

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

Curriculum Vitae en français Document Transcript

  • 1. Curriculum VitæMartin QuinsonMaˆ de conf´rences ` Nancy Universit´ ıtre e a eMembre de l’´quipe AlGorille de l’INRIA Nancy – Grand Est eIdentification et d´roulement de carri`re e e Page 2 • Depuis 2005 : Maˆ de Conf´rence ` Nancy Universit´ ıtre e a e http://www.loria.fr/~quinson/ • 2004 : ATER ` l’universit´ de Grenoble a e Martin.Quinson@loria.fr • 2004 : Post-Doc University of California, Santa Barbara • e ´ 2003 : Th`se Ecole Normale Sup´rieure de Lyon eRecherches : M´thodologies d’exp´rimentation pour les applications distribu´es e e e Page 2 Mes recherches portent sur la conception et l’´valuation des algorithmes et applications distribu´es dans le e econtexte du calcul haute performance et du Grid Computing. En particulier, mes recherches mettent un accent particulier sur les m´thodologies d’exp´rimentation. J’ai e epour cela mis en œuvre plusieurs approches, comme l’ex´cution directe sur plates-formes exp´rimentales, e el’´mulation, la simulation et les m´thodes formelles. Je m’attache ` ´tablir des outils pratiques ` utiliser, e e a e ar´solvant de fa¸on transparente les probl`mes th´oriques et m´thodologiques de leurs utilisateurs. e c e e e Mes recherches pass´es ont ´galement port´ sur des solutions de monitoring et de middleware pour les e e eapplications scientifiques distribu´es ` large ´chelle. e a eActivit´s p´dagogiques e e Page 4 • Domaines : Programmation, Algorithmique, Algorithmique distribu´e, Syst`mes d’exploitation. e e ´ • Publics : Ecole d’ing´nieur, Master recherche, Licence. eProduction professionnelle Page 7 Responsabilit´s collectives e Page 6 • Coordinateur de divers projets scientifiques, dont un projet ANR impliquant 7 laboratoires et plus de 15 chercheurs, et co-responsable du site de Grid’5000 ` Nancy. a • Encadrant de 2 post-docs, 2 th`ses, 10 masters et 3 ing´nieurs de recherche e e • Responsable p´dagogique de la premi`re ann´e d’une ´cole d’ing´nieurs en informatique e e e e e Expertise scientifique Page 6 • Membre de comit´s de pilotage scientifique sur les grilles de recherche (´chelle r´gionale et nationale) e e e • Membre r´gulier de comit´s de programmes et de jurys de th`se. e e e • Auteur d’un chapitre de livre, 4 articles de revues, 16 articles de conf´rences et 6 pr´sentations et tutoriaux. e e Expertise technique Page 9 • Architecte logiciel de 7 projets : un outil de recherche comptant des centaines d’utilisateurs (SimGrid), une plate-forme p´dagogique compl`te, ainsi qu’un ´l´ment d’infrastructure des distributions Linux. e e eeDerni`re mise ` jour : f´vrier 2011 e a e 1
  • 2. 1 Identification et parcoursPierre Gilles Martin Quinson Adresse professionnelleN´ le 21/08/1975 ` Firminy (Loire – 42). e a Algorille/LORIA,Mari´, trois enfants. e Campus scientifique – BP 23913, all´e des Saules – 54600 Villers-l`s-Nancy e e Vandœuvre-l`s-Nancy eTel : 03 83 94 17 50 ´ Tel : 03 83 59 20 98 ´ Fax : 03 83 27 83 19Grade : Maˆ de conf´rences classe normale ıtre e Mel : martin.quinson@loria.fr ´ Web : http://www.loria.fr/~quinsonSection CNU : 27i`me e´ ´Etablissement : Universit´ Henri Poincar´ – Nancy I (composante ESIAL) e e1.1 D´roulement de carri`re e e 01/02/2005 – Maˆ de conf´rence ` l’Universit´ Henri Poincar´, Nancy I (composante ıtre e a e e ESIAL) rattach´ au LORIA (UMR CNRS-INPL-INRIA-Nancy2-UHP e 7503). 15/09/2004 – 31/01/2005 ATER ` l’Universit´ Joseph Fourier (Grenoble) et dans le laboratoire ID a e (UMR CNRS–INPG–INRIA–UJF 5212). 08/01/2004 – 08/09/2004 Post-doctorat ` l’Universit´ de Californie de Santa Barbara (UCSB). a e 01/10/2003 – 31/12/2003 Allocataire de recherche INRIA au sein du projet VTHD++. 01/09/2000 – 31/12/2003 a ´ Doctorant et allocataire de recherche MENRT ` l’Ecole Normale Sup´rieure de Lyon, au laboratoire LIP (UMR CNRS–ENS Lyon– e INRIA–UCBL 5668).1.2 Diplˆmes universitaires oDoctorat Intitul´ : D´couverte automatique des caract´ristiques et capacit´s d’une plate-forme de calcul distribu´ e e e e e Date de soutenance : 11 d´cembre 2003 e ´ e e e ´ Etablissement ayant d´livr´ la th`se : Ecole Normale Sup´rieure de Lyon e Organisme d’accueil pour la pr´paration de la th`se : e e ´ – Equipe-Projet Graal (Centre de recherche INRIA de Grenoble – Rhˆne Alpes)o – Laboratoire LIP (UMR 5668 CNRS–ENS Lyon–INRIA–UCBL)Master ou ´quivalent e Diplˆme : DEA d’Informatique Fondamentale de Lyon, fili`re syst`mes, r´seaux et parall´lisme. o e e e e Intitul´ : Mod´lisation de clusters h´t´rog`nes de machines parall`les pour les algorithmes num´riques e e ee e e e Date et Mention : Juin 2000, Mention Assez Bien ´ e e o ´ Etablissement ayant d´livr´ le diplˆme : Ecole Normale Sup´rieure de Lyon e u e e ´ Organisme o` s’est d´roul´ le stage : Equipe-Projet GraalAutres diplˆmes o Maˆ ´ ıtrise d’Informatique, Universit´ de Saint-Etienne, 1999 (Assez Bien). e1.3 Prix et distinctions • Mon article GRAS : a Research and Development framework for Grid services a ´t´ nomin´ best ee e paper dans le domaine software de la conf´rence internationale Parallel and Distributed Computing e and Systems (PDCS06) ayant eu lieu de 13 au 15 novembre 2006 ` Dallas, Texas. a • Le projet ANR USS-SimGrid dont je suis le coordinateur a ´t´ labelis´ projet phare de l’appel Arp`ge ee e e lors de son ´valuation ` mi-parcours en septembre 2010. e a2 Description synth´tique des activit´s de recherche e e Depuis mes travaux de th`se, mes centres d’int´rˆt portent prioritairement sur les probl`mes m´thodologiques e ee e ea e` r´soudre pour permettre une approche scientifique de qualit´ dans le domaine des syst`mes informatiques e edistribu´s ` large ´chelle e a e 2
  • 3. Environnement de d´veloppement d’applications ` large ´chelle. Mes travaux de th`se portaient en e a e epartie sur l’´tablissement d’un outil de tomographie du r´seau pour en d´couvrir la cartographie de mani`re e e e eautomatique. Pour ´viter les probl`mes d’idiosyncrasie de la plate-forme de test utilis´e et m’assurer de la e e eg´n´ricit´ de ma solution, j’ai cr´´ un outil nomm´ Grid Reality And Simulation (GRAS). Son objectif est de e e e ee epermettre l’´tude d’applications distribu´es sur simulateur avant leur d´ploiement in-situ. Le principe novateur e e ede cet environnement est de fournir une interface correspondant ` deux impl´mentations (une pour tester a el’application sur le simulateur et l’autre pour ex´cuter l’application sur syst`me r´el). Cette approche code e e eonce, deploy twice permet de tester de mani`re reproductible les applications, y compris dans des configurations edifficiles ` mettre en place dans la r´alit´. Cette fonctionnalit´ s’av`re pr´cieuse pour la mise au point des a e e e e eapplications. Cette approche, propos´e dans [Qui06], a ´t´ r´utilis´e et valid´e dans la th`se de Cyril Briquet, e ee e e e edont j’´tais rapporteur. eSimulations d’applications distribu´es. La partie simulation de l’environnement GRAS repose sur l’en- evironnement SimGrid [CLQ08]. J’ai donc ´t´ amen´ ` participer au d´veloppement de cet outil. Ce projet ee e a ef´d`re une partie importante de mes travaux de recherche, tant au niveau de l’outil lui-mˆme (performance, e e eutilisabilit´, r´alisme, applicabilit´) qu’au niveau d’outils associ´s comme simulacrum pour la g´n´ration de e e e e e econditions exp´rimentales r´alistes. J’utilise ´galement cet outil pour ´tudier des algorithmes distribu´s [QV09] e e e e eou de tomographie r´seau [ELQV07, EDQ07]. eModel-checking d’applications distribu´es. Le test sur simulateur que proposent GRAS et SimGrid econstituent un avantage ind´niable pour la mise au point de logiciels distribu´s, mais cela ne permet que de e etester un nombre limit´ de cas. J’ai donc ´largi le spectre de mes comp´tences en me tournant vers la mise e e een place de solutions de model-checking d’applications distribu´es. Cette technique permet d’´tudier toutes les e e´volutions possibles d’un programme en partant d’une configuration donn´e. Il s’agit en quelque sorte d’unee efonctionnalit´ de test exhaustif rendant possible ` la fois la d´tection des violations potentielles des invariants e a ede l’algorithme, mais ´galement l’´tude de propri´t´s temporelles comme l’absence de deadlock. e e ee J’ai eu la chance de co-encadrer plusieurs stages M2 et deux th`ses sur ce th`me, ce qui me permet d’´tudier e e econjointement deux approches compl´mentaires. La th`se de Sabina Akhtar vise ` ´tudier les implications de e e aela distribution sur la v´rification formelle d’algorithmes tandis que celle de Cristian Rosa vise quant ` elle ` e a a´tendre l’environnement SimGrid pour le doter d’un syst`me de model-checking. Ces th`ses, d´but´es il y a une e e e ean, ont abouti ` plusieurs publications pr´liminaires [AMQ10, RQM09]. a ePlates-formes exp´rimentales r´elles. En compl´ment de mes recherches plus personnelles, j’ai particip´ e e e eaux efforts de ma communaut´ de recherche visant ` ´tablir puis animer la plate-forme exp´rimentale r´elle e a e e eGrid’5000. J’ai a ce jour surtout assum´ des tˆches administratives et d’animation de la communaut´, mˆme si ` e a e eje n’ai ´t´ qu’un utilisateur occasionnel de la plate-forme. eeConclusion. Mes recherches portent principalement sur l’aide ` la mise au point d’applications distribu´es a ea` large ´chelle. Pour atteindre cet objectif, j’ai particip´ ` trois grandes approches m´thodologiques compl´- e e a e ementaires que sont les exp´rimentations sur plates-formes r´elles, la simulation et les m´thodes formelles. Il est e e ecertes plus courant d’aller des m´thodes formelles vers les applications r´elles, mais mon parcours scientifique a e esuivi la voie inverse pour aller vers toujours plus de g´n´ralit´ dans l’´valuation des applications distribu´es et e e e e ede confiance dans la v´rification de leurs propri´t´s. e ee2.1 Collaborations et mobilit´ e Cette section d´crit mes principales collaborations scientifiques, et mes exp´riences de mobilit´ th´matique. e e e eSimulation d’applications. L’un de mes th`mes de recherche porte sur la simulation d’applications. Dans ece cadre, je co-d´veloppe le simulateur SimGrid . Je collabore de mani`re continue et soutenue depuis 2001 e eavec Arnaud Legrand, CR1 CNRS au LIG a Grenoble. A. Legrand et moi travaillons ensemble ` am´liorer le ` a er´alisme et l’extensibilit´ du simulateur SimGrid. Cet outil a structur´ une partie importante de mon activit´ e e e ede recherche ` ce jour, toujours en collaboration avec A. Legrand. Nous avons co-encadr´ Lionel Eyraud en a epost-doctorat en 2006-2007. A. Legrand est un membre cl´ du projet ANR USS-SimGrid (dont je suis le ecoordinateur national) visant ` ´tendre le spectre d’application de l’outil ` la communaut´ du pair-`-pair. A. ae a e aLegrand est ´galement coordinateur du projet ADT SimGrid, dont je suis l’autre membre, coordinateur de la epartie nanc´enne. Cette collaboration a donn´ lieu ` de nombreuses publications, et reste tr`s active malgr´ la e e a e edistance g´ographique. e SimGrid constitue ´galement le cadre de ma collaboration avec Fr´d´ric Suter, CR1 CNRS au CC IN2P3 e e ea` Lyon. Nous travaillons ensemble ` am´liorer l’utilisabilit´ de l’outil. Cela nous a amen´ ` faire ´voluer le a e e e a eformalisme de descriptions des plates-formes (co-encadrement d’un internship INRIA en 2007) et ` proposer a 3
  • 4. un outil de g´n´ration de conditions exp´rimentales synth´tiques mais r´alistes nomm´ simulacrum (voir page e e e e e e9). F. Suter et moi sommes ´galement impliqu´s dans deux projets visant ` utiliser SimGrid pour les grilles de e e aproduction. L’un, port´ par F. Suter vise ` mod´liser la plate-forme EGEE, tandis que l’autre vise ` simuler les e a e adata grids dans une collaboration avec une ´quipe du CERN (cf. §4.1). Enfin, F. Suter et moi collaborons de emani`re r´guli`re avec St´phane Genaud (McF U. Strasbourg) ` la simulation d’applications MPI. e e e e a J’utilise ´galement SimGrid dans le cadre de collaborations avec Lionel Eyraud-Dubois (CR2 INRIA ` e aBordeaux) pour l’´tude d’algorithmes de tomographie automatique du r´seau et avec Flavien Vernier (MCF e ea` l’universit´ de Savoie) sur le th`me d’algorithmes d’exclusion mutuelle adapt´s aux plates-formes modernes. e e eM´thodes formelles. J’ai op´r´ en 2006 un ´largissement th´matique en m’int´ressant aux m´thodes formelles e ee e e e een g´n´ral et au model-checking en particulier. Il ne s’agit pas ` proprement parl´ d’une mobilit´ th´matique e e a e e epuisque je continue d’ˆtre actif dans le domaine de la simulation d’applications. Mon objectif est d’augmenter emon spectre m´thodologique pour l’´valuation d’applications r´parties, comme expliqu´ dans mon projet de e e e erecherche. J’ai men´ ces travaux en collaboration avec Stephan Merz (DR INRIA ` Nancy), sp´cialiste du domaine. e a eDe nombreux encadrements ont eu lieu dans ce cadre, dont deux masters Loria, un stage 3A ` l’´cole desa emines, deux internship Inria et enfin deux th`ses, encore en cours. Notre objectif est de faire converger les eprobl´matiques des communaut´s de recherche en model-checking et en applications r´parties ` haute perfor- e e e amance. L’une des th`ses en cours (celle de Cristian Rosa) vise ` int´grer le model-checking dans l’outil SimGrid. e a eCette approche a donn´ lieu ` une publication ` un workshop associ´ ` la conf´rence CAV (conf´rence majeure e a a ea e edans le domaine des m´thodes formelles). D’autres publications sont actuellement en pr´paration. e e L’autre th`se prend l’approche inverse et vise ` ´tendre le langage TLA+ con¸u initialement par Leslie Lam- e ae cport pour permettre la v´rification d’algorithmes concurrents. Notre objectif est de simplifier l’utilisation de ce elangage pour la v´rification d’algorithmes distribu´s. Ces travaux ont donn´ lieu ` une publication pr´liminaire, e e e a eet constituent surtout l’occasion d’une collaboration extrˆmement stimulante avec Leslie Lamport dans le ecadre du laboratoire commun INRIA-Microsoft. Nous avons organis´ plusieurs r´unions de travail dans ce e ecadre, et nos modifications devraient ˆtre int´gr´es ` l’outil original une fois termin´es. e e e a e e ´Plates-formes exp´rimentales. Etant coordinateur du site local de Grid’5000, je suis naturellement amen´ ea` collaborer avec les membres du comit´ de pilotage national de l’instrument. J’ai particip´ ` recruter Lucas e eaNussbaum, class´ premier dans plusieurs laboratoires prestigieux en France, dans mon EPI en 2009. Nous eavons depuis ´tabli une collaboration soutenue sur la r´solution des probl`mes m´thodologiques li´s aux grilles e e e e eexp´rimentales. e3 Activit´s p´dagogiques e e J’enseigne ` l’universit´ depuis 1999, c’est ` dire avant mˆme le d´but de ma th`se. Cette pr´cocit´ est due a e a e e e e ea` l’importance que je donne ` aspect du travail universitaire. a Mesurer la qualit´ des enseignements est une gageure. Il est relativement courant de limiter cette ´valuation e eau d´nombrement des volumes et des sujets, sans s’attacher ` la qualit´ r´elle des enseignements dispens´s. e a e e eComme le montre le reste de cette section, j’enseigne chaque ann´e depuis 2005 environ 40 heures de cours emagistraux, 60 heures de travaux dirig´s et 100 heures de travaux pratiques par an en programmation au eniveau licence, ainsi qu’en syst`mes d’exploitation et en syst`mes distribu´s au niveau Master. e e e Mais mon investissement en enseignement n’est que partiellement refl´t´ par ces chiffres. Au fil des ann´es, ee ej’ai compl`tement refond´ l’enseignement de la programmation et des syst`mes d’exploitation ` l’ESIAL. En e e e acollaboration avec G´rald Oster, nous avons d´velopp´ un cursus coh´rent, bas´ sur la pratique et le travail e e e e eautonome des apprenants. Nous avons pour cela d´velopp´ une plate-forme p´dagogique compl`te (voir page 10). e e e eCe cursus ne n´glige pas pour autant les aspects th´oriques, avec une large place donn´e ` l’algorithmique qui e e e asous-tend la programmation, et une modernisation compl`te des cours sur les preuves de programme incluant eune introduction aux m´thodes formelles modernes. e Tous les supports r´alis´s dans le cadre de mes enseignements sont diffus´s sur ma page web, y compris les e e eversions pour enseignant. Ces documents ne sont pas des corrections des TD et TP, mais plutˆt des documents opour enseignants que je r´dige ` destination des intervenants d´butants (moniteurs et ATER) ` l’ESIAL. Je e a e are¸ois r´guli`rement des mails de coll`gues dans d’autres ´tablissements me remerciant de ces supports apr`s c e e e e eles avoir utilis´ dans leurs propres enseignements. e3.1 En qualit´ de maˆ e ıtre de conf´rences e Je dispense mes enseignements en qualit´ de maˆ de conf´rences ` l’Universit´ Henri Poincar´ (Nancy I) e ıtre e a e edepuis f´vrier 2005. La liste ci-dessous ne recense que les modules dans lesquels j’exerce (ou ai exerc´) une re- e e 4
  • 5. sponsabilit´ p´dagogique en omettant les modules o` j’interviens sans avoir la responsabilit´ des enseignements. e e u e J’ai ´galement port´ en 2007/2008 un projet de sp´cialit´ intitul´ Syst`mes et Applications Dis- e e e e e e e e e ´tribu´s pour les deuxi`me et troisi`me ann´es de l’ESIAL. Ce projet n’a pas abouti ` cause des e a e ´difficult´s de recrutement v´cues par l’ESIAL suite ` son changement de concours d’entr´e. C’est dans ce cadre e a equ’a eu lieu le projet structurant avec la r´gion Lorraine pour l’´quipement d’une salle de TP virtuels. e e e e e a ´ Enfin, je suis responsable de la premi`re ann´e du cursus ing´nieur ` l’ESIAL depuis 09/10.Responsabilit´s de modules d’enseignement en 2010/2011 e e e e ´ • R´seaux et Syst`mes (2A ing´nieur – ESIAL). Co-responsable (avec I. Chrisment) depuis 06/07. Contenu : Programmation syst`me UNIX (processus, fichiers, r´seaux, threads). e e Volume : 10h CM, 14h TD, 6h TP. ´ • Langage C et Shell (1A ing´nieur – ESIAL). Responsable depuis 06/07. e Contenu : Bases de la programmation UNIX (C et Shell). Volume : 20h cours/TD, 22h TP. ´ • Techniques et Outils pour la Programmation (1A ing´nieur – ESIAL). Responsable depuis 08/09. e Contenu : Bases de l’algorithmique, techniques de mise au point, preuves de programmes. Volume : 12h CM, 20h TD, 12h TP. ´ • Premiers Pas en Informatique (1A ing´nieur – ESIAL). Co-responsable (avec G. Oster) depuis 08/09. e Contenu : Initiation aux grands d´butants de la programmation par des tutoriaux sur machine. e Volume : 30h TP.Responsabilit´s pass´es de modules e e • Grilles de calcul, P2P et algorithmique avanc´e (Master 2 Recherche – UFR STMIA). e Co-responsable entre 05/06 et 07/08 avec F. Suter, responsable ensuite jusqu’en 09/10. Contenu : Grilles de calcul, Syst`mes Pair-`-Pair et principes avanc´s d’algorithmique distribu´e. e a e e Volume : 7,5h CM avant 08/09, 15h CM en 08/09 et 09/10. • Programmation d’applications r´parties (3A ing´nieur – ESIAL). e e ´ Responsable en 05/06, co-responsable (avec Fran¸ois Charoy) entre 06/07 et 08/09. c Contenu : Programmation Java RMI et EJB. Volume en 05/06 : 16h CM, 14h TD, 14h TP ; Volume entre 06/07 et 08/09 : 8h CM, 7h TD, 7h TP. • R´seaux et Syst`mes Avanc´s (2A ing´nieur – ESIAL). e e e e ´ Co-responsable en 08/09 en remplacement de M. Maimour, en cong´ maternit´ ; intervenant auparavant. e e Contenu : Principes d’impl´mentation des syst`mes UNIX (m´moire, processus, fichiers, r´seaux). e e e e Volume avant 08/09 : 8h TD, 10h TP ; Volume en 08/09 : 10h CM, 8h TD, 10h TP. • Administration des r´seaux et syst`mes (1A ing´nieur – ESIAL). e e e ´ Responsable du module en 05/06, intervenant jusqu’en 08/09. Contenu : Mise en place et administration de r´seaux UNIX et Windows. Volume : 5h TD, 19h TP. e ´ • Informatique de base (1A ing´nieur – ESIAL). e Responsable en 06/07 et 07/08, cours supprim´ en 08/09 (replac´ par TOP ci-dessus). e e Contenu : Bases de l’algorithmique, r´cursivit´. Volume : 4h CM, 20h TD, 30h TP. e e3.2 Enseignements ant´rieurs ` 2005 e a Cette section liste les enseignements auxquels j’ai particip´ avant ma nomination ` Nancy. e aEnseignements dispens´s en qualit´ d’ATER. Universit´ Grenoble I (premier semestre 04/05) e e e • Algorithmique et programmation (Licence 3). Volume : 45h TD • M´thodes informatiques : compl´ments th´oriques et techniques (Licence 1). Volume : 54h TD e e eEnseignements dispens´s en qualit´ de vacataire. Avant la fin de ma th`se. e e e • Introduction aux r´seaux (Deug 2 MIAS ` Universit´ Claude Bernard (Lyon I) en 01/02) e a e Contenu : Mod`le en couche OSI, utilisation du r´seau (cours mont´ pour l’occasion) ; Volume : 10h CM e e e • Approfondissement en langage C (Deug 2 MIAS ` l’UCBL en 01/02) a Contenu : Gestion de la m´moire en C, entr´es/sorties en C ; Volume : 9h TD, 9h TP. e e a e ´ • Initiation au langage CAML (Deug 1 MIAS ` l’Universit´ J. Monnet (St Etienne) en 99/00) ; 18h TP. 5
  • 6. 4 Responsabilit´s collectives e4.1 Responsabilit´s contractuelles de recherche e Cette section ne liste que les contrats de recherche pour lesquels je suis coordinateur. La liste des projetsauxquels j’ai particip´ sans ˆtre coordinateur est disponible dans mon CV complet, disponible sur ma page web. e e e e a ´ • 2010-2013 : projet du CPER Lorrain Exp´rimentations et calculs Distribu´s ` Grande Echelle (EDGE) Description : Projet visant ` f´d´rer les efforts de recherche sur les plates-formes de calcul exp´rimentales a e e e dans la r´gion Lorraine. e Montant : environ 1 000 600 e sur quatre ans. Participation : Porteur du projet, charg´ de mission. e • 2010 : projet Grid’5000/Institut des Grilles Simulating Data-Intensive Grid Applications Description : Collaboration avec l’´quipe DQ2 du CERN pour la simulation de grilles de donn´es. e e Montant : 5 000 e sur un an (porteur du projet) • 2010-2011 : projet PHC Tournesol FL Large-scale Discrete-event Simulation of Distributed Systems Description : Collaboration avec l’´quipe de J. Broeckhove d’Anvers, qui r´alise le simulateur GES. e e Montant : 8 000 e sur deux ans (porteur du projet) • 2009-2011 : projet ANR USS SimGrid (Simulation extrˆmement extensible avec SimGrid) e Description : Am´lioration de l’extensibilit´ et de l’utilisabilit´ de SimGrid. e e e Montant : 220 000 e pour Nancy (840 000 e pour l’ensemble des partenaires) sur trois ans. Participation : Porteur du projet et coordinateur national. • 2009-2012 : projet ADT INRIA SimGrid Usability, co-localis´e entre Grenoble et Nancy. e Description : Action de d´veloppement technologique affectant deux ing´nieurs au projet SimGrid. e e Montant : 80 000 e sur deux ans. Participation : Co-responsable avec A. Legrand ; Porteur ` Nancy ; Encadrant de l’ing´nieur de Nancy. a e • 2009-2010 : projet BQR R´gion Lorraine/INRIA (Bonus Qualit´ Recherche) e e Cat´gorie : Soutien aux jeunes chercheurs. e Intitul´ : Model-checking d’applications distribu´es pour la grille et les syst`mes pair-`-pair. e e e a Montant : 12 000 e sur deux ans (porteur du projet). • 2006-2008 : ODL INRIA (Op´ration de d´veloppement logiciel). e e Description : Am´lioration de SimGrid. e Montant : 80 000 e sur deux ans (porteur du projet, encadrant de l’ing´nieur) e • 2008 : Projet structurant de la r´gion Lorraine (cat´gorie Formations Innovantes ). e e e ´ Intitul´ : Equipement d’une salle de Travaux Pratiques virtuels dans le cadre de la sp´cialisation Syst`me e e et Applications Distribu´s. e Montant : 40 000 e sur un an (porteur du projet).4.2 Activit´s ´ditoriales e e • J’ai ´t´ membre des comit´s de programme suivants : ee e – fifth International Workshop on Modeling, Simulation, and Optimization of Peer-to-peer Environments (MSOP2P 2011), in conjunction with Euromicro PDP 2011. – Conf´rence SIMUTools (ACM/IEEE) 2008, 2009, 2010. e – Conf´rence CCGrid (ACM/IEEE) 2009, 2011. e ´ – Ecole d’´t´ Grid’5000 2009, 2010. ee – Colloque Experimental Grids (EXPEGRID’06), associ´ ` la conf´rence High Performance Distributed ea e Computing (HPDC’06), Paris, France, Juin 2006. • Relectures scientifiques pour diff´rentes conf´rences (parmi lesquelles CLADE, CCGrid, Euro-Par, e e ICCS, IPDPS, PACT, PARCO et PDP) et revues internationales (parmi lesquelles Software Practice and Experience et Cluster Computing).4.3 Autres responsabilit´s collectives et expertise scientifique e • Participation ` des comit´s de pilotage : a e – 2010 : Je suis charg´ de mission mandat´ par le directeur du centre de recherche INRIA Nancy – Grand e e Est sur la th´matique Grilles de recherches . Ma lettre de mission est jointe en annexe. e – 2009-2012 : Aladdin, projet ADT INRIA dans la continuit´ de l’ACI Grid’5000. Responsable du site e de Nancy, membre du comit´ de pilotage. e – 2005-2008 : Grid’5000, de l’ACI GRID, visant ` la mise en place une plate-forme d’exp´rimentation a e de tr`s grande taille (5000 CPU, 9 sites). J’ai ´t´ membre du comit´ de pilotage national et j’ai particip´ e ee e e 6
  • 7. a ` la coordination du site de Nancy en collaboration avec E. Jeannot. • Participation ` des jurys de th`se : a e – Exp´rimentation sur les nouvelles architectures : des processeurs multi-coeurs aux grilles de calcul, e d´fendue par Brice Videau le 28/10/2009 sous la direction de Jean-Fran¸ois M´haut et Olivier Richard e c e a ` l’universit´ Joseph Fourier de Grenoble (rˆle : examinateur). e o – Systematic Cooperation in P2P Grids, d´fendue par Cyril Briquet le 29/10/2008 sous la direction de e Pierre Arnould de Marneffe ` l’Universit´ de Li`ge (rˆle : rapporteur). a e e o – Mod´lisation et optimisation dans les environnements de calcul distribu´ sur r´seau pair-`-pair, d´fendue e e e a e par Jean-Baptiste Ernst-Desmulier le 2/10/2008 sous la direction de Fran¸ois Spies et Julien Bourgeois c a ` l’Universit´ de Franche-Comt´ (rˆle : examinateur). e e o • Organisateur local de l’´cole de printemps Grid’5000 ` Nancy en avril 2009. e a • Expertises de dossiers d’´quipes associ´es INRIA en 2009, et d’un dossier de bourse Cifre en 2009. e e5 Liste compl`te des contributions e5.1 Liste de publicationsCette liste, ainsi que les versions ´lectroniques de la plupart de ces communications, sont ´galement disponibles e edepuis ma page web.Chapitres de livre[CDF+ 02] Eddy Caron, Fr´d´ric Desprez, Eric Fleury, Fr´d´ric Lombard, Jean-Marc Nicod, Martin Quinson e e e e and Fr´d´ric Suter. Calcul r´parti ` grande ´chelle, chapter une approche hi´rarchique des serveurs e e e a e e de calculs. Herm`s Science Paris, 2002. ISBN 2-7462-0472-X. eJournaux avec comit´ de lecture e[GJQ09] Jens Gustedt, Emmanuel Jeannot and Martin Quinson. Experimental Validation in Large-Scale Sys- tems : a Survey of Methodologies. Parallel Processing Letters, 19(3):399–418, 2009.[CDQS04] Eddy Caron, Fr´d´ric Desprez, Martin Quinson and Fr´d´ric Suter. Performance Evaluation of Lin- e e e e ear Algebra Routines. International Journal of High Performance Computing Applications, 18(3):373- 390, 2004. Special issue on Clusters and Computational Grids for Scientific Computing (CCGSC’02).[Qui02b] Un outil de pr´diction dynamique de performances dans un environnement de metacomputing. Tech- e nique et Science Informatique, 21(5):685–710, 2002. Special issue on RenPar’01.[CCC+ 01] Eddy Caron, Serge Chaumette, Sylvain Contassot-Vivier, Fr´d´ric Desprez, Eric Fleury, e e Claude Gomez, Maurice Goursat, Emanuel Jeannot, Dominique Lazure, Fr´d´ric Lombard, Jean- e e Marc Nicod, Laurent Philippe, Martin Quinson, Pierre Ramet, Jean Roman, Franck Rubi, Serge Steer, Fr´d´ric Suter, Gil Utard. Scilab to Scilab//, the OURAGAN Project. Parallel Comput- e e ing, 11(27):1497–1519, 2001.Conf´rences et workshops avec comit´s de lecture et actes e e[CSG+ 10] Pierre-Nicolas Clauss, Mark Stillwell, St´phane Genaud, Fr´d´ric Suter, Henri Casanova, Martin e e e Quinson. Single Node On-Line Simulation of MPI Applications with SMPI. 25th IEEE International Parallel & Distributed Processing Symposium (IPDPS’11), May 16-20, 2011, Anchorage (Alaska) USA.[AMQ10] Sabina Akhtar, Stephan Merz and Martin Quinson. A High-Level Language for Modeling Algorithms and their Properties. 13th Brazilian Symposium on Formal Methods, Natal, Rio Grande do Norte, Brazil, Nov 8-12, 2010.[BQS10] Laurent Bobelin, Martin Quinson and Fr´d´ric Suter. Synthesizing Generic Experimental Environ- e e ments for Simulation. 5th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC’10), Fukuoka, Japan, Nov 4-6 2010.[RMQ10] Cristian Rosa, Stephan Merz and Martin Quinson. A Simple Model of Communication APIs – Appli- cation to Dynamic Partial-order Reduction. 10th International Workshop on Automated Verification of Critical Systems (AVOCS’10), D¨sseldorf, Germany, Sept 20-23, 2010. u[QV09] Martin Quinson and Flavien Vernier. Byte-Range Asynchronous Locking in Distributed Settings. 17th Euromicro Intl Conf. on Parallel, Distributed and network-based Processing (PDP’09), Weimar, Germany, Feb 18-20 2009. 7
  • 8. [RQM09] Cristian Rosa, Martin Quinson and Stephan Merz. Model checking distributed applications with GRAS. Exploiting Concurrency Efficiently and Correctly (EC2 ) workshop, associated to the 20th International Conference on Computer Aided Verification (CAV’09), Grenoble, France, 2009.[CLQ08] Henri Casanova, Arnaud Legrand and Martin Quinson. SimGrid : a Generic Framework for Large- Scale Distributed Experiments. 10th IEEE International Conference on Computer Modeling and Simulation, Cambrige, UK, 2008.[ELQV07] Lionel Eyraud Dubois, Arnaud Legrand, Martin Quinson and Fr´d´ric Vivien. A First Step Towards e e Automatically Building Network Representations. 13th International EuroPar Conference, Rennes, France, August 2007, LNCS 4641 :160–169 (Springer-Verlag).[EDQ07] Lionel Eyraud-Dubois and Martin Quinson. Assessing the Quality of Automatically Built Network Representations. Workshop on Programming Models for Grid Computing, associated to CCGrid’07.[Qui06] Martin Quinson. GRAS : a Research and Development framework for Grid services. 18th IASTED Intl Conf. on Parallel and Distributed Computing and Systems (PDCS06). Best paper award.[LQ04] Arnaud Legrand and Martin Quinson. Automatic deployment of the Network Weather Service using the Effective Network View. High-Performance Grid Computing Workshop, associated to IPDPS’04.[CLQS02] Philippe Combes, Fr´d´ric Lombard, Martin Quinson and Fr´d´ric Suter. A Scalable Approach to e e e e Network-Enabled Servers. 7th Asian Computing Science Conference, Dec. 2002.[CDL+ 02] Eddy Caron, Fr´d´ric Desprez, Fr´d´ric Lombard, Jean-Marc Nicod, Martin Quinson and Fr´d´ric e e e e e e Suter. A Scalable Approach to Network-Enabled Servers. 8th International EuroPar Conference, Paderborn, Germany, August 2002, LNCS 2400 :907–910 (Springer-Verlag).[Qui02a] Martin Quinson. Dynamic Performance Forecasting for Network-Enabled Servers in a Metacomput- ing Environment. International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO-IPDS’02), associated to IPDPS’02, April 15-19 2002.[DQS01] Fr´d´ric Desprez, Martin Quinson and Fr´d´ric Suter. Dynamic Performance Forecasting for Network e e e e Enabled Servers in a Metacomputing Environment. Intl Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA’01), June 25-28 2001. CSREA Press 3:1421–1427.[LQS01] Fr´d´ric Lombard, Martin Quinson and Fr´d´ric Suter. Une approche extensible des serveurs de e e e e calcul. 13th Rencontres du Parall´lisme des Architectures et des Syst`mes (RenPar’01), Paris, France, e e 2001.[Qui01] Martin Quinson. Un outil de mod´lisation de performances dans un environnement de metacomput- e ing. 13th Rencontres du Parall´lisme des Architectures et des Syst`mes (RenPar’01), Paris, France, e e 2001.Rapports de recherches (non publi´s par ailleurs) e[DMQ+ 10] Fr´d´ric Desprez, George S. Markomanolis, Martin Quinson, Fr´d´ric Suter. Assessing the Perfor- e e e e mance of MPI Applications Through Time-Independent Trace Replay. Research Report 7489, INRIA, December 2010.[FQS08] Marc-Eduar Frincu, Martin Quinson and Fr´d´ric Suter Handling Very Large Platforms with the e e New SimGrid Platform Description Formalism. Technical Report 348, INRIA, February 2008.[LMQ06] Arnaud Legrand, Fr´d´ric Mazoit and Martin Quinson. An Application-Level Network Mapper. Tech- e e nical Report 5792, INRIA, January 2006.Pr´sentations invit´es, tutoriaux et conf´rences sans actes e e e 6. Experimenting HPC Systems with Simulation. Tutorial at the 8th ACM/IEEE International Conference on High Performance Computing & Simulation (HPCS’10), Caen, France, June 28 2010. 5. Performance Assesment of Distributed Scientific Applications, Invited talk to workshop “Challenges & Pitfalls of Performance Assurance”, associated to CECMG’10, Darmstadt, Germany, March 2010. 4. SimGrid : a Generic Framework for Large-Scale Distributed Experiments. Invited talk to the 9th ACM/ IEEE International conference on Peer-to-peer computing (P2P’09), Seattle, USA, Sept 2009. 3. The SimGrid Framework for Research on Large-Scale Distributed Systems. Tutorial at the 9th Intl Conf. on Parallel and Distributed Computing, Applications and Technologies (PDCAT’08), Dunedin, New- Zeeland, Dec 2008. 2. Simulation for Large-Scale Distributed Computing Research. Tutorial at the 8th ACM/IEEE Intl Sym- posium on Cluster Computing and the Grid (CCGrid’08), Lyon, France, May 2008. 1. Simulation for Large-Scale Distributed Computing Research. Tutorial at the 19th IASTED Intl Conf. on Parallel and Distributed Computing and Systems (PDCS’07), Boston, MA, USA, Oct 2007. 8
  • 9. 5.2 D´veloppements technologiques e Mes travaux ont men´ aux r´alisations logicielles suivantes. Cette section ne liste que les projets pour lesquels e ej’ai eu un rˆle de premier plan en laissant de cot´ les projets pour lesquels ma participation a ´t´ plus limit´e. o e ee e5.2.1 Framework SimGridObjectif : Simulation de syst`mes r´partis (voir §2) e eImplication : Principal architecte logiciel, d´veloppement en collaboration avec A. Legrand eVolume : 140 000 lignes principalement de C (mais aussi Java, Ruby, Lua et C++)Portabilit´ : Linux, Mac (et partiellement : Windows, Solaris et AIX) eDiffusion : LGPL (http://simgrid.gforge.inria.fr)5.2.2 Environnement d’ex´cution GRAS (Grid Reality And Simulation) eObjectif : Mise au point des applications distribu´es eApproche, difficult´s majeures et int´rˆts : e e e – Approche originale consistant ` impl´menter la mˆme interface de message deux fois (une pour l’utili- a e e sation sur simulateur, l’autre pour utilisation sur plate-forme r´elle) ; e – Impl´mentation de techniques de copie profonde de structures de donn´es pour permettre la communi- e e cation de tout type de donn´es C ; e – Impl´mentation d’un protocole r´seau de type Native Data Representation pour garantir des perfor- e e mances quasi-optimales (comparable a MPI). `Implication : D´veloppeur unique eVolume : 25 000 lignes de source C (port´ sur Linux et Solaris) eDiffusion : Int´gr´ depuis ` SimGrid e e a5.2.3 ALNeM (Application Level Network Mapper)Objectif : Tomographie automatique de plates-formes distribu´es eApproche, difficult´s majeures et int´rˆts : e e e – Plus qu’un outil de tomographie, ALNeM constitue un environnement d’´tudes d’algorithmes de tomo- e graphie de niveau applicative ; – Mise en place d’une m´thodologie sp´cifiquement adapt´e ` l’´valuation de ces algorithmes. e e e a eImplication : Architecte logiciel, d´veloppeur original (projet repris par Lionel Eyraud depuis) eVolume : 8 000 lignes de source C (test´ sur Linux) eDiffusion : Utilisation interne ` ce jour (licence BSD) a5.2.4 SimulacrumObjectif : G´n´ration de conditions exp´rimentales synth´tiques mais r´aliste pour SimGrid e e e e eApproche, difficult´s majeures et int´rˆts : e e e – Conceptualisation du workflow associ´ ` l’utilisation du simulateur (g´n´ration du graphe, promotion des ea e e nœuds en ressources de calcul, s´lection de sous-ensemble v´rifiant des propri´t´s statistiques donn´es), e e ee e et impl´mentation d’une interface pour le mettre en œuvre ; e – Approche modulaire permettant d’ajouter simplement de nouveaux mod`les de g´n´ration. e e eImplication : Architecte logiciel, d´veloppeur principal eVolume : 5 000 lignes de source JavaDiffusion : GPL (http://pda.gforge.inria.fr). D´pˆt APP en cours. e o5.2.5 Biblioth`que FAST eObjectif : Pr´diction de performances et la surveillance de ressources syst`mes e eApproche, difficult´s majeures et int´rˆts : e e e – Approche originale visant ` collecter s´par´ment des informations sur les besoins de chaque op´ration a e e e a e ` ex´cuter et des informations ` jour sur l’´tat de la plate-forme avant de les utiliser conjointement. a eImplication : D´veloppeur unique eVolume : 15 000 lignes de source C (port´ sur Linux, Solaris, True64 – licence BSD) eDiffusion : Utilis´ dans le middleware de grid computing DIET (www.loria.fr/~quinson/fast.html) e 9
  • 10. Type Ann´es e ´ Etudiants Dur´e e Taux d’encadrement Niveau post-doctorat Post-doctorat 09/10 P.N.Clauss 2 an 100% 06/07 L.Eyraud 1 an 33% Niveau th`se e Th`se e 2008-2011 C.Rosa 3 ans 50% 2008-2011 S.Akhtar 3 ans 50% Niveau M2 M2R au LORIA 07/08 S.Akhtar 6 mois 50% 06/07 S.Mouelhi 6 mois 50% 05/06 A.Harbaoui 6 mois 100% Internship INRIA 09/10 M.Chimento 3 mois 50% 09/10 D.Marquez 4 mois 100% 07/08 M.Frincu 4 mois 50% 07/08 C.Rosa 3 mois 50% M2 (3A des Mines de Nancy) 07/08 H.Liu 160h 50% M2 (TUM, Allemagne) 02/03 B.Van Heukelom 5,5 mois 70% Projets de fin d’´tude ing´nieur ` forte composante recherche e e a Projet de fin d’´tudes e 09/10 3 ´tudiants e 300h 100% 07/08 3 ´tudiants e 300h 100% 05/06 3 ´tudiants e 300h 100% Table 1 – Encadrements de recherche effectu´s ` ce jour. e a5.2.6 JLM (Java Learning Machine)Objectif : Plate-forme d’enseignement pour l’initiation ` la programmation au travers d’exercices interactifs aApproche, difficult´s majeures et int´rˆts : e e e – Outil interactif et graphique ` boucle de feedback courte pour entretenir l’int´rˆt des apprenants ; a ee – Conception modulaire permettant l’implantation de diff´rents types de situations-probl`mes ; e e – Ensemble d’exercices cons´quent et coh´rent pour un apprentissage du Java. e eImplication : Architecte logiciel, d´veloppeur principal, auteur du contenu p´dagogique (en collaboration avec e e G´rald Oster) eVolume : 20 000 lignes de source Java (licence GPL – http://www.loria.fr/~quinson/JLM.html) e a ´Diffusion : Cet outil est utilis´ dans le cadre de mes enseignements ` l’ESIAL. Il est diffus´ sur plusieurs e catalogues de ressources libres pour l’enseignement de l’informatique. D´pˆt APP en cours. e o5.2.7 po4a (po for anything)Objectif : Outil d’aide ` la maintenance de traduction de documentation libre aApproche, difficult´s majeures et int´rˆts : e e e – Approche originale permettant de r´utiliser les outils pr´vus pour l’internationalisation des programmes e e libre pour traduire diff´rents formats de documentation ; e – Organisation logicielle permettant d’utiliser un seul parser par format cible, utilis´ pour l’extraction des e chaˆınes a traduire et l’injection de la traduction. `Implication : Architecte logiciel, d´veloppeur original (projet repris par Nicolas Fran¸ois depuis) e cVolume : 8 000 lignes de source perl (licence GPL)Diffusion : Cet outil, d´velopp´ sur mon temps libre, est devenu une pierre angulaire du syst`me de traduction e e e de Debian.5.3 Encadrement d’activit´s de recherche e Cette section ne mentionne que mes encadrements de niveau Master 2 et sup´rieurs ` forte composante e arecherche. Elle omet les stages Master 1 (ou inf´rieur) de d´couverte de la recherche ainsi que les stages de fin e ed’´tude ing´nieur sans composante recherche que j’ai ´t´ amen´ ` encadrer. La table 1 r´sume ces encadrements. e e ee ea e5.3.1 Encadrements de post-doctorats • Du 01/10/2006 au 31/09/2007 : Lionel Eyraud-Dubois sur le th`me Algorithmes de reconstitution de la e topologie de la plate-forme. Ce post-doctorat a ´t´ financ´ par l’ARA ALPAGE, et a d´bouch´ sur deux ee e e e 10
  • 11. publications en 2007 ([EDQ07, ELQV07]). Il fait suite au stage M2R d’Ahmed Harbaoui en 2006. Encadrements : 33% par moi-mˆme, 33% par F. Vivien, ENS-Lyon et 33% par A. Legrand, CNRS/LIG. e Situation actuelle du stagiaire : Lionel a ´t´ recrut´ CR2 INRIA (EPI CEPAGE) ` Bordeaux en 2007. ee e a • Du 01/12/2009 au 31/11/2011 : Pierre-Nicolas Clauss sur le th`me de la simulation d’applications ` e a hautes performances avec SMPI. Post-doctorat financ´ par l’ANR USS-SimGrid (ANR 08 SEGI 022). e Encadrement : 100% par moi-mˆme (note : stage en cours) e5.3.2 Encadrements de th`ses e • Cristian Rosa sur le th`me Model-checking dans SimGrid, et Parall´lisation de l’outil. Financement sur e e le projet ANR dont je suis porteur (cf. §5.1). Je suis l’encadrant effectif de cette th`se, co-encadr´e avec e e Stephan Merz. J’ai ´t´ autoris´ par l’´cole doctorale ` co-encadrer officiellement cette th`se. ee e e a e Dates : D´but en novembre 2008, fin pr´vue en octobre 2011 e e • Sabina Akhtar sur le th`me Model-checking d’applications distribu´es. Financement SFERE, compl´t´ par e e ee la r´gion Lorraine. Stephan Merz (DR INRIA, ´quipe MOSEL du LORIA) assure l’encadrement officiel e e de cette th`se ` forte composante m´thodes formelles, mais j’assure un rˆle de co-encadrant effectif. e a e o Dates : D´but en octobre 2008, fin pr´vue en octobre 2012 e e5.3.3 Encadrements de niveau Master 2 • Encadrements de stages M2R au LORIA – du 01/02/08 au 01/06/08 : Sabina Akhtar sur le th`me Model-checking d’applications distribu´es (co- e e encadrement avec Stephan Merz, ´quipe MOSEL du LORIA). Note : Stage prolong´ en th`se. e e e – du 01/02/07 au 01/06/07 : Sebti Mouelhi sur le th`me V´rification automatique d’algorithmes distribu´s e e e avec TLA+ (co-encadrement avec Stephan Merz, ´quipe MOSEL du LORIA). e Situation actuelle du diplˆm´ : Th`se ` Besan¸on sur un autre sujet. o e e a c – du 01/02/06 au 01/06/06 : Ahmed Harbaoui. Algorithmes de reconstitution de la topologie de la plate- forme. Situation actuelle du diplˆm´ : Th`se ` Grenoble sur un autre sujet (soutenance pr´vue : o e e a e 06/2010). • Encadrements d’Internship INRIA (stage niveau M2R ne d´livrant pas de diplˆme) e o – du 05/07/10 au 29/10/10 : David Alejandro Gonzalez Marquez (Universit´ de Buenos Aires – Argen- e tine) sur le th`me Solving Scalability Issues in SimGrid Network Simulation. Stage ` venir. e a – du 05/04/10 au 02/07/10 : Mauricio Chimento (Universit´ de Rosario – Argentine) sur le th`me Model- e e Checking Distributed Algorithms with PlusCal (co-encadrement avec Stephan Merz, MOSEL). Stage ` a venir. – du 01/04/08 au 31/06/08 : Cristian Rosa (Universit´ de Rosario – Argentine) sur le th`me Verification e e of Grid and P2P Algorithms (co-encadrement avec Stephan Merz, MOSEL). Stage prolong´ en th`se.e e – du 01/10/07 au 31/01/08 : Marc Frincu (Universit´ de Timisoara – Roumanie) sur le th`me Synthetic e e yet realistic platform configurations for workflow scheduling simulations with SimGrid (co-encadrement avec Fr´d´ric Suter, de mon ´quipe). Situation actuelle du diplˆm´ : Th`se ` Timisoara, Roumanie. e e e o e e a • Encadrements de stages de recherche 3A ` l’´cole des mines (stage de recherche niveau M2 en vue a e de la d´livrance d’un diplome d’ing´nieur) e e – du 01/10/07 au 29/02/08 : Hao Liu sur le th`me du Model-checking d’applications distribu´es (co- e e encadrement avec Stephan Merz, ´quipe MOSEL du LORIA). Situation actuelle du diplˆm´ inconnue. e o e • Encadrement de stage de Diplomarbeit (´quivalent au M2) e – du 13/07/02 au 01/02/03 Encadrement de Bert Van Heukelom (TUM – Technische Universit¨t M¨nchen). a u Th`me : Development of strategies for the integration of parallel applications into the DIET environment e by example of a program for genome sequence analysis. Situation actuelle du diplˆm´ inconnue. o e5.3.4 Encadrements de recherche au niveau ´l`ve-ing´nieur ee e e e a ´ J’encadre chaque ann´e des projets de fin d’´tude ` l’ESIAL, auquel chaque ´tudiant consacre 300 heures ede d´cembre ` mars. Je ne donne ici que les projets ayant une forte composante recherche, qui constituent une e aoccasion de d´couvrir les centres d’int´rˆts des industriels dans des domaines proches de mes recherches. e ee – 2009/2010 : Parall´lisation et optimisation d’un code de simulation continue d’un processus chimique. e Partenaire industriel : Hector OSUNA-SANCHEZ, NovaSep Process. – 2007/2008 : R´alisation d’un outil de recherche de vuln´rabilit´ d’applications multim´dia par fuzzing. e e e e Partenaire industriel : Laurent Butti, France Telecom R&D / Orange Labs. – 2005/2006 : Mise en place d’une solution de Grid Computing d´di´e ` l’imagerie m´dicale. e e a e Partenaire industriel : Pr Jacques Felblinger, du CHU de Nancy Brabois. 11
  • 12. 5.3.5 Encadrements d’ing´nieurs de recherche e – 2010-2012 : Mehdi Fekari en soutien technologique aux recherches sur SimGrid, financ´ par un projet e ADT de l’INRIA. – 2010 : Christophe Thi´ry sur le th`me interception syst`me pour la capture et le rejeu de traces, financ´ e e e e par le projet USS-SimGrid. – 2006-2008 : Malek Cherier en soutien technologique aux recherches sur SimGrid, financ´ par un projet e ODL de l’INRIA. – 2005-2007 : Xavier Delaruelle pour l’administration et les ´volutions fonctionnelles du site Grid’5000 de e Nancy, financ´ par l’INRIA. e5.4 Diffusion de l’information scientifique • J’ai d´velopp´ avec G´rald Oster une plate-forme d’initiation ` l’informatique pour d´butants. e e e a e Cet outil, nomm´ Java Learning Machine 1 , permet de d´couvrir les concepts de la programmation pas ` e e a ´ pas au travers d’exercices interactifs. Initialement con¸u pour un module de l’ESIAL, JLM est maintenant c r´f´renc´ dans divers catalogues en ligne, comme celui de l’association Enseignement Public & Informatique ee e (EPI). • J’ai effectu´ un post-doctorat ` l’Universit´ de Californie de Santa Barbara (UCSB) de 8 mois en 2004. e a e • J’ai effectu´ un s´jour d’un mois au cours de ma th`se (f´vrier 2002), ` l’UCSB sur invitation du e e e e a professeur Wolski. • J’ai pr´sent´ mes travaux dans le cadre de s´minaires sur invitation : e e e • Tutoriel Simulation for Large-Scale Distributed Computing Research aux conf´rences suivantes : e – 19th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS07 – octobre 2007 ` Boston, MA). a – 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid’08 – mai 2008 ` a Lyon). – 9th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT’08 – d´cembre 2008 ` Dunedin, Nouvelle-Z´lande). e a e – 8th International Conference on Peer-to-Peer Computing 2009 (P2P’09 – sept. 2009 ` Seattle, USA). a – 8th International Conference on High Performance Computing & Simulation (HPCS 2010 – Caen, France) • Performance Assesment of Distributed Scientific Applications , workshop Challenges & Pitfalls of Performance Assurance associ´ au colloque annuel du Central Europe Computer Measurement Group e (cecmg), mars 2010, Darmstadt, Allemagne. • Rencontres Sparse Days and Grid Computing at St. Girons (juin 2003). • Korea-France joint workshop on GRID computing (9 d´cembre 2003). e • Journ´e des utilisateurs de DIET (14 janvier 2003). S´minaire suivi de travaux pratiques. e e 1. Java Learning Machine : http://www.loria.fr/~quinson/JLM.html 12