Jacques Malenfant professeur en informatique Laboratoire d'Informatique de Paris 6 (LIP6) Université Pierre et Marie Curie Boîte courrier 169 4, Place Jussieu F-75252 PARIS Cedex 05 Jacques.Malenfant[at]lip6.fr

Qui suis-je ?

Je suis professeur d'informatique au sein de l'UFR Sciences de l'ingénieur et membre du laboratoire LIP6 de l'Université Pierre et Marie Curie.

J'ai été responsable du Master mention informatique de l'UPMC du 1er novembre 2004 au 30 septembre 2009.

Après des études de baccalauréat en informatique-mathématique et de maîtrise ès sciences en informatique à l'Université Laval à Québec, j'ai poursuivi mes études de doctorat en informatique à l'Université de Montréal (thèse soutenue le 26 mars 1990). J'ai ensuite fait un stage post-doctoral au LITP (Université Pierre et Marie Curie) de 1990 à 1992 avant de devenir professeur à l'Université de Montréal (1992-96). En 1996-97, j'ai passé une année comme enseignant-chercheur à l'École des mines de Nantes avant de devenir professeur des universités à l'Université de Bretagne sud à Vannes (et Lorient). J'ai soutenu mon habilitation à diriger les recherches de l'Université de Nantes le 21 avril 1997. J'ai finalement rejoint l'Université Pierre et Marie Curie en 2003 par mutation.

Actualité

Je co-organise avec Éric Rutten un numéro spécial de la revue TSI sur le thème de l'Informatique autonomique, dont la date limite de soumission est le 30 juin 2012.

J'ai fait une présentation invitée lors des Journées Nationales de Recherche en Robotique, JNRR 2011 intitulée De la robotique communicante aux « cyber-physical systems » sur les enjeux croisés entre l'informatique et les architectures logicielles pour la robotique (PDF).

J'ai également fait une présentation lors de l'atelier Automatique pour l'informatique autonomique organisé en marge du colloque MSR 2011 à Lille le 15 novembre 2011. J'y ai présenté les travaux que nous faisons dans le cadre des thèses de Xavier Dutreilh (collaboration Orange Labs) et d'Olga Melekhova (projet ANR SALTY) (PDF).

Je vais également faire une présentation lors de la journée de travail de l'Action Spécifique « Ingénierie du logiciel pour les systèmes hétérogènes » sur le thème « Composabilité et interfaces riches », issu des travaux de la thèse d'Olena Rogovchenko (PDF).

Je participe en ce moment à un projet ANR, le projet SALTY. Le projet SemEUsE est maintenant terminé.

Olga Melekhova, en thèse sous ma direction et celle d'Isis Truck, est membre du comité de programme de la conférence Adaptive 2011

Xavier Dutreilh, en thèse sous ma direction, celle d'Isis Truck et celle de Nicolas Rivierre (Orange Labs), et moi sommes membres du comité de programme de la conférence ICAS 2012

Activités de recherche

Mes recherches actuelles s'articulent selon deux axes complémentaires :

1. la conception d'un modèle à composants pour la robotique autonome et collective, et
2. la conception d'architectures logicielles réparties pour le calcul auto-régulé (« autonomic computing »), prenant en compte différentes approches de décision et appliquant les principes de la théorie du contrôle.

L'objectif des travaux sur les architectures logicielles pour la robotique autonome est de proposer un modèle de composants fondé sur l'utilisation d'interfaces riches à la Henzinger pour exprimer de manière déclarative toutes les contraintes de temps, de ressources et de communication de ces derniers de manière à les composer dans des assemblages et les déployer sur des plates-formes en assurant qu'ils soient corrects par construction. Et ils sont rendus corrects non seulement par la vérification des contraintes mais par l'utilisation de ces dernières dans un solveurs de contraintes pour déterminer les paramètres de configuration qui les rendent corrects. Ces travaux ont été réalisés dans le cadre de la thèse d'Olena Rogovchenko.

Concernant ce domaine des architectures logicielles pour la robotique autonome, je suis actuellement membre du comité de pilotage de la série de conférences Control Architectures of Robots dont j'ai organisé à Paris l'édition 2007. J'ai co-édité un numéro spécial de la revue JESA suite aux deux premières éditions de cette série de conférences. Je suis également membre du comité technique de l'IEEE Software Engineering for Robotics and Automation.

