{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:56Z","timestamp":1772163956576,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,15]],"date-time":"2009-06-15T00:00:00Z","timestamp":1245024000000},"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":[],"published-print":{"date-parts":[[2009,6,15]]},"DOI":"10.1145\/1542476.1542479","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T09:34:36Z","timestamp":1245144876000},"page":"13-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":57,"title":["Safe and timely updates to multi-threaded programs"],"prefix":"10.1145","author":[{"given":"Iulian","family":"Neamtiu","sequence":"first","affiliation":[{"name":"University of California, Riverside, Riverside, CA, USA"}]},{"given":"Michael","family":"Hicks","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, College Park, MD, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Opus: online patches and updates for security. In phUSENIX Security","author":"Altekar Gautam","year":"2005","unstructured":"Gautam Altekar , Ilya Bagrak , Paul Burstein , and Andrew Schultz . Opus: online patches and updates for security. In phUSENIX Security , 2005 . Gautam Altekar, Ilya Bagrak, Paul Burstein, and Andrew Schultz. Opus: online patches and updates for security. In phUSENIX Security, 2005."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519085"},{"key":"e_1_3_2_1_3_1","volume-title":"Dilma Da Silva, et al. Reboots are for hardware: challenges and solutions to updating an operating system on the fly. In phUSENIX ATC","author":"Baumann Andrew","year":"2007","unstructured":"Andrew Baumann , Jonathan Appavoo , Robert W. Wisniewski , Dilma Da Silva, et al. Reboots are for hardware: challenges and solutions to updating an operating system on the fly. In phUSENIX ATC , 2007 . Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, et al. Reboots are for hardware: challenges and solutions to updating an operating system on the fly. In phUSENIX ATC, 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1134767"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.65"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.485222"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108970.1108971"},{"key":"e_1_3_2_1_9_1","unstructured":"K42. The K42 Project. http:\/\/www.research.ibm.com\/K42\/.  K42. The K42 Project. http:\/\/www.research.ibm.com\/K42\/."},{"key":"e_1_3_2_1_11_1","volume-title":"Multi-threaded dynamic software updates using stack reconstruction. In phUSENIX ATC","author":"Makris Kristis","year":"2009","unstructured":"Kristis Makris and Rida Bazzi . Multi-threaded dynamic software updates using stack reconstruction. In phUSENIX ATC , 2009 . Kristis Makris and Rida Bazzi. Multi-threaded dynamic software updates using stack reconstruction. In phUSENIX ATC, 2009."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273031"},{"key":"e_1_3_2_1_14_1","volume-title":"UC Riverside","author":"Neamtiu Iulian","year":"2009","unstructured":"Iulian Neamtiu and Michael Hicks . Safe and timely updates to multi-threaded programs. Technical report , UC Riverside , June 2009 . Iulian Neamtiu and Michael Hicks. Safe and timely updates to multi-threaded programs. Technical report, UC Riverside, June 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083142.1083143"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133991"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328447"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134019"},{"key":"e_1_3_2_1_19_1","volume-title":"Band-aid patching. In phHotDep","author":"Sidiroglou Stelios","year":"2007","unstructured":"Stelios Sidiroglou , Sotiris Ioannidis , and Angelos D. Keromytis . Band-aid patching. In phHotDep , 2007 . Stelios Sidiroglou, Sotiris Ioannidis, and Angelos D. Keromytis. Band-aid patching. In phHotDep, 2007."},{"key":"e_1_3_2_1_20_1","volume-title":"System support for online reconfiguration. In phUSENIX ATC","author":"Soules C.","year":"2003","unstructured":"C. Soules , J. Appavoo , K. Hui , System support for online reconfiguration. In phUSENIX ATC , 2003 . C. Soules, J. Appavoo, K. Hui, et al. System support for online reconfiguration. In phUSENIX ATC, 2003."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255450.1255455"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542478"},{"key":"e_1_3_2_1_23_1","first-page":"2","author":"Talpin Jean-Pierre","year":"1992","unstructured":"Jean-Pierre Talpin and Pierre Jouvelot . Polymorphic type, region and effect inference. ph JFP , 2 , 1992 . Jean-Pierre Talpin and Pierre Jouvelot. Polymorphic type, region and effect inference. phJFP, 2, 1992.","journal-title":"JFP"}],"event":{"name":"PLDI '09: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Dublin Ireland","acronym":"PLDI '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542479","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542476.1542479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:56Z","timestamp":1750238996000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542479"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,15]]},"references-count":21,"alternative-id":["10.1145\/1542476.1542479","10.1145\/1542476"],"URL":"https:\/\/doi.org\/10.1145\/1542476.1542479","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1543135.1542479","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,6,15]]},"assertion":[{"value":"2009-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}