Troisième Journée des Doctorants du LIFO
Lundi 7 novembre 2011, LIFO, Orléans

La troisième Journée des Doctorants du LIFO aura lieu le lundi 07 novembre 2011 dans l'amphi Herbrand du bâtiment IIIA.
Cette journée, ouverte à tous, sera l'occasion pour les doctorants de notre laboratoire de présenter l'avancée de leur travaux sous différentes formes (exposés, posters, etc.).

Programme

Présentations longues des doctorants en troisième année

Simon ARVAUX
Pilotage de simulations numériques

Résumé : Mise en place d'un environnement de pilotage permettant une visualisation distante et des interactions utilisateurs avec plusieurs simulations massivement parallèles.
Le framework de réalité virtuelle FlowVR est utilisé comme pierre angulaire du couplage de code entre les simulations et les environnements de RV.
FlowVR répond à certaines exigences en termes de synchronisation des codes puisqu'il s'agit d'un système de communication.
Nous proposons d'enrichir son API pour fournir des sémantiques de pilotage spécifiques à une application donnée à travers les connections FlowVR.
Cette API devra permettre de spécifier des actions de pilotage permettant de modifier le cours de l'exécution du programme en rapport avec les interactions utilisateurs.
Directeur : Sébastien LIMET

Haut de la page

Thomas PINSARD
Etude de STM (Software Transactional Memory)

Résumé : L'utilisation des transactions a été proposée pour faciliter la programmation parallèle. Quelles sont les propriétés d'un tel mécanisme?
Directeur : Frédéric LOULERGUE
Co-encadrant : Frédéric DABROWSKI

Haut de la page

Maxime SENOT
Résoudre géométriquement des problèmes difficiles : approche par signaux

Résumé : Le modèle abstrait des machines à signaux introduit par H. permet de définir des calculs géométriques consistant en des segments de droites colorées ainsi que leurs intersections dans le plan euclidien. Nous allons d'abord présenter de manière générale ce modèle de calcul. Puis nous verrons ensuite comment il permet de résoudre efficacement des problèmes durs comme SAT ou Q-SAT, et par là même de résoudre n'importe quel problème NP ou PSPACE. Nous insisterons sur la généricité de cette construction qui permet, contrairement aux précédentes constructions, de résoudre Q-SAT avec une unique machine programmable par modules. Pour finir, différentes notions de complexité seront discutées.
Directeur : Jérôme DURAND-LOSE
Haut de la page

Mouhamadou SAKHO
Les Gamma-Pomset pour la vérification de systèmes parallèles

Résumé : Dans la théorie des méthodes formelles, il y'a plusieurs manières de décrire le parallélisme (traces, message sequence charts, series parallèles etc.). Toutes ces méthodes peuvent être considérées comme des ensembles partiellement ordonnés et la vérification directe sur les modèles ordre partiel est souvent très difficile.
Plusieurs des solutions proposées tentent à étendre les résultats classiques de la théorie des langages (théorème de Büchi, Kleene) à des classes de pomsets plus étentue.
Dans une approche nouvelle, nous commençons par modéliser un pomset en un mot simple qui lui est parfaitement équivalent (Gamma-pomset).
Ainsi, nous réduisons le problème de vérification sur les pomsets en un problème de vérification classique sur les mots.
Nous définissons les gamma-pomset et montrons comment représenter les modèles classiques de la concurrence tels que les traces de Mazurkiewicz, les Series Parallel Pomsets et les Message Sequence Charts.
Co-directeurs : Jean-Michel COUVREUR et Hamet SEYDI (Université Cheikh Anta Diop, Dakar-Fann, Sénégal)

Haut de la page

Posters des doctorants en deuxième année

Pierre CLAIRET
Compression de signatures

Résumé : PIGA est un outil permettant de détecter les comportements malicieux par analyse de trace. Pour cela PIGA utilise des signatures représentant ces comportement. Ces signatures sont générées à partir d'un graphe représentant le système et sont stockées en mémoire. Nous présentons ici une nouvelle utilisation de la décomposition modulaire des graphes appliquée aux problèmes de sécurité. Le but de cette utilisation est de réduire le nombre de signatures générées par l'outil PIGA.
Directeur : Pascal BERTHOMÉ

Simon PETITJEAN
Un environnement pour le développement multi-formalisme de grammaires formelles

Résumé :
Directeur : Denys DUCHIER
Co-encadrant : Yannick PARMENTIER

Joeffrey LEGAUX
SPEED

Résumé :Système de Programmation pour l'exécution efficace de coDe sur architectures parallèles hétérogènes
Directeur : Frédéric LOULERGUE
Co-encadrant : Sylvain JUBERTIE

Présentations courtes des doctorants en première année

Joshua AMAVI
Comparaison et évolution des schémas XML

Résumé : Elaboration d'un système d'axiomes sur les dépendances fonctionnelles XML(comme les systèmes d'axiomes d'Amstrong sur les base de données relationnelles). Ceci permettra de faire ensuite de l'intégration de données.
Directeur : Mirian HALFELD-FERRARI
Co-encadrant : Pierre RETY

Hélène COULLON
Calculs distribués pour des donnée géo-référencées hétérogènes

Résumé : Suite à deux années de travail sur le projet eXtenGIS, la thèse portera sur la même thématique et cherchera à aller plus loin dans la proposition de squelettes d'applications parallèles.
Le but étant de générer automatiquement des applications pour un accès au parallélisme à des non-informaticiens.
Directeur : Sébastien LIMET
Co-encadrants : Emmanuel MELIN et Sophie ROBERT

Nicolas DUGUÉ
Caractérisation des propriétés de cohérence pour le traitement efficace des masses de données en nuage

Résumé : Optimisation des accès concurrents aux masses de données dans une architecture complexe et élastique de type Cloud
Directeur : Jean-Michel COUVREUR
Co-encadrants : Frédéric MOAL

Bastien LE GLOANNEC
Coloriage du plan discret par automates cellulaires partiels

Résumé :La reconnaissance d'un ensemble de coloriages du plan discret Z2 consiste usuellement en son engendrement comme projection d'un ensemble de pavages défini par des contraintes locales. L'objectif de cette thèse sera d'étudier une notion renforcée de reconnaissance, intermédiaire entre la dimension 1 et 2, consistant à considérer les coloriages obtenus à partir de pavages déterministes, ou, de façon équivalente, engendrés par un automate cellulaire partiel de dimension 1.
Directeur : Nicolas OLLINGER

Sylvain DAILLER
Compilation certifiée pour la programmation parallèle haut niveau

Résumé : L'objectif est de fournir une chaine de compilation certifiée entre des spécifications haut niveau et des programmes bas-niveau.
Directeur : Frédéric LOULERGUE
Co-encadrant : Frédéric DABROWSKI

Élection du nouveau représentant des doctorants au LIFO

Candidats

Hélène COULLON

Les carrières en recherche

Nicolas OLLINGER

Présentation sur notre avenir en recherche privée ou publique par Nicolas OLLINGER, professeur à l'université d'Orléans dans l'équipe GAMoC

Présentation de l'Intelli'Agence

Aline LEJEUNE

L'Association Intelli'Agence (Anciennement Bernard Gregory - ABG) aide et accompagne les jeunes docteurs dans leur recherche d'emploi.
Dans une première partie, Aline LEJEUNE présentera l'ABG et son antenne à Orléans, puis donnera un aperçu du marché de l'emploi des docteurs et des actions d'accompagnement à l'emploi proposées par l'Intelli'Agence.
Cette intervention se terminera sur un temps d'échange autour de « l'insertion professionnelle ».