Modular Software Upgrades for Distributed Systems
No abstract available.
Related papers
- NixOS: A purely functional Linux distribution JFP 2010
- Lazy modular upgrades in persistent object stores OOPSLA 2003
- NixOS: a purely functional Linux distribution ICFP 2008
- To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains OOPSLA 2010
- Why3-do: The Way of Harmonious Distributed System Proofs ESOP 2022
- Practical refactoring-based framework upgrade GPCE 2008
- Dynamic Software Updating PLDI 2001
- Putting the semantics into semantic versioning Onward! 2020