Françoise Balmas

Université Paris 8
Dépt. Informatique, Labo IA, LEMA
2, rue de la Liberté
93526 Saint-Denis Cedex 02
FRANCE

Tél : (+33) 1 49 40 64 97
Fax : (+33) 1 49 40 67 83
E-mail : fb@ai.univ-paris8.fr


[ Recherche | Enseignement | Autres Activités ]

[ Research ]

[ Conferences ]

[ ICSM 2007 ]


Recherche

Intérêts :
Compréhension de programmes
Comprendre la compréhension de programmes
Résumé de programmes
Description/Représentation de programmes
Langages de programmation de haut niveau d'abstraction
Environnements de programmation
Pattern matching
Réalisations
Définition d'un modèle de résumés de boucles, adapté au langage LISP (références 11, 6 et 4).
Implémentation de trois systèmes :
PRISME qui calcule automatiquement le résumé d'une boucle (c-a-d une fonction récursive) ( références 9, 7 et 5),
SignEdit qui génère automatiquement une boucle, à partir d'un résumé construit interactivement,
ACL qui propose un ensemble de macro-fonctions permettant d'utiliser les résumés comme constituants de définitions de fonctions (références 8 et 3),
Intégration de ces trois systèmes dans un environnement de programmation (référence 11).
Application du système PRISME au langage C (référence 10).
Utilisation des résumés comme clés d'indexation et de recherche pour la localisation de fragments de code dans un programme de grande taille (références 12 et 13).
Représentation de programmes sous forme de graphes de dépendences (analyse statique), réalisation d'un outil de visualisation de ces graphes (références 16 et 18) et application è la documentation de programmes (référence 17).
Projets en cours
Application des stratégies de visualisation de dépendences statiques aux graphes de dépendences dynamiques (référence 19, 20, 21 et 22).
Evaluation du rôle des résumés dans les différentes activités de Reverse Engineering, telles la mise au point, la maintenance ou la transformation de programmes.
Analyse et représentation de programmes à un haut niveau d'abstraction
Comprendre la signification de Comprendre un Programme (références 14 et 15)
Publications
Liste classée par thèmes
Groupe de recherche APARU
Conferences
CSMR 2006 (10th European Conference on Software Maintenance and Reengineering)
Bari (Italy), March 22-24th, 2006
ICPC 2006 (14th IEEE14th IEEE International conference on Program Comprehension
Athens (Greece), June 14-16th, 2006
SCAM 2006 (6th IEEE International Workshop on Source Code Analysis and Manipulation
Philadelphia (PA), September 27-29th, 2006
ICSM 2006 (International Conference on Software Maintenance)
Philadelphia (PA) September 24-27, 2006
WCRE 2005 (12th Working Conference on Reverse Engineering)
USA, early November 2005


Enseignement

Cours
Programmation avancée (Licence/Maîtrise)
Manipulation et représentation de données (Licence/Maîtrise)
De l'Utilité des Langages Spécifiques (Licence)
Conception et Implémentation de Micro-Langages (Licence)
Evolution de Programmes (Licence / Maîtrise)
Programmation Conceptuelle / Conceptualisation de Programmes (Licence / Maîtrise)
Algorithmique et Structures de Données (DEUG)
Introduction aux Langages Informatiques (DEUG)
Programmation fonctionnelle (DEUG)
Propositions de sujets de Maîtrise
Dans le cadre du Groupe APARU , nous cherchons des étudiants pour réaliser les projets suivants :
Observation dynamique de programmes
Evaluation d'outils d'aide à la compréhension de programmes
Manipulation et visualisation de graphes
Compréhension de programmes
Construction d'une base d'informations pour programmes C
Analyse de programmes binaires
Techniques de migration de logiciels
et encore
Réalisation d'outils d'analyse de programmes
Implémentation d'un outil d'assistance à la construction de programmes
Analyse(s) de programmes Java, C++, Smalltalk, ...
Pour tout renseignement, contacter fb@ai.univ-paris8.fr , Labo d'IA, salle A184
Auto-formation à Lisp
Cours d'introduction
Exercices
La page de Xbvl


23rd International Conference on Software Maintenance

ICSM 2007 will take place at La Maison Internationale of the Cité Universitaire of Paris, from October 2nd to October 5th, 2007.

Pictures are available here, here and here.

More details can be found in the ICSM website that is under construction.


Autres activités
Groupe de recherche APARU ( Automatic Program Animation, Representation and Understanding )
Groupe de recherche (Understanding) Program Understanding
Participation au Reengineering Resource Repository Project (IEEE-CS, Technical Committee on Reverse Engineering)
Organisation (program co-chair) des IEEE Working Conference on Reverse Engineering 1999 (Atlanta) et 2000 (Brisbane)
Organisation (general chair) de la 10th IEEE Int. Workshop on Program Comprehension (26 - 29 juin 2002, Paris, France)
Membre de Comités de Programme de conférences IEEE
2001 : ReTIS, ICSM, WCRE
2002 : CSMR, IWPC, VISSOFT, ICSM, WCRE
2003 : CSMR, IWPC, SCAM, WCRE
2004 : CSMR, IWPC, ICSM, SCAM
2005 : CSMR 2005, IWPSE 2005, SCAM 2005, ICSM 2005
2006 : CSMR 2006, ICPC 2006, SCAM 2006, ICSM 2006
Reviewer pour les revues
Journal on Symbolic Computation (1999),
Journal of Software Maintenance and Evolution (2000, 2002, 2003, 2005),
Journal sur l'Ingénierie des Systèmes d'Information (2001),
Transactions on Software Engineering (2001, 2006),
Journal of Systems and Software (2005, 2006)
Organisation (general chair) de la 23rd IEEE Int. Conference On Software Maintenance (2007, Paris, France)


F. Balmas : fb@ai.univ-paris8.fr
Groupe APARU