SERRANO Lucas
Direction de recherche : Julia LAWALL
Automatic Inference of Software transformation rules for automatically back and forward portiing legacy infrastructure sofware
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.
Soutenance : 25/11/2020
Membres du jury :
Tegawendé F. BISSYANDÉ, Senior Research Scientist, Université du Luxembourg [Rapporteur]
Martin MONPERRUS, Full Professor, KTH Royal Institute of Technology [Rapporteur]
Antoine MINÉ, Professeur, Sorbonne Université
Valérie ISSARNY, Directrice de recherche, Inria
Jean-Rémi FALLERI, Maître de conférences, Université de Bordeaux
Julia LAWALL, Directrice de recherche, Inria
Publications 2020
-
2020
- L. Serrano : “Automatic Inference of Software transformation rules for automatically back and forward portiing legacy infrastructure sofware”, soutenance de thèse, soutenance 25/11/2020, direction de recherche Lawall, Julia (2020)
- L. Serrano, V.‑A. Nguyen, F. Thung, L. Jiang, D. Lo, J. Lawall, G. Muller : “SPINFER: Inferring Semantic Patches for the Linux Kernel”, USENIX Annual Technical Conference, Boston / Virtual, United States (2020)
- S. Haryono, F. Thung, H. Kang, L. Serrano, G. Muller, J. Lawall, D. Lo, L. Jiang : “Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example”, ICPC 2020 - 28th IEEE/ACM International Conference on Program Comprehension - ERA track, Seoul / Virtual, Korea, Republic of (2020)
- F. Thung, S. Haryono, L. Serrano, G. Muller, J. Lawall, D. Lo, L. Jiang : “Automated Deprecated-API Usage Update for Android Apps: How Far Are We?”, SANER 2020 - 27th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER, RENE track), London, Ontario, Canada, pp. 602-611, (IEEE) (2020)