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