Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Doctorat de

Doctorat
Equipe : Informatique Centrée sur l'Humain

Restructuration interactive des programmes

Début le 16/09/2013
Direction : HUOT, Stéphane
[BASTOUL Cédric]

Financement :
Etablissement d'inscription : Université Paris-Sud
Lieu de déroulement : LRI-IN_SITU

Soutenue le 25/11/2016 devant le jury composé de :
Directeur de thèse :
Stéphane HUOT — directeur de recherche à Inria Lille

Co-directeur de thèse :
Cédric BASTOUL — professeur à l’université de Strasbourg

Rapporteurs :
- Stéphane CONVERSY — professeur à l’ENAC et Université de Toulouse
- Sanjay RAJOPADHYE — professeur à Colorado State University

Examinateurs :
- Jean-Daniel FEKETE — directeur de recherche à Inria Saclay
- Albert COHEN — directeur de recherche à Inria Paris et ENS Paris

Activités de recherche :

Résumé :
Le développement des logiciels et leur restructuration deviennent de plus en plus complexes à cause de l'adoption massive des architectures parallèles, ce qui nécessite une expertise considérable de la part des développeurs. Bien que des nombreux modèles et langages de programmation permettent de créer des programmes efficaces, ils n'offrent pas de support spécifique à la restructuration des programmes existants afin d'en augmenter l'efficacité. En même temps, les approches automatiques sont trop conservatrices et insuffisamment précises pour atteindre une partie substantielle de la performance du système sans que le développeur aie à fournir des information sémantiques supplémentaires. Pour répondre à ces défis, nous adoptons l'approche de la restructuration interactive des programmes qui lie la manipulation semi-automatique des programmes avec la visualisation des logiciels. Dans cette thèse, l'approche de restructuration interactive est illustrée par l'extension du modèle polyédrique - une représentation des programmes moderne et puissante - pour permettre la manipulation de haut niveau ainsi que par la conception et l'évaluation d'une interface visuelle à manipulation directe pour la restructuration des programmes. Cette interface visualise l'information qui n'était pas immédiatement accessible dans la représentation textuelle et permet de manipuler des programmes sans en réécrire le code. Nous proposons également une représentation de l'optimisation de programme, calculée automatiquement, telle que le développeur puisse la comprendre et réutiliser facilement ainsi que la modifier d'une manière textuelle ou visuelle dans le cadre du partenariat homme-machine. Afin de représenter plusieurs aspects de la restructuration des programmes, nous concevons et évaluons une nouvelle interaction qui permet de communiquer l'information supplémentaire et non-cruciale pour la tâche à accomplir. Après une étude empirique de la distribution d'attention des développeurs face aux représentations textuelles et visuelles des programmes, nous discutons des implications pour la conception des outils d'aide à la programmation dans le cadre du modèle d'interaction instrumentale. La restructuration interactive des programmes est supposée faciliter la manipulation des programmes dans le but d'optimisation, la rendre plus efficace et plus largement adopté.