Martin Quinson est maître de conférences à l'Université de Nancy, membre de l'équipe Algorille à l'INRIA, et ses recherches se concentrent sur la méthodologie expérimentale pour les applications distribuées, y compris le calcul haute performance et le grid computing. Il a encadré plusieurs projets scientifiques, post-docs et thèses, tout en contribuant au développement d'outils comme SimGrid pour la simulation et l'évaluation des algorithmes. Quinson collabore régulièrement avec d'autres chercheurs pour améliorer la simulation d'applications et la vérification formelle des algorithmes distribués.

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