Spirals mène des recherches dans les domaines des systèmes répartis et des sciences du logiciel. Spirals a pour but d’introduire plus d’automatisation dans les mécanismes d’adaptation des systèmes logiciels, en particulier pour assurer la transition des systèmes adaptatifs vers les systèmes auto-adaptatifs.
Dans ce contexte, Spirals vise deux propriétés : l’auto-optimisation et l’auto-protection. Avec l’auto-optimisation, Spirals vise à partager, collecter et analyser des comportements et des données distribuées pour continuellement adapter, optimiser et conserver en fonctionnement les systèmes logiciels. Avec l’auto-protection, Spirals vise à automatiser autant que possible la sécurité des systèmes logiciels face aux menaces mouvantes.
Lionel Seinturier
Developper des services logiciels durables à l'aide de modèles à grande échelle
Architectures logicielles frugales pour le déploiement de micro-services natifs dans le cloud
Analyse de sécurité des standards web existants et futurs
Étude de l'impact énergétique des Large Language Models pour le code
Contrôle des émissions de tâche de calcul haute performance
Modélisation formelle et fiabilisation des configurations des réseaux cloudifiés
Dégradation des performances des applications en ligne afin de réduire l'empreinte carbone du cloud
Détection automatique des vulnérabilités et exploitation d'attaques à exécution transiente
Vulnérabilités par canaux auxiliaires dans les environnement web
Détection automatique de vulnérabilités dues aux canaux auxiliaires microarchitecturaux
Détection et correction automatique de vulnérabilités par canaux auxiliaires dans les librairies cryptographiques
Conception et développement d'un langage orienté micro-services
Machine learning distribué en environnements omniprésents utilisant des modèles dépendant de la localisation
Vers des systèmes logiciels complexes et auto-adaptatifs
Administration Autonome des Systèmes de Base de Données
Caractérisation du comportement dans les systèmes intelligents et profonds, avec des nœuds hétérogènes et reprogrammables
Développement de services logiciels durables basé sur des modèles de langage (LLM)
Eco-Conception Logicielle: Estimation et Réduction de l’Empreinte Environnementale des Logiciels 06/12/2024
Améliorer la sur-allocation des ressources pour une meilleure consolidation des IaaS 19/07/2024
Reconfiguration dynamique sûre des applications comportant des options fonctionnelles 11/07/2024
Préserver la vie privée en ligne grâce au blocage de contenu 31/05/2023
Vers la Modélisation de l'Efficience Énergétique des Infrastructures de Calcul Virtualisés 15/12/2022
Éco-développement : une approche empirique pour réduire la consommation énergétique des logiciels 14/12/2022
Utiliser les empreintes de navigateur pour renforcer l'authentification sur Internet 14/01/2022
Eco-conception des logiciels : Investiguer et réduire la consommation énergétique des logiciels 08/10/2021
Comprendre les défauts de code spécifiques aux applications mobiles. 04/12/2019
Amplification automatique de tests unitaires pour le DevOps 14/11/2019
Tracking Versus Security : Investigating the two Facets of Browser Fingerprinting 24/10/2019
Inférer des modèles à partir d'APIs cloud et raisonner dessus : une approche outillée et formelle 21/12/2018
Un cadre flexible pour l'élasticité dans les nuages 10/12/2018
From Runtime Failures to Patches : Study of Patch Generation in Production 25/09/2018
Détection et analyse de l'impact des défauts de code dans les applications mobiles 30/11/2016
Usages of Graphs and Synthetic Data for Software Propagation Analysis 03/11/2016
Extraction et l'analyse de connaissance pour la réparation automatique de bugs 10/10/2014
Vers une meilleure compréhension de la consommation énergétique des systèmes logiciels 19/03/2014
Améliorer la sécurité et la vie privée sur le Web à travers les empreintes de navigateur 21/06/2021
Des oracles pour le diagnostic et la réparation automatique des bugs logiciels 03/05/2016
français
English