HotSWUp 2012 – Proceedings

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

Preface

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)


@InProceedings{HotSWUp12p1, author = {Rida A. Bazzi and Bryan Topp and Iulian Neamtiu}, title = {How to Have Your Cake and Eat It Too: Dynamic Software Updating with Just-in-Time Overhead}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2012}, }

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)


@InProceedings{HotSWUp12p6, author = {Christopher M. Hayden and Karla Saur and Michael Hicks and Jeffrey S. Foster}, title = {A Study of Dynamic Software Update Quiescence for Multithreaded Programs}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {6-5}, doi = {}, year = {2012}, }

Towards Standardized Benchmarks for Dynamic Software Updating Systems
Edward K. Smith, Michael Hicks, and Jeffrey S. Foster
(University of Maryland, USA)


@InProceedings{HotSWUp12p11, author = {Edward K. Smith and Michael Hicks and Jeffrey S. Foster}, title = {Towards Standardized Benchmarks for Dynamic Software Updating Systems}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {11-10}, doi = {}, year = {2012}, }

Uetliberg

Safe and Automated State Transfer for Secure and Reliable Live Update
Cristiano Giuffrida and Andrew S. Tanenbaum
(VU University Amsterdam, Netherlands)


@InProceedings{HotSWUp12p16, author = {Cristiano Giuffrida and Andrew S. Tanenbaum}, title = {Safe and Automated State Transfer for Secure and Reliable Live Update}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {16-15}, doi = {}, year = {2012}, }

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


@InProceedings{HotSWUp12p21, author = {Luís Pina and João Cachopo}, title = {Atomic Dynamic Upgrades Using Software Transactional Memory}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {21-20}, doi = {}, year = {2012}, }

A Generic Approach for Deploying and Upgrading Mutable Software Components
Sander Van der Burg
(TU Delft, Netherlands)


@InProceedings{HotSWUp12p26, author = {Sander Van der Burg}, title = {A Generic Approach for Deploying and Upgrading Mutable Software Components}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {26-25}, doi = {}, year = {2012}, }

Baden

Verification of Software Changes with ExpliSAT
Hana Chockler and Sitvanit Ruah
(IBM Research, Israel)


@InProceedings{HotSWUp12p31, author = {Hana Chockler and Sitvanit Ruah}, title = {Verification of Software Changes with ExpliSAT}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2012}, }

Multi-version Software Updates
Cristian Cadar and Petr Hosek
(Imperial College London, UK)


@InProceedings{HotSWUp12p36, author = {Cristian Cadar and Petr Hosek}, title = {Multi-version Software Updates}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2012}, }

Theseus: Whole Updates of Java Server Applications
Erwann Wernli
(University of Bern, Switzerland)


@InProceedings{HotSWUp12p41, author = {Erwann Wernli}, title = {Theseus: Whole Updates of Java Server Applications}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {41-40}, doi = {}, year = {2012}, }

proc time: 0.01