L’innovation pédagogique et l’apprentissage à l’ère du numérique: une perspec...
Curriculum Vitae en français
1. Curriculum Vitæ
Martin Quinson
Maˆ de conf´rences ` Nancy Universit´
ıtre e a e
Membre de l’´quipe AlGorille de l’INRIA Nancy – Grand Est
e
Identification 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
e
Recherches : 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 e
contexte 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 e
pour cela mis en œuvre plusieurs approches, comme l’ex´cution directe sur plates-formes exp´rimentales,
e e
l’´mulation, la simulation et les m´thodes formelles. Je m’attache ` ´tablir des outils pratiques ` utiliser,
e e a e a
r´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 e
applications scientifiques distribu´es ` large ´chelle.
e a e
Activit´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.
e
Production 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 ee
Derni`re mise ` jour : f´vrier 2011
e a e
1
2. 1 Identification et parcours
Pierre Gilles Martin Quinson Adresse professionnelle
N´ le 21/08/1975 ` Firminy (Loire – 42).
e a Algorille/LORIA,
Mari´, trois enfants.
e Campus scientifique – BP 239
13, all´e des Saules – 54600 Villers-l`s-Nancy
e e Vandœuvre-l`s-Nancy
e
Tel : 03 83 94 17 50
´ Tel : 03 83 59 20 98
´
Fax : 03 83 27 83 19
Grade : Maˆ de conf´rences classe normale
ıtre e Mel : martin.quinson@loria.fr
´
Web : http://www.loria.fr/~quinson
Section CNU : 27i`me
e
´ ´
Etablissement : Universit´ Henri Poincar´ – Nancy I (composante ESIAL)
e e
1.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
o
Doctorat
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 Graal
Autres diplˆmes
o
Maˆ ´
ıtrise d’Informatique, Universit´ de Saint-Etienne, 1999 (Assez Bien).
e
1.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 a
2 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 e
a e
` r´soudre pour permettre une approche scientifique de qualit´ dans le domaine des syst`mes informatiques
e e
distribu´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 e
partie sur l’´tablissement d’un outil de tomographie du r´seau pour en d´couvrir la cartographie de mani`re
e e e e
automatique. Pour ´viter les probl`mes d’idiosyncrasie de la plate-forme de test utilis´e et m’assurer de la
e e e
g´n´ricit´ de ma solution, j’ai cr´´ un outil nomm´ Grid Reality And Simulation (GRAS). Son objectif est de
e e e ee e
permettre l’´tude d’applications distribu´es sur simulateur avant leur d´ploiement in-situ. Le principe novateur
e e e
de cet environnement est de fournir une interface correspondant ` deux impl´mentations (une pour tester
a e
l’application sur le simulateur et l’autre pour ex´cuter l’application sur syst`me r´el). Cette approche code
e e e
once, deploy twice permet de tester de mani`re reproductible les applications, y compris dans des configurations
e
difficiles ` 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 e
applications. 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 e
dont j’´tais rapporteur.
e
Simulations d’applications distribu´es. La partie simulation de l’environnement GRAS repose sur l’en-
e
vironnement SimGrid [CLQ08]. J’ai donc ´t´ amen´ ` participer au d´veloppement de cet outil. Ce projet
ee e a e
f´d`re une partie importante de mes travaux de recherche, tant au niveau de l’outil lui-mˆme (performance,
e e e
utilisabilit´, r´alisme, applicabilit´) qu’au niveau d’outils associ´s comme simulacrum pour la g´n´ration de
e e e e e e
conditions exp´rimentales r´alistes. J’utilise ´galement cet outil pour ´tudier des algorithmes distribu´s [QV09]
e e e e e
ou de tomographie r´seau [ELQV07, EDQ07].
e
Model-checking d’applications distribu´es. Le test sur simulateur que proposent GRAS et SimGrid
e
constituent un avantage ind´niable pour la mise au point de logiciels distribu´s, mais cela ne permet que de
e e
tester un nombre limit´ de cas. J’ai donc ´largi le spectre de mes comp´tences en me tournant vers la mise
e e e
en 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’une
e e
fonctionnalit´ de test exhaustif rendant possible ` la fois la d´tection des violations potentielles des invariants
e a e
de 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 e
conjointement deux approches compl´mentaires. La th`se de Sabina Akhtar vise ` ´tudier les implications de
e e ae
la 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 un
e e e e e
an, ont abouti ` plusieurs publications pr´liminaires [AMQ10, RQM09].
a e
Plates-formes exp´rimentales r´elles. En compl´ment de mes recherches plus personnelles, j’ai particip´
e e e e
aux efforts de ma communaut´ de recherche visant ` ´tablir puis animer la plate-forme exp´rimentale r´elle
e a e e e
Grid’5000. J’ai a ce jour surtout assum´ des tˆches administratives et d’animation de la communaut´, mˆme si
` e a e e
je n’ai ´t´ qu’un utilisateur occasionnel de la plate-forme.
ee
Conclusion. Mes recherches portent principalement sur l’aide ` la mise au point d’applications distribu´es
a e
a
` large ´chelle. Pour atteindre cet objectif, j’ai particip´ ` trois grandes approches m´thodologiques compl´-
e e a e e
mentaires que sont les exp´rimentations sur plates-formes r´elles, la simulation et les m´thodes formelles. Il est
e e e
certes plus courant d’aller des m´thodes formelles vers les applications r´elles, mais mon parcours scientifique a
e e
suivi la voie inverse pour aller vers toujours plus de g´n´ralit´ dans l’´valuation des applications distribu´es et
e e e e e
de confiance dans la v´rification de leurs propri´t´s.
e ee
2.1 Collaborations et mobilit´
e
Cette section d´crit mes principales collaborations scientifiques, et mes exp´riences de mobilit´ th´matique.
e e e e
Simulation d’applications. L’un de mes th`mes de recherche porte sur la simulation d’applications. Dans
e
ce cadre, je co-d´veloppe le simulateur SimGrid . Je collabore de mani`re continue et soutenue depuis 2001
e e
avec Arnaud Legrand, CR1 CNRS au LIG a Grenoble. A. Legrand et moi travaillons ensemble ` am´liorer le
` a e
r´alisme et l’extensibilit´ du simulateur SimGrid. Cet outil a structur´ une partie importante de mon activit´
e e e e
de recherche ` ce jour, toujours en collaboration avec A. Legrand. Nous avons co-encadr´ Lionel Eyraud en
a e
post-doctorat en 2006-2007. A. Legrand est un membre cl´ du projet ANR USS-SimGrid (dont je suis le
e
coordinateur national) visant ` ´tendre le spectre d’application de l’outil ` la communaut´ du pair-`-pair. A.
ae a e a
Legrand est ´galement coordinateur du projet ADT SimGrid, dont je suis l’autre membre, coordinateur de la
e
partie nanc´enne. Cette collaboration a donn´ lieu ` de nombreuses publications, et reste tr`s active malgr´ la
e e a e e
distance g´ographique.
e
SimGrid constitue ´galement le cadre de ma collaboration avec Fr´d´ric Suter, CR1 CNRS au CC IN2P3
e e e
a
` Lyon. Nous travaillons ensemble ` am´liorer l’utilisabilit´ de l’outil. Cela nous a amen´ ` faire ´voluer le
a e e e a e
formalisme 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 e
9). F. Suter et moi sommes ´galement impliqu´s dans deux projets visant ` utiliser SimGrid pour les grilles de
e e a
production. L’un, port´ par F. Suter vise ` mod´liser la plate-forme EGEE, tandis que l’autre vise ` simuler les
e a e a
data grids dans une collaboration avec une ´quipe du CERN (cf. §4.1). Enfin, F. Suter et moi collaborons de
e
mani`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 a
Bordeaux) pour l’´tude d’algorithmes de tomographie automatique du r´seau et avec Flavien Vernier (MCF
e e
a
` l’universit´ de Savoie) sur le th`me d’algorithmes d’exclusion mutuelle adapt´s aux plates-formes modernes.
e e e
M´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 e
en 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 e
puisque je continue d’ˆtre actif dans le domaine de la simulation d’applications. Mon objectif est d’augmenter
e
mon spectre m´thodologique pour l’´valuation d’applications r´parties, comme expliqu´ dans mon projet de
e e e e
recherche.
J’ai men´ ces travaux en collaboration avec Stephan Merz (DR INRIA ` Nancy), sp´cialiste du domaine.
e a e
De nombreux encadrements ont eu lieu dans ce cadre, dont deux masters Loria, un stage 3A ` l’´cole desa e
mines, deux internship Inria et enfin deux th`ses, encore en cours. Notre objectif est de faire converger les
e
probl´matiques des communaut´s de recherche en model-checking et en applications r´parties ` haute perfor-
e e e a
mance. L’une des th`ses en cours (celle de Cristian Rosa) vise ` int´grer le model-checking dans l’outil SimGrid.
e a e
Cette approche a donn´ lieu ` une publication ` un workshop associ´ ` la conf´rence CAV (conf´rence majeure
e a a ea e e
dans 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 c
port pour permettre la v´rification d’algorithmes concurrents. Notre objectif est de simplifier l’utilisation de ce
e
langage pour la v´rification d’algorithmes distribu´s. Ces travaux ont donn´ lieu ` une publication pr´liminaire,
e e e a e
et constituent surtout l’occasion d’une collaboration extrˆmement stimulante avec Leslie Lamport dans le
e
cadre du laboratoire commun INRIA-Microsoft. Nous avons organis´ plusieurs r´unions de travail dans ce
e e
cadre, 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´ e
a
` collaborer avec les membres du comit´ de pilotage national de l’instrument. J’ai particip´ ` recruter Lucas
e ea
Nussbaum, class´ premier dans plusieurs laboratoires prestigieux en France, dans mon EPI en 2009. Nous
e
avons depuis ´tabli une collaboration soutenue sur la r´solution des probl`mes m´thodologiques li´s aux grilles
e e e e e
exp´rimentales.
e
3 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 e
a
` 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 e
au d´nombrement des volumes et des sujets, sans s’attacher ` la qualit´ r´elle des enseignements dispens´s.
e a e e e
Comme le montre le reste de cette section, j’enseigne chaque ann´e depuis 2005 environ 40 heures de cours
e
magistraux, 60 heures de travaux dirig´s et 100 heures de travaux pratiques par an en programmation au
e
niveau 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 e
j’ai compl`tement refond´ l’enseignement de la programmation et des syst`mes d’exploitation ` l’ESIAL. En
e e e a
collaboration avec G´rald Oster, nous avons d´velopp´ un cursus coh´rent, bas´ sur la pratique et le travail
e e e e e
autonome des apprenants. Nous avons pour cela d´velopp´ une plate-forme p´dagogique compl`te (voir page 10).
e e e e
Ce cursus ne n´glige pas pour autant les aspects th´oriques, avec une large place donn´e ` l’algorithmique qui
e e e a
sous-tend la programmation, et une modernisation compl`te des cours sur les preuves de programme incluant
e
une 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 e
versions pour enseignant. Ces documents ne sont pas des corrections des TD et TP, mais plutˆt des documents
o
pour enseignants que je r´dige ` destination des intervenants d´butants (moniteurs et ATER) ` l’ESIAL. Je
e a e a
re¸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 e
les avoir utilis´ dans leurs propres enseignements.
e
3.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 e
depuis 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 e
qu’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 e
3.2 Enseignements ant´rieurs ` 2005
e a
Cette section liste les enseignements auxquels j’ai particip´ avant ma nomination ` Nancy.
e a
Enseignements 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 e
Enseignements 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
e
4.1 Responsabilit´s contractuelles de recherche
e
Cette section ne liste que les contrats de recherche pour lesquels je suis coordinateur. La liste des projets
auxquels 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 e
5 Liste compl`te des contributions
e
5.1 Liste de publications
Cette liste, ainsi que les versions ´lectroniques de la plupart de ces communications, sont ´galement disponibles
e e
depuis 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.
e
Journaux 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 e
j’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 e
5.2.1 Framework SimGrid
Objectif : Simulation de syst`mes r´partis (voir §2)
e e
Implication : Principal architecte logiciel, d´veloppement en collaboration avec A. Legrand
e
Volume : 140 000 lignes principalement de C (mais aussi Java, Ruby, Lua et C++)
Portabilit´ : Linux, Mac (et partiellement : Windows, Solaris et AIX)
e
Diffusion : LGPL (http://simgrid.gforge.inria.fr)
5.2.2 Environnement d’ex´cution GRAS (Grid Reality And Simulation)
e
Objectif : Mise au point des applications distribu´es
e
Approche, 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
e
Volume : 25 000 lignes de source C (port´ sur Linux et Solaris)
e
Diffusion : Int´gr´ depuis ` SimGrid
e e a
5.2.3 ALNeM (Application Level Network Mapper)
Objectif : Tomographie automatique de plates-formes distribu´es
e
Approche, 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 e
Implication : Architecte logiciel, d´veloppeur original (projet repris par Lionel Eyraud depuis)
e
Volume : 8 000 lignes de source C (test´ sur Linux)
e
Diffusion : Utilisation interne ` ce jour (licence BSD)
a
5.2.4 Simulacrum
Objectif : G´n´ration de conditions exp´rimentales synth´tiques mais r´aliste pour SimGrid
e e e e e
Approche, 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 e
Implication : Architecte logiciel, d´veloppeur principal
e
Volume : 5 000 lignes de source Java
Diffusion : GPL (http://pda.gforge.inria.fr). D´pˆt APP en cours.
e o
5.2.5 Biblioth`que FAST
e
Objectif : Pr´diction de performances et la surveillance de ressources syst`mes
e e
Approche, 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 e
Implication : D´veloppeur unique
e
Volume : 15 000 lignes de source C (port´ sur Linux, Solaris, True64 – licence BSD)
e
Diffusion : 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 a
5.2.6 JLM (Java Learning Machine)
Objectif : Plate-forme d’enseignement pour l’initiation ` la programmation au travers d’exercices interactifs
a
Approche, 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 e
Implication : Architecte logiciel, d´veloppeur principal, auteur du contenu p´dagogique (en collaboration avec
e e
G´rald Oster)
e
Volume : 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 o
5.2.7 po4a (po for anything)
Objectif : Outil d’aide ` la maintenance de traduction de documentation libre
a
Approche, 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 c
Volume : 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 a
recherche. Elle omet les stages Master 1 (ou inf´rieur) de d´couverte de la recherche ainsi que les stages de fin
e e
d’´tude ing´nieur sans composante recherche que j’ai ´t´ amen´ ` encadrer. La table 1 r´sume ces encadrements.
e e ee ea e
5.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)
e
5.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 e
5.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 e
5.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
e
de d´cembre ` mars. Je ne donne ici que les projets ayant une forte composante recherche, qui constituent une
e a
occasion 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.
e
5.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