Powered by

2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp), June 3, 2012, Zurich, Switzerland

HotSWUp 2012 – Proceedings

Contents - Abstracts - Authors

4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)

Title Page
Article: icsews12hotswupforeword-fm000-p doi:

Foreword
Article: icsews12hotswupforeword-fm001-p doi:

How to Have Your Cake and Eat It Too: Dynamic Software Updating with Just-in-Time Overhead
Rida A. Bazzi, Bryan Topp, and Iulian Neamtiu
(Arizona State University, USA; UC Riverside, USA)
Article: icsews12hotswup-id10-p doi:

A Study of Dynamic Software Update Quiescence for Multithreaded Programs
Christopher M. Hayden, Karla Saur, Michael Hicks, and Jeffrey S. Foster
(University of Maryland, USA)
Article: icsews12hotswup-id12-p doi:

Towards Standardized Benchmarks for Dynamic Software Updating Systems
Edward K. Smith, Michael Hicks, and Jeffrey S. Foster
(University of Maryland, USA)
Article: icsews12hotswup-id9-p doi:

Safe and Automated State Transfer for Secure and Reliable Live Update
Cristiano Giuffrida and Andrew S. Tanenbaum
(VU University Amsterdam, Netherlands)
Article: icsews12hotswup-id2-p doi:

Atomic Dynamic Upgrades Using Software Transactional Memory
Luís Pina and João Cachopo
(Technical University of Lisbon, Portugal; INESC-ID, Portugal)
Article: icsews12hotswup-id7-p doi:

A Generic Approach for Deploying and Upgrading Mutable Software Components
Sander Van der Burg
(TU Delft, Netherlands)
Article: icsews12hotswup-id15-p doi:

Verification of Software Changes with ExpliSAT
Hana Chockler and Sitvanit Ruah
(IBM Research, Israel)
Article: icsews12hotswup-id3-p doi:

Multi-version Software Updates
Cristian Cadar and Petr Hosek
(Imperial College London, UK)
Article: icsews12hotswup-id14-p doi:

Theseus: Whole Updates of Java Server Applications
Erwann Wernli
(University of Bern, Switzerland)
Article: icsews12hotswup-id4-p doi:

proc time: 0.01