Table of contents Motivation Terminology Software systems Programs and their upgrades Implementation State machines Example Semantics Pipelines Deployment Upgrades Sources and sinks Remote upgrades Discussion and future work Posted on Mar 7, 2024 Motivation Most deployed programs need to be upgraded at some point. The reasons vary from adding new features to patching a bug and potentially fixing a broken state. Even though upgrades are an essential part of software development and maintenance, ...