International audienceSoftware is continually evolving, to fix bugs and add new features. Industry users, however, often value stability, and thus may not be able to update their code base to the latest versions. This raises the need to selectively backport new features to older software versions. Traditionally, backporting has been done by cluttering the backported code with preprocessor directives, to replace behaviors that are unsupported in an earlier version by appropriate workarounds. This approach however involves writing a lot of error-prone backporting code, and results in implementations that are hard to read and maintain. We consider this issue in the context of the Linux kernel, for which older versions are in wide use. We prese...
International audienceIn August 2011, Linux entered its third decade. Ten years before, Chou et al. ...
International audienceThe Linux kernel is highly configurable, and thus, in principle, any line of c...
International audienceIn a large software system such as the Linux kernel, there is a continual need...
International audienceSoftware is continually evolving, to fix bugs and add new features. Industry u...
International audienceDevice drivers are essential components of any operating system (OS). They spe...
International audienceWhenever a bug or vulnerability is detected in the Linux kernel, the kernel de...
textTo meet different requirements for different stakeholders, branches are widely used to maintain ...
International audiencePorting Linux device drivers to target more recent and older Linux kernel vers...
The internal libraries of Linux are evolving rapidly, to ad-dress new requirements and improve perfo...
International audienceCoccinelle is a program matching and transformation engine for C code. This pa...
International audienceThe Coccinelle C-program matching and transformation tool was first released i...
Best Paper awardInternational audienceThe Linux kernel does not export a stable, well-defined kernel...
International audienceVirtualization is a promising technology for running multiple operating system...
In 2001, Chou et al. published a study of faults found by applying a static analyzer to Linux versio...
International audienceThe Linux kernel does not export a stable, well-defined kernel interface, comp...
International audienceIn August 2011, Linux entered its third decade. Ten years before, Chou et al. ...
International audienceThe Linux kernel is highly configurable, and thus, in principle, any line of c...
International audienceIn a large software system such as the Linux kernel, there is a continual need...
International audienceSoftware is continually evolving, to fix bugs and add new features. Industry u...
International audienceDevice drivers are essential components of any operating system (OS). They spe...
International audienceWhenever a bug or vulnerability is detected in the Linux kernel, the kernel de...
textTo meet different requirements for different stakeholders, branches are widely used to maintain ...
International audiencePorting Linux device drivers to target more recent and older Linux kernel vers...
The internal libraries of Linux are evolving rapidly, to ad-dress new requirements and improve perfo...
International audienceCoccinelle is a program matching and transformation engine for C code. This pa...
International audienceThe Coccinelle C-program matching and transformation tool was first released i...
Best Paper awardInternational audienceThe Linux kernel does not export a stable, well-defined kernel...
International audienceVirtualization is a promising technology for running multiple operating system...
In 2001, Chou et al. published a study of faults found by applying a static analyzer to Linux versio...
International audienceThe Linux kernel does not export a stable, well-defined kernel interface, comp...
International audienceIn August 2011, Linux entered its third decade. Ten years before, Chou et al. ...
International audienceThe Linux kernel is highly configurable, and thus, in principle, any line of c...
International audienceIn a large software system such as the Linux kernel, there is a continual need...