Concernant le domaine des architectures logicielles pour le calcul auto-régulé, je participe en ce moment à un projet ANR ARPEGE, le projet SALTY, dont l'objectif est de proposer une architecture générique pour la boucle de contrôle autonomique. Je m'occupe plus particulièrement de la partie « Décision » dans cette architecture, en proposant des approches de calcul automatique des politiques de décision (par exemple, apprentissage par renforcement) dont le cycle de vie est également géré de amnière automatique (de l'initialisation jusqu'à la fin d'exloitation, en passant par les phases d'apprentissage et d'éventuelles détection de changements radicaux dans le modèle de comportement de l'élément géré, comme les mises à jour de son logiciel). La thèse d'Olga Melekhova se déroule dans ce contexte.

J'ai également des collaborations suivies dans ce domaine avec Nicolas Rivierre d'Orange Labs, au sein desquels la thèse de Xavier Dutreilh se déroule. Je collabore étroitement dans ce domaine avec Isis Truck, qui a co-encadré la thèse de Pierre Châtel, et qui co-encadre actuellement les thèses de Xavier Dutreilh et Olga Melekhova.

Ces recherches actuelles se fondent sur mes travaux antérieurs dans les domaines de la mise en oeuvre d'architectures réflexives pour l'adaptation dynamique du comportement des logiciels. L'objectif général de mes recherches est de fournir de nouvelles abstractions de programmation pour l'auto-adaptabilité dynamique et le calcul autorégulé, en allant vers un contexte réparti et, à terme, celui des systèmes à grande échelle. Le modèle ARM est une première illustration de cette approche.

Je m'intéresse ou me suis intéressé dans le passé à la contractualisation des propriétés non-fonctionnelles des composants logiciels, aux concepts et à la formalisation de l'approche réflexive, à la programmation par prototypes, à l'intégration au sein d'un même langages des concepts de la programmation logique, concurrente et objets, et enfin à l'application des processus markoviens commandés et leur résolution par programmation dynamique. Plus récemment, mes travaux ont aussi porté sur les architectures fondées sur les services.

Mes publications les plus récentes dans ces différents domaines sont :

2011

1. Isis Truck et Jacques Malenfant, « Towards a formalization of the Linguistic Conditional Preference networks ». « International Journal of Applied Management Science », special issue on « Modern Tools of Industrial Engineering: Applications in Decision Sciences ». 2011, à paraître.
2. Xavier Dutreilh, Sergey Kirgizov, Olga Melekhova, Jacques Malenfant, Nicolas Rivierre et Isis Truck. « Using Reinforcement Learning for Autonomic Resource Allocation in Clouds: towards a fully automated workflow ». Actes de « Seventh International Conference on Autonomic and Autonomous Systems, ICAS 2011 », mai 2011, pp. 67-74. (best paper award)
3. Olena Rogovchenko et Jacques Malenfant. « Composants et composition pour les architectures de contrôle de robots », Revue des Techniques et Science Informatiques, TSI, 30(6), juin 2011, pp. 713-741.

2010

