Reusing existing library components is essential for reducing the cost of software
development and maintenance. When library components evolve to accommodate new …

The internal libraries of Linux are evolving rapidly, to address new requirements and
improve performance. These evolutions, however, entail a massive problem of collateral …

Software updates typically require stop** and restarting an application, but many systems
cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) …

In the evolution of an operating system there is a continuing tension between the need to
develop and test new features, and the need to provide a stable and secure execution …

During system call execution, it is common for operating system kernels to read userspace
memory multiple times (multi-reads). A critical bug may exist if the fetched userspace …

Feature-sensitive verification pursues effective analysis of the exponentially many variants of
a program family. However, researchers lack examples of concrete bugs induced by …

Software evolves to fix bugs and add features. Stop** and restarting programs to apply
changes is inconvenient and often costly. Dynamic software updating (DSU) addresses this …

Device-driver development and testing is a complex and error-prone undertaking. For
example, testing errorhandling code requires simulating faulty inputs from the device. A …

The Coccinelle C-program matching and transformation tool was first released in 2008 to
facilitate specification and automation in the evolution of Linux kernel code. The novel …

Variability-sensitive verification pursues effective analysis of the exponentially many variants
of a program family. Several variability-aware techniques have been proposed, but …