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.
- 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. Google ScholarDigital Library
- J. Armstrong, R. Virding, C. Wikstrom, and M. Williams. Concurrent programming in ERLANG (2nd ed.). Prentice Hall International (UK) Ltd., 1996. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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.Google ScholarCross Ref
- G. Candea, J. Cutler, and A. Fox. Improving availability with recursive micro-reboots: A soft-state system case study. In Performance Evaluation Journal, 2003. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- H. Chen, J. Yu, R. Chen, B. Zang, and P.-C. Yew. POLUS: A POwerful Live Updating System. In ICSE, pages 271--281, 2007. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- K. Makris and R. Bazzi. Multi-threaded dynamic software updates using stack reconstruction. In USENIX ATC, 2009. Google ScholarDigital Library
- Memcached. http://www.danga.com/memcached/.Google Scholar
- P. Narasimhan. Failures & Downtime Incidents. http://www.cs.cmu.edu/priya/downtime.html.Google Scholar
- 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. Google ScholarDigital Library
- I. Neamtiu and M. Hicks. Safe and timely updates to multi-threaded programs. SIGPLAN Not., 44:13--24, June 2009. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- E. Smith, M. Hicks, and J. Foster. In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Zurich, Switzerland, 2012.Google Scholar
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
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