selected publications conference paper Atomic Install in Newspeak. Hot Topics in Software Upgrades. 2013