1. Olga Melekhova, Mohammed-Amine Abchir, Pierre Châtel, Jacques Malenfant, Isis Truck et Anna Pappa, « Self-Adaptation in Geotracking Applications: Challenges, Opportunities and Models », Actes de « 2nd International Conference on Adaptive and Self-adaptive Systems and Applications, ADAPTIVE 2010 », novembre 2010, pp. 68-77.
2. Bao Le Duc, Philippe Collet, Jacques Malenfant et Nicolas Rivierre, « A QoI-aware Framework for Adaptive Monitoring », Actes de « 2nd International Conference on Adaptive and Self-adaptive Systems and Applications, ADAPTIVE 2010 », novembre 2010, pp. 133-141.
3. Olena Rogovchenko et Jacques Malenfant, « Handling Hardware Heterogeneity through Rich Interfaces in a Component Model for Autonomous Robotics », Actes de « 2nd International Conference on Simulation, Modeling and Programming for Autonomous Robots, SIMPAR 2010 », Springer-Verlag Lecture Notes in Artificial Intelligence 6472, pp. 312-323, novembre 2010.
4. Xavier Dutreilh, Nicolas Rivierre, Aurélien Moreau, Jacques Malenfant et Isis Truck. « From Data Center Resource Allocation to Control Theory and Back », Actes de « 3rd International Conference on Cloud Computing, CLOUD 2010, application & industry track », pp. 410-417, juillet 2010.
5. Pierre Châtel, Jacques Malenfant et Isis Truck. « QoS-based Late-Binding of Service Invocations in Adaptive Business Processes », Actes de « 15th IEEE International Conference on Web Services, ICWS 2010 », pp. 227-234, juillet 2010.
6. Olena Rogovchenko et Jacques Malenfant. « Composition and Compositionality in a Component Model for Autonomous Robots. » Actes de « Software Composition, SC 2010 », Springer-Verlag LNCS 6144, pp. 34-49, 2010.
7. Isis Truck et Jacques Malenfant. « Towards a Unification of Some Linguistic Representation Models: A Vectorial Approach », Actes de « 9th International FLINS Conference on Computational Intelligence in Decision and Control (FLINS 2010) », pp. 610-615, juillet 2010.
8. Pierre Châtel, Isis Truck et Jacques Malenfant. « LCP-nets: A linguistic approach for non-functional preferences in a semantic SOA environment », Journal of Universal Computer Science, 16(1):198-217, 2010. URL

2009

1. Bao Le Duc, Pierre Châtel, Nicolas Rivierre, Jacques Malenfant, Philippe Collet et Isis Truck. « Non-functional Data Collection for Adaptive Business Processes and Decision Making », Proceedings of the International Workshop on Middleware for Service Oriented Computing, MW4SOC'09, ACM, 2009.
2. Aurélien Moreau, Jacques Malenfant et Michel Dao. « Data Flow Repair in Web Service Orchestration at Runtime », The Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, IEEE Computer Society Press, 2009 (best paper award).

2008

1. Pierre Châtel, Isis Truck et Jacques Malenfant. « A linguistic approach for non-functional constraints in a semantic SOA environment », 8th International FLINS Conference on Computational Intelligence in Decision and Control (FLINS 2008), World Scientific Publisher, 2008, pp. 889-894.
2. Aurélien Moreau et Jacques Malenfant. « Syntax-directed Data Integration in Semantic Web Services Orchestrations », 2nd International Workshop on Semantic Web Architectures for Enterprises (SWAE08), IEEE Computer Society Press, 2008, pp. 744-748.
3. Olena Rogovchenko et Jacques Malenfant. « WS-Objects: First-class Objects as Web Service Parameters, The Third International Conference on Internet and Web Applications and Services, ICIW 2008, IEEE Computer Society Press, 2008, pp. 437-444.
4. Olena Rogovchenko et Jacques Malenfant. « Composants et composition pour les architectures de contrôle de robots. » Journal Européen des Systèmes Automatisés, JESA, vol. 42, n° 4, mai 2008, pp. 423-438.

2007

1. Jacques Malenfant. « Du modèle au programme : aspects conceptuels et applications. Revue Génie Logiciel, 81:7-12, 2007.
2. Olena Rogovchenko et Jacques Malenfant. « Webjects, de vrais objets en paramètres des services web. » Actes de Langages et Modèles à Objets, LMO 2007, Hermès/Lavoisier, RSTI série L'objet 13, p. 65-80, 2007.
3. Philippe Collet, Jacques Malenfant, Alain Ozanne et Nicolas Rivierre, « Composite Contract Enforcement in Hierarchical Component Systems », Actes de « 6th International Symposium on Software Composition, SC 2007 », LNCS 4829, pp. 18-33, 2007.

Mes publications les plus marquantes en carrière sont :

