Pr. Franck Barbier

Titre : « Économie de la Programmation et du Logiciel »

Résumé : 

Notre activité de recherche est censée (pour partie) mener à du transfert voire de la valorisation par la création d'une start-up par exemple. La frontière entre recherche et innovation est souvent difficile à cerner car notre recherche se décline sur l'échelle : théorique, fondamentale et appliquée. Pour la Programmation et le Logiciel, notre communauté est "au coeur du réacteur numérique". Il semble ainsi intéressant d'analyser la façon dont nous pouvons, si désiré, faire bouger la société et l'économie à partir de nos résultats de recherche.

A travers une expérience personnelle, cette keynote tente de donner les tenants et aboutissants du transfert et de la valorisation de recherches sur la Programmation et le Logiciel. Quelques clefs s'y ajoutent pour les chercheurs s'interrogeant sur une telle "mission". Nous sommes susceptibles de (attendus pour ?) établir les nouveaux mécanismes et les nouvelles modalités de conception des applications informatiques. Sobriété énergétique, respect de la vie privée, calcul cloud/edge, IA... sont les sujets prégnants du moment. Voulons-nous (réellement) influer sur cela ?

Bio :

Franck Barbier est Prof. d'informatique à l'université de Pau. Sa recherche a porté sur l'Ingénierie Dirigée par les Modèles -IDM- dont 2/3 des thèses encadrées sous contrat avec l'industrie du logiciel. Cette recherche s'est fortement tournée vers le transfert et la valorisation des résultats, notamment IBM autour de 2000 et Blu Age corp. (rachetée par Amazon Web Services) autour de 2020.

Il a participé à l'éclosion du GdR GPL sous la houlette du Prof. Yves Ledru et a été responsable de programmes puis co-directeur du dép. STIC de l'ANR autour de 2010. Il a ainsi pu acquérir une vision précise et globale de l'écosystème de recherche et d'innovation français, la collaboration public/privé notamment via la collaboration des chercheurs avec l'industrie du logiciel, qu'elle soit ponctuelle (projets régionaux, ANR, européens...) ou à plus long terme (investissements d'avenir, labo. mixtes...).

Pr. Frédéric Loulergue

Titre :  « Approches formelles pour les composants et outils système »

Résumé :

Cet exposé présentera des approches formelles d’une part pour la vérification de composants système et d’autre part pour la formalisation d’outils système. Dans la première partie, on considérera des programmes C, tandis que dans la seconde, on considérera des langages de configuration.

Frama-C est un framework pour l’analyse et la vérification de programmes C. Il propose une collection d’analyses sous forme de greffons qui peuvent collaborer, parmi lesquels EVA pour l’analyse statique par interprétation abstraite, WP pour la vérification déductive, E-ACSL pour la vérification dynamique, RTE pour la génération d’annotation pour assurer l’absence de Runtime Error ou encore MetACSL pour la vérification de propriétés de haut-niveau. Nous aborderons les fonctionnalités de Frama-C via des cas d’études de composants systèmes avec un focus sur la vérification déductive, mais aussi ses limites et quelques recherches en cours pour les repousser, notamment dans le cadre du projet ANR CoMeMoV.
Les grands systèmes logiciels distribués sont désormais omniprésents. Les systèmes à base de composants offrent un moyen pratique de structurer de grands systèmes, en particulier les systèmes déployés dans le Cloud, au cœur ou à la périphérie du réseau. Les opérations DevOps, fournies par divers outils, qui incluent la configuration et la reconfiguration de système, sont nécessaires pour gérer divers types de scénarios tels que la tolérance aux pannes, l'évolutivité, les mises à jour logicielles ou diverses optimisations. De tels changements peuvent entraîner des incidents. Le principal avantage des outils DevOps est leur intégration et leur adoption dans la communauté DevOps. Leur inconvénient est qu'ils manquent de spécifications formelles et mêmes textuelles. L’exposé présentera nos premiers efforts, dans le contexte du projet ANR ForCoaLa, pour améliorer la compréhension de ces langages en se basant sur des sémantiques formelles mécanisées.

Bio :

Frédéric Loulergue a obtenu son doctorat en informatique à l'Université d'Orléans en 2000 et son habilitation à diriger des recherches en informatique à l'Université Paris Val-de-Marne en 2004. Il est actuellement professeur titulaire à l'Université d'Orléans après avoir été professeur titulaire à la Northern Arizona University, Flagstaff, USA. Ses recherches portent sur la correction de propriétés (incluant des propriétés de sécurité) de programmes et de composants logiciels obtenus par construction ou obtenues par vérification a posteriori, notamment par vérification déductive ou vérification collaborative. Il est membre du comité éditorial de Scalable Computing: Practice and Experience et du Journal of Computer Languages (COLA). Il dirige l'équipe de recherche Langages Modèles et Vérification (LMV) au Laboratoire d’Informatique Fondamentale d’Orléans (LIFO). Site Web : https://frederic.loulergue.eu

Prof. Federica Sarro

Work in Progress 🚧

Bio :

Federica Sarro is a Professor of Software Engineering in the Department of Computer Science at University College London, where she is the Head of the Software Systems Engineering group. Professor Sarro has extensive academic and industrial expertise in Software and Artificial Intelligence Engineering with a focus on automated management, requirements, testing, repair, and optimisation of software functional and non-functional properties, including software fairness and sustainability. On these topics she has co-authored over 100 papers regularly publishing in all the most prestigious conferences and journals such as ACM/IEEE ICSE, ACM FSE, IEEE ISSTA, IEEE RE, IEEE TSE, ACM TOSEM. She has given several invited talks at academic and industrial international events, and worked in collaboration with several companies including Meta, Google, Bloomberg, and Microsoft. She has received several international awards for her research, including the ICSE'24 and FSE'19 ACM Distinguished Paper Awards, as well as several appreciations for her community service and high-quality work as a reviewer, including the ACM Distinguished Reviewer Award received at ICSE both in 2018 and 2020. In recognition of her “excellence in Software Engineering research with scholarly and real-world impact” she has received the IEEE TCSE Rising Star Award in 2021. In addition, she was awarded the prestigious LERO Parnas Fellowship in 2023. Professor Sarro has served the research community in numerous ways. She serves on the Steering Committee of several international conferences including ICSE and ASE. She has been the Program Chair several international conferences including IEEE/ACM ASE 2023, IEEE ICSME 2021, IEEE/ACM ESEM 2020 and has also been serving in several Organizing Committees, including FSE, ICSE, RE, MSR. In addition, she has been Area Chair for ASE, Program Board member for ICSE, and Program Committee member of over 60 international events, and an Editorial and Reviewer Board member of prestigious journals including ACM TOSEM and IEEE TSE. Since January 2025, she has been the Chair of the IEEE Computer Science Technical Community on Software Engineering.