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 HicksORCID logo, and Jeffrey S. Foster
(University of Maryland, USA)
Towards Standardized Benchmarks for Dynamic Software Updating Systems
Edward K. Smith, Michael HicksORCID logo, and Jeffrey S. Foster
(University of Maryland, USA)

Uetliberg

Safe and Automated State Transfer for Secure and Reliable Live Update
Cristiano Giuffrida ORCID logo 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 CadarORCID logo and Petr Hosek
(Imperial College London, UK)
Theseus: Whole Updates of Java Server Applications
Erwann Wernli
(University of Bern, Switzerland)

proc time: 0.01