Supervision : 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.
Defence : 11/25/2020 - 14h30 - https://youtu.be/TCHjHfDB384
Jury members :
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
- L. Serrano : “Automatic Inference of Software transformation rules for automatically back and forward portiing legacy infrastructure sofware”, thesis, defence 11/25/2020, supervision 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)