Many software systems need to provide services continuously and uninterruptedly.
Meanwhile, these software systems need to keep evolving continuously to fix bugs, add …

The continuous requirements of evolving a delivered software system and the rising cost of
shutting down a running software system are forcing researchers and practitioners to find …

In this paper, we study dynamic protocol update (DPU). Contrary to local code updates on-
the-fly, DPU requires global coordination of local code replacements. We propose a novel …

In this report we survey a number of references related to dynamic software updates (DSU),
which generally speaking can be defined as the application of changes to software that is …

Dynamic Software Update Page 1 Dynamic Software Update Emili Miedes and Francesc D.
Munoz-Escoı Instituto Universitario Mixto Tecnológico de Informática Universitat Polit`ecnica …

Module systems are well known as a means for giving clear interfaces for the static linking of
code. This paper shows how adding explicit interfaces to modules for 1) dynamic linking and …

Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in
Communicating Systems Page 1 Language Design for Atomicity, Declarative …

The demand for highly available software systems has increased dramatically over the past
several years. Such systems must be developed using a discipline that supports …

We present an Edit-and-Continue implementation that allows regular source files to be
treated like interactively updatable, compiled scripts, coupling the speed of compiled native …

An adaptation in a distributed system involves changes to multiple processes. Since the
adaptation cannot happen atomically (instantaneously), the changes to multiple processes …