Description
Date depot: 1 janvier 1900
Titre: Automatic inference of software transformation rules for automatically back and forward porting legacy infrastructure software
Directrice de thèse:
Julia LAWALL (Inria-Paris (ED-130))
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Large, real-world software must continually change, to keep up with evolving requirements, fix bugs, and
improve performance, maintainability, and security. For example, a new release of the Linux kernel appears
every 2-3 months, with each release resulting from 10-13K patches. This rate of change can pose difficulties
for clients, whose code cannot always evolve at the same rate. For example, the current version of Android
is based on a Linux kernel version first released in 2013. This situation leads to the need for backporting,
where services developed for more modern kernel versions are transformed to be compatible with an older
one. Ultimately, there is often a need for forward porting of client-specific code, when relying on a old kernel
version is no longer viable. The goal of the ITrans project is to provide automated solutions to address these
problems.
Doctorant.e: Serrano Lucas