SERRANO Lucas
Gruppo di ricerca : Whisper
Data di partenza : 12/31/2020
https://lip6.fr/Lucas.Serrano
Relatore : Julia LAWALL
Automatic Inference of Software transformation rules for automatically back and forward portiing legacy infrastructure sofware
The Linux kernel is present today in all kinds of computing environments, from smartphones to supercomputers, including both the latest hardware and "ancient" systems. This multiplicity of environments has come at the expense of a large code size, of approximately ten million lines of code, dedicated to device drivers. However, to add new functionalities, or for performance or security reasons, some internal Application Programming Interfaces (APIs) can be redesigned, triggering the need for changes of potentially thousands of drivers using them.
This thesis proposes a novel approach, Spinfer, that can automatically perform these API usage updates. This new approach, based on pattern assembly constrained by control-flow relationships, can learn transformation rules from even imperfect examples. Learned rules are suitable for the challenges found in Linux kernel API usage updates.
Difesa : 11/25/2020
Membri della commissione :
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
Pubblicazioni 2020
-
2020
- L. Serrano : “Automatic Inference of Software transformation rules for automatically back and forward portiing legacy infrastructure sofware”, these, difesa 11/25/2020, relatore 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)