The Community for Technology Leaders
2012 Fourth International Workshop on Hot Topics in Software Upgrades (HotSWUp 2012) (2012)
Zurich
June 3, 2012 to June 3, 2012
ISBN: 978-1-4673-1765-8
TABLE OF CONTENTS

Foreword (PDF)

Michael Wahler , ABB Corporate Research, USA
Danny Dig , University of Illinois at Urbana-Champaign, USA
pp. iii-iv

How to have your cake and eat it too: Dynamic software updating with just-in-time overhead (PDF)

Rida A. Bazzi , School of Comp. Inf. and Dec. Sys. Engineering, Arizona State University, Tempe, 85287, USA
Bryan Topp , School of Comp. Inf. and Dec. Sys. Engineering, Arizona State University, Tempe, 85287, USA
Iulian Neamtiu , Department of Computer Science and Engineering, University of California, Riverside, 92521, USA
pp. 1-5

A study of dynamic software update quiescence for multithreaded programs (PDF)

Christopher M. Hayden , University of Maryland, College Park, USA
Karla Saur , University of Maryland, College Park, USA
Michael Hicks , University of Maryland, College Park, USA
Jeffrey S. Foster , University of Maryland, College Park, USA
pp. 6-10

Towards standardized benchmarks for Dynamic Software Updating systems (PDF)

Edward K. Smith , University of Maryland, College Park, USA
Michael Hicks , University of Maryland, College Park, USA
Jeffrey S. Foster , University of Maryland, College Park, USA
pp. 11-15

Safe and automated state transfer for secure and reliable live update (PDF)

Cristiano Giuffrida , Department of Computer Science, Vrije Universiteit, Amsterdam, The Netherlands
Andrew S. Tanenbaum , Department of Computer Science, Vrije Universiteit, Amsterdam, The Netherlands
pp. 16-20

Atomic Dynamic Upgrades using software transactional memory (PDF)

Luis Pina , INESC-ID / Instituto Superior Técnico, Lisboa, Portugal
Joao Cachopo , INESC-ID / Instituto Superior Técnico, Lisboa, Portugal
pp. 21-25

A generic approach for deploying and upgrading mutable software components (PDF)

Sander van der Burg , Department of Software Technology, Delft University of Technology, Netherlands
pp. 26-30

Verification of software changes with ExpliSAT (PDF)

Hana Chockler , IBM Haifa Research Laboratory, Israel
Sitvanit Ruah , IBM Haifa Research Laboratory, Israel
pp. 31-35

Multi-version software updates (PDF)

Cristian Cadar , Department of Computing, Imperial College London, UK
Petr Hosek , Department of Computing, Imperial College London, UK
pp. 36-40

Theseus: Whole updates of java server applications (PDF)

Erwann Wernli , Software Composition Group, University of Bern, Switzerland
pp. 41-45
98 ms
(Ver 3.3 (11022016))