Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012)
Pages 55 - 62
Abstract
The Fourth Workshop on Hot Topics in Software Upgrades (HotSWUp 2012) was held on June 3, 2012 in Zurich, Switzerland. The workshop was co-located with ICSE 2012. The goal of HotSWUp is to identify, through interdisciplinary collaboration, cutting-edge research ideas for implementing software upgrades. The workshop combined presentations of peer-reviewed research papers with a keynote speech on how empirical software engineering can help reduce update-induced failures. The audience included researchers and practitioners from academia and industry. In addition to the technical presentations, the program allowed ample time for discussions, which were driven by debate questions provided in advance by the presenters. HotSWUp provides a premier forum for discussing problems that are often considered niche topics in the established research communities. For example, the technical discussions at HotSWUp'12 covered dynamic software updates, package management tools, using model-checking and verification to verify updates, empirical software engineering and repository mining, and highlighted many synergies among these and other topics.
References
[1]
G. Altekar, I. Bagrak, P. Burstein, and A. Schultz. Opus: online patches and updates for security. In Proceedings of the 14th conference on USENIX Security Symposium, pages 287--302, Berkeley, CA, USA, 2005. USENIX Association.
[2]
J. Armstrong, R. Virding, C. Wikstrom, and M. Williams. Concurrent programming in ERLANG (2nd ed.). Prentice Hall International (UK) Ltd., 1996.
[3]
J. Arnold and M. F. Kaashoek. Ksplice: automatic rebootless kernel updates. In Proceedings of the 4th ACM European conference on Computer systems, EuroSys '09, pages 187--198, New York, NY, USA, 2009. ACM.
[4]
R. Bazzi, B. Topp, and I. Neamtiu. How to have your cake and eat it too: Dynamic software updating with just in time overhead. In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Zurich, Switzerland, 2012.
[5]
C. Cadar and P. Hosek. Multi-version software updates. In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Zurich, Switzerland, 2012.
[6]
G. Candea, J. Cutler, and A. Fox. Improving availability with recursive micro-reboots: A soft-state system case study. In Performance Evaluation Journal, 2003.
[7]
G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox. Microreboot - a technique for cheap recovery. In Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6, OSDI'04, pages 3--3, Berkeley, CA, USA, 2004. USENIX Association.
[8]
H. Chen, J. Yu, R. Chen, B. Zang, and P.-C. Yew. POLUS: A POwerful Live Updating System. In ICSE, pages 271--281, 2007.
[9]
H. Chockler and S. Ruah. Verification of software changes with explisat. In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Zurich, Switzerland, 2012.
[10]
E. Dolstra, E. Visser, and M. de Jonge. Imposing a memory management discipline on software deployment. In Proceedings of the 26th International Conference on Software Engineering, ICSE '04, pages 583--592, Washington, DC, USA, 2004. IEEE Computer Society.
[11]
T. Dumitraş and P. Narasimhan. Why do upgrades fail and what can we do about it?: toward dependable, online upgrades in enterprise system. In Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware, Middleware '09, pages 18:1--18:20, New York, NY, USA, 2009. Springer-Verlag New York, Inc.
[12]
O. Frieder and M. E. Segal. On dynamically updating a computer program: From concept to prototype. The Journal of Systems and Software, 14(2):111--128, 1991.
[13]
E. Giger, M. Pinzger, and H. C. Gall. Comparing fine-grained source code changes and code churn for bug prediction. In Proceedings of the 8th Working Conference on Mining Software Repositories, MSR'11, pages 83--92, New York, NY, USA, 2011. ACM.
[14]
C. Giuffrida and A. S. Tanenbaum. Safe and automated state transfer for secure and reliable live update. In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Zurich, Switzerland, 2012.
[15]
C. Hayden, K. Saur, M. Hicks, and J. Foster. A study of dynamic software update quiescence for multithreaded programs. In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Zurich, Switzerland, 2012.
[16]
C. Hayden, E. Smith, M. Hicks, and J. Foster. State transfer for clear and efficient runtime upgrades. In HotSWUp '11: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Hannover, Germany, 2011.
[17]
C. M. Hayden, E. K. Smith, M. Denchev, M. Hicks, and J. S. Foster. Kitsune: Efficient, general-purpose dynamic software updating for C. In Proceedings of the ACM Conference on Object-Oriented Programming Languages, Systems, and Appilcations (OOPSLA), Oct. 2012.
[18]
K. Makris and R. Bazzi. Multi-threaded dynamic software updates using stack reconstruction. In USENIX ATC, 2009.
[19]
Memcached. http://www.danga.com/memcached/.
[20]
P. Narasimhan. Failures & Downtime Incidents. http://www.cs.cmu.edu/priya/downtime.html.
[21]
I. Neamtiu, J. S. Foster, and M. Hicks. Understanding source code evolution using abstract syntax tree matching. In Proceedings of the International Workshop on Mining Software Repositories (MSR), pages 1--5, May 2005.
[22]
I. Neamtiu and M. Hicks. Safe and timely updates to multi-threaded programs. SIGPLAN Not., 44:13--24, June 2009.
[23]
I. Neamtiu, M. Hicks, J. S. Foster, and P. Pratikakis. Contextual effects for version-consistent dynamic software updating and safe concurrent programming. In Proceedings of the ACM Conference on Principles of Programming Languages (POPL), pages 37--50, Jan. 2008.
[24]
I. Neamtiu, M. Hicks, G. Stoyle, and M. Oriol. Practical dynamic software updating for C. In Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, PLDI '06, pages 72--83, New York, NY, USA, 2006. ACM.
[25]
L. Pina and J. Cachopo. Atomic dynamic upgrades using software transactional memory. In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Zurich, Switzerland, 2012.
[26]
M. Pinzger, N. Nagappan, and B. Murphy. Can developer-module networks predict failures? In SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, pages 2--12, New York, NY, USA, 2008. ACM.
[27]
M. E. Segal and O. Frieder. Dynamic program updating: a software maintenance technique for minimizing software downtime. Journal of Software Maintenance, 1(1):59--79, Sept. 1989.
[28]
E. Smith, M. Hicks, and J. Foster. In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Zurich, Switzerland, 2012.
[29]
S. van der Burg. A generic approach for deploying and upgrading mutable software components. In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Zurich, Switzerland, 2012.
[30]
S. van der Burg and E. Dolstra. Automated deployment of a heterogeneous service-oriented system. In 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pages 183--190, Sept. 2010.
[31]
S. van der Burg, E. Dolstra, and M. de Jonge. Atomic upgrading of distributed systems. In Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades, HotSWUp '08, pages 8:1--8:5, New York, NY, USA, 2008. ACM.
[32]
E. Wernli. Theseus: whole updates of Java server applications. In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Zurich, Switzerland, 2012.
[33]
Z. Yin, D. Yuan, Y. Zhou, S. Pasupathy, and L. Bairavasundaram. How do fixes become bugs? In Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, ESEC/FSE '11, pages 26--36, New York, NY, USA, 2011. ACM.
Index Terms
- Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012)
Recommendations
Report on the second ACM workshop on hot topics in software upgrades (HotSWUp'09): http://www.hotswup.org/2009/
The Second ACM SIGPLAN Workshop on Hot Topics in Software Upgrades (HotSWUp'09) was held on 25 October 2009 in Orlando, FL. The workshop was co-located with OOPSLA 2009 and was sponsored by ACM SIGPLAN. Twenty researchers and practitioners, from the ...
Report on the third workshop on hot topics in software upgrades (HotSWUp'11)
Report on the third workshop on hot topics in software upgrades (HotSWUp'11).
The workshop combined presentations of peer-reviewed research papers with a keynote speech on the practical issues related to performing large-scale upgrades. The audience ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2013 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 29 January 2013
Published in SIGOPS Volume 47, Issue 1
Check for updates
Author Tags
Qualifiers
- Review-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 155Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 12 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in