Lucas Serrano

Data scientist

Lucas Serrano

Thèse de doctorat

Inférence automatique à partir d’exemples de règles de transformations pour le logiciel d’architecture (2020)

Le noyau Linux est aujourd’hui présent dans tous les types de systèmes informatiques, des smartphones aux supercalculateurs, comprenant à la fois le matériel le plus récent et les systèmes « anciens ». Cette diversité d’environnement a pour conséquence une base de code importante, d’une dizaine de millions de lignes de code, pour les pilotes matériels. Cependant par souci d’introduction de nouvelles fonctionnalités, ou pour des raisons de performance ou de sécurité, certaines interfaces de programmation (APIs) internes doivent être parfois revues, ce qui peut impliquer des changements pour des milliers de pilotes les utilisant. Cette thèse propose une nouvelle approche, SPINFER, permettant d’effectuer ces migrations d’utilisation d’APIs de manière automatique. Cette nouvelle approche, basée sur l’assemblage de motifs en suivant des contraintes de flot de contrôle, est capable d’apprendre à partir d’exemples, même imparfaits, des règles de transformations adaptées aux enjeux des migrations d’utilisations d’APIs dans le noyau Linux.

Thèmes de recherche

  • Génie logiciel
  • Transformation automatique de programme
  • Linux

Principales publications