Abstract is missing.
- How to have your cake and eat it too: Dynamic software updating with just-in-time overheadRida A. Bazzi, Bryan Topp, Iulian Neamtiu. 1-5 [doi]
- A study of dynamic software update quiescence for multithreaded programsChristopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster. 6-10 [doi]
- Towards standardized benchmarks for Dynamic Software Updating systemsEdward K. Smith, Michael Hicks, Jeffrey S. Foster. 11-15 [doi]
- Safe and automated state transfer for secure and reliable live updateCristiano Giuffrida, Andrew S. Tanenbaum. 16-20 [doi]
- Atomic Dynamic Upgrades using software transactional memoryLuís Pina, João P. Cachopo. 21-25 [doi]
- A generic approach for deploying and upgrading mutable software componentsSander van der Burg. 26-30 [doi]
- Verification of software changes with ExpliSATHana Chockler, Sitvanit Ruah. 31-35 [doi]
- Multi-version software updatesCristian Cadar, Petr Hosek. 36-40 [doi]
- Theseus: Whole updates of java server applicationsErwann Wernli. 41-45 [doi]