{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:49Z","timestamp":1750308709543,"version":"3.41.0"},"reference-count":33,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2013,1,29]],"date-time":"2013-01-29T00:00:00Z","timestamp":1359417600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGOPS Oper. Syst. Rev."],"published-print":{"date-parts":[[2013,1,29]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/2433140.2433152","type":"journal-article","created":{"date-parts":[[2013,2,5]],"date-time":"2013-02-05T13:19:41Z","timestamp":1360070381000},"page":"55-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012)"],"prefix":"10.1145","volume":"47","author":[{"given":"Karla","family":"Saur","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, MD"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulian","family":"Neamtiu","sequence":"additional","affiliation":[{"name":"University of California, Riverside, Riverside, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1,29]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"287","volume-title":"Proceedings of the 14th conference on USENIX Security Symposium","author":"Altekar G.","year":"2005","unstructured":"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. 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."},{"key":"e_1_2_1_2_1","volume-title":"Concurrent programming in ERLANG","author":"Armstrong J.","year":"1996","unstructured":"J. Armstrong , R. Virding , C. Wikstrom , and M. Williams . Concurrent programming in ERLANG ( 2 nd ed.). Prentice Hall International (UK) Ltd ., 1996 . J. Armstrong, R. Virding, C. Wikstrom, and M. Williams. Concurrent programming in ERLANG (2nd ed.). Prentice Hall International (UK) Ltd., 1996.","edition":"2"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519085"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/HotSWUp.2012.6226611"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/HotSWUp.2012.6226615"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2003.07.007"},{"key":"e_1_2_1_7_1","first-page":"3","volume-title":"Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation -","volume":"6","author":"Candea G.","year":"2004","unstructured":"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. 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."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.65"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/HotSWUp.2012.6226614"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999463"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1656980.1657005"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(91)90096-O"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985441.1985456"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/HotSWUp.2012.6226610"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/HotSWUp.2012.6226617"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDEW.2011.5767632"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384635"},{"key":"e_1_2_1_18_1","volume-title":"USENIX ATC","author":"Makris K.","year":"2009","unstructured":"K. Makris and R. Bazzi . Multi-threaded dynamic software updates using stack reconstruction . In USENIX ATC , 2009 . K. Makris and R. Bazzi. Multi-threaded dynamic software updates using stack reconstruction. In USENIX ATC, 2009."},{"key":"e_1_2_1_19_1","unstructured":"Memcached. http:\/\/www.danga.com\/memcached\/.  Memcached. http:\/\/www.danga.com\/memcached\/."},{"key":"e_1_2_1_20_1","unstructured":"P. Narasimhan. Failures & Downtime Incidents. http:\/\/www.cs.cmu.edu\/priya\/downtime.html.  P. Narasimhan. Failures & Downtime Incidents. http:\/\/www.cs.cmu.edu\/priya\/downtime.html."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083142.1083143"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542479"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328447"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133991"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/HotSWUp.2012.6226612"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453105"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.4360010106"},{"key":"e_1_2_1_28_1","volume-title":"HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades","author":"Smith E.","year":"2012","unstructured":"E. Smith , M. Hicks , and J. Foster . In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades , Zurich, Switzerland , 2012 . E. Smith, M. Hicks, and J. Foster. In HotSWUp '12: Proceedings of the Third Workshop on Hot Topics in Software Upgrades, Zurich, Switzerland, 2012."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/HotSWUp.2012.6226613"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2010.10"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1490283.1490294"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/HotSWUp.2012.6226616"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025121"}],"container-title":["ACM SIGOPS Operating Systems Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2433140.2433152","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2433140.2433152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:09Z","timestamp":1750277649000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2433140.2433152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,29]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,1,29]]}},"alternative-id":["10.1145\/2433140.2433152"],"URL":"https:\/\/doi.org\/10.1145\/2433140.2433152","relation":{},"ISSN":["0163-5980"],"issn-type":[{"type":"print","value":"0163-5980"}],"subject":[],"published":{"date-parts":[[2013,1,29]]},"assertion":[{"value":"2013-01-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}