HotSWUp

Publications

2013

2012

Edward K. Smith, Michael Hicks, Jeffrey S. Foster
Towards standardized benchmarks for Dynamic Software Updating systems. HotSWUp (2012)
Erwann Wernli
Theseus: Whole updates of java server applications. HotSWUp (2012)
Luís Pina, João P. Cachopo
Atomic Dynamic Upgrades using software transactional memory. HotSWUp (2012)
Rida A. Bazzi, Bryan Topp, Iulian Neamtiu
How to have your cake and eat it too: Dynamic software updating with just-in-time overhead. HotSWUp (2012)
Cristiano Giuffrida, Andrew S. Tanenbaum
Safe and automated state transfer for secure and reliable live update. HotSWUp (2012)
Sander van der Burg
A generic approach for deploying and upgrading mutable software components. HotSWUp (2012)
Hana Chockler, Sitvanit Ruah
Verification of software changes with ExpliSAT. HotSWUp (2012)
Christopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster
A study of dynamic software update quiescence for multithreaded programs. HotSWUp (2012)
4th International Workshop on Hot Topics in Software Upgrades, HotSWUp 2012, Zurich, Switzerland, June 3, 2012 HotSWUp (2012)
Cristian Cadar, Petr Hosek
Multi-version software updates. HotSWUp (2012)