• Pierre Châtel, Jacques Malenfant et Isis Truck. « QoS-based Late-Binding of Service Invocations in Adaptive Business Processes », Actes de « 15th IEEE International Conference on Web Services, ICWS 2010 », pp. 227-234, juillet 2010.
• Pierre Châtel, Isis Truck et Jacques Malenfant. « LCP-nets: A linguistic approach for non-functional preferences in a semantic SOA environment », Journal of Universal Computer Science, 16(1):198-217, 2010. URL
• J. Malenfant, C. Dony et P. Cointe. « A Semantics of Introspection in a Reflective Prototype-Based Language. » Lisp and Symbolic Computation, Kluwer, vol. 9, n° 2/3, mai/juin 1996, pp. 153-179.
• J. Malenfant, G. Lapalme, et J. Vaucher. « ObjVProlog-D: Distributed Object-Oriented Programming in Logic. » Object-Oriented Systems, Chapmann and Hall publishers, 3(2):61-86, juin 1996.
• J. Malenfant, M. Jacques et F.-N. Demers. « A Tutorial on Behavioral Reflection and its Implementation ». « Proceedings of the First International Conference on Reflection, Reflection'96 », 1996. (67 citations sur Harzing's Publish or Perish au 29 août 2011)
• J. Malenfant. « On the Semantic Diversity of Delegation-Based Programming Languages. » Actes d'OOPSLA'95, ACM Sigplan Notices, vol.30, n° 10, octobre 1995, pp. 215-230.
• P. Mulet, J. Malenfant et P. Cointe. « Towards a Methodology for Explicit Composition of Metaobjects ». Actes d'OOPSLA'95, ACM Sigplan Notices, vol.30, n° 10, octobre 1995, pp. 316-330. (82 citations)
• F.-N. Demers et J. Malenfant. « Reflection in Logic, Functional and Object-Oriented Programming: a short comparative study. » Actes du « Workshop on Reflection and Meta-Level Architectures and their Applications in AI, IJCAI'95 », pages 29-38, août 1995. (113 citations)
• C. Dony, J. Malenfant, et P. Cointe. « Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation. » Actes d'OOPSLA'92, ACM Sigplan Notices, 27(10):201-217, octobre 1992. (95 citations)
• F. Major, J. Malenfant, et N. Stewart. « Distance Between Objects Represented by Octrees Defined in Different Coordinate Systems ». Computers and Graphics, 13(4):497-503, 1989.
• P. L'Écuyer et J. Malenfant. « Computing Optimal Checkpointing Strategies for Rollback and Recovery Systems ». IEEE Transactions on Computers, 37(4):491-496, avril 1988. (63 citations)

Pour ceux et celles qui apprécient ou qui savent tirer une information utile de ces statistiques, mon h-index sur Harzing's Publish or Perish au 29 août 2011 était de 12. Ma publication la plus citée a 113 citations, et il y en a 5 qui sont citées plus de 60 fois. DBLP compte 34 entrées à mon nom actuellement.

Mots-clés recherche : calcul auto-régulé (autonomic computing) ; contrôle en boucle fermé des architectures logicielles ; architectures logicielles réflexives ; programmation contractuelle ; programmation par objets ; programmation répartie, embarquée et temps réel ; sémantique, conception et implantation des langages de programmation ; robotique intelligente autonome et collective.

Activités d'enseignement

Je suis actuellement responsable de trois unités d'enseignement que je coordonne et dont j'assure les cours magistraux :

• L'unité d'enseignement De XML aux arbres (XMLA), au second semestre de la troisième année de la licence. On peut également consulter les informations relatives à l'instantiation 2010-2011 de cette unité d'enseignement.
• L'unité d'enseignement Analyse des programmes et sémantique (MI030, APS) au seond semestre de la première année de master (M1).
• L'unité d'enseignement Architectures logicielles pour l'auto-adaptabilité dynamique (ALADYN) a lieu au premier semestre, pour les étudiants de deuxième année du master. Son site annuel est accessible.

Plus généralement, mon expérience d'enseignement inclut des cours de langages de programmation (concepts, implantation, sémantique), structures de données, introduction à la programmation (par objets, fonctionnelle, logique), et langages formels à différents niveaux de bacc+1 à bacc+5, en université (canadienne et française) et en école d'ingénieurs.

Pour ces enseignements, il m'est arrivé d'écrire des supports complets :

• J. Malenfant. Automates et langages, support de cours de licence IUP SIR, Université de Bretagne sud, 119 p., mars 2003.
• J. Malenfant. Programmation impérative et objets, support de cours de DEUG MIAS/MASS, Université de Bretagne sud, 245 p., novembre 2001.
• J. Malenfant. Sémantique des langages de programmation, support de cours de DEA, Université de Nantes, 84 p., octobre 1999.
• J. Malenfant. Implantation des langages de programmation, support de cours de troisième année, École des mines de Nantes, 73 p., décembre 1996.

Date de dernière modification : 27 janvier 2012