ICSE 2012 Workshops
2012 34th International Conference on Software Engineering (ICSE)
Powered by
Conference Publishing Consulting
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)
Preface
Title Page
Foreword
Zuerichsee
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)
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)
Towards Standardized Benchmarks for Dynamic Software Updating Systems
Edward K. Smith,
Michael Hicks
, and Jeffrey S. Foster
(University of Maryland, USA)
Uetliberg
Safe and Automated State Transfer for Secure and Reliable Live Update
Cristiano Giuffrida
and Andrew S. Tanenbaum
(VU University Amsterdam, Netherlands)
Atomic Dynamic Upgrades Using Software Transactional Memory
Luís Pina and João Cachopo
(Technical University of Lisbon, Portugal; INESC-ID, Portugal)
A Generic Approach for Deploying and Upgrading Mutable Software Components
Sander Van der Burg
(TU Delft, Netherlands)
Baden
Verification of Software Changes with ExpliSAT
Hana Chockler and Sitvanit Ruah
(IBM Research, Israel)
Multi-version Software Updates
Cristian Cadar
and Petr Hosek
(Imperial College London, UK)
Theseus: Whole Updates of Java Server Applications
Erwann Wernli
(University of Bern, Switzerland)
proc time: 0.01