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

Many important applications must run continuously and without interruption, yet must be
changed to fix bugs or upgrade functionality. No prior general-purpose methodology for …

Many important applications must run continuously and without interruption, and yet also
must be changed to fix bugs or upgrade functionality. No prior general-purpose …

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

This paper presents POLUS, a software maintenance tool capable of iteratively evolving
running software into newer versions. POLUS's primary goal is to increase the dependability …

Online reconfiguration provides a way to extend and replace active operating system
components. This provides administrators, developers, applications, and the system itself …

Dynamic software updating (DSU) systems allow programs to be updated while running,
thereby permitting developers to add features and fix bugs without downtime. This paper …

Dynamic software updates can be used to fix bugs or add features to a running program
without downtime. Essential for some applications and convenient for others, low-level …

This article presents Proteus, a core calculus that models dynamic software updating, a
service for fixing bugs and adding features to a running program. Proteus permits a …

This paper presents a generalization of standard effect systems that we call contextual
effects. A traditional effect system computes the effect of an expression e. Our system …