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

Uetliberg

Safe and Automated State Transfer for Secure and Reliable Live Update
Cristiano Giuffrida and Andrew S. Tanenbaum
(VU University Amsterdam, Netherlands)
Article Search
Atomic Dynamic Upgrades Using Software Transactional Memory
Luís Pina and João Cachopo
(Technical University of Lisbon, Portugal; INESC-ID, Portugal)
Article Search
A Generic Approach for Deploying and Upgrading Mutable Software Components
Sander Van der Burg
(TU Delft, Netherlands)
Article Search

Baden

Verification of Software Changes with ExpliSAT
Hana Chockler and Sitvanit Ruah
(IBM Research, Israel)
Article Search
Multi-version Software Updates
Cristian Cadar and Petr Hosek
(Imperial College London, UK)
Article Search
Theseus: Whole Updates of Java Server Applications
Erwann Wernli
(University of Bern, Switzerland)
Article Search

proc time: 0.3