{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:03Z","timestamp":1772164023779,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,27]],"date-time":"2010-09-27T00:00:00Z","timestamp":1285545600000},"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":[[2010,9,27]]},"DOI":"10.1145\/1863543.1863550","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T13:41:50Z","timestamp":1285681310000},"page":"27-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["ReCaml"],"prefix":"10.1145","author":[{"given":"J\u00e9r\u00e9my","family":"Buisson","sequence":"first","affiliation":[{"name":"Universit\u00e9 Europ\u00e9enne de Bretagne \/ Ecoles de St-Cyr Co\u00ebtquidan \/ VALORIA, Guer, France"}]},{"given":"Fabien","family":"Dagnat","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Europ\u00e9enne de Bretagne \/ Institut T\u00e9l\u00e9com \/ T\u00e9l\u00e9com Bretagne, Brest, France"}]}],"member":"320","published-online":{"date-parts":[[2010,9,27]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"287","volume-title":"USENIX Security Symposium","author":"Altekar Gautam","year":"2005","unstructured":"}} Gautam Altekar , Ilya Bagrak , Paul Burstein , and Andrew Schultz . Opus : online patches and updates for security . In USENIX Security Symposium , pages 287 -- 302 , Baltimore, Maryland, USA , August 2005 . }}Gautam Altekar, Ilya Bagrak, Paul Burstein, and Andrew Schultz. Opus: online patches and updates for security. In USENIX Security Symposium, pages 287--302, Baltimore, Maryland, USA, August 2005."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/223428.207134"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.421.0060"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519085"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1784774.1784797"},{"key":"e_1_3_2_2_6_1","unstructured":"}}Brian Aydemir Aaron Bohannon Benjamin Pierce Jeffrey Vaughan Dimitrios Vytiniotis Stephanie Weirich and Steve Zdancewic. Using proof assistants for programming language research or how to write your next popl paper in coq. http:\/\/www.cis.upenn.edu\/~plclub\/popl08-tutorial\/ 2008. POPL 2008 tutorial.  }}Brian Aydemir Aaron Bohannon Benjamin Pierce Jeffrey Vaughan Dimitrios Vytiniotis Stephanie Weirich and Steve Zdancewic. Using proof assistants for programming language research or how to write your next popl paper in coq. http:\/\/www.cis.upenn.edu\/~plclub\/popl08-tutorial\/ 2008. POPL 2008 tutorial."},{"key":"e_1_3_2_2_7_1","volume-title":"USENIX Annual Technical Conference","author":"Baumann Andrew","year":"2007","unstructured":"}} Andrew Baumann , Jonathan Appavoo , Robert Wisniewski , Dilma Da Silva , Orran Krieger , and Gernot Heiser . Reboots are for hardware: challenges and solutions to updating an operating system on the fly . In USENIX Annual Technical Conference , Santa Clara, California, USA , June 2007 . }}Andrew Baumann, Jonathan Appavoo, Robert Wisniewski, Dilma Da Silva, Orran Krieger, and Gernot Heiser. Reboots are for hardware: challenges and solutions to updating an operating system on the fly. In USENIX Annual Technical Conference, Santa Clara, California, USA, June 2007."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944715"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v36:11\/12"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1490283.1490289"},{"key":"e_1_3_2_2_11_1","unstructured":"}}Acacio Cruz. Official Gmail Blog: Update on today's Gmail outage. http:\/\/gmailblog.blogspot.com\/2009\/02\/update-on-todays-gmail-outage.html February 2009.  }}Acacio Cruz. Official Gmail Blog: Update on today's Gmail outage. http:\/\/gmailblog.blogspot.com\/2009\/02\/update-on-todays-gmail-outage.html February 2009."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006259"},{"key":"e_1_3_2_2_14_1","unstructured":"}}Ericsson AB. Erlang 5.6.3 Reference manual chapter 12. Compilation and code loading. 2008. http:\/\/www.erlang.org\/doc\/reference_manual\/part_frame.html.  }}Ericsson AB. Erlang 5.6.3 Reference manual chapter 12. Compilation and code loading. 2008. http:\/\/www.erlang.org\/doc\/reference_manual\/part_frame.html."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73576"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224173"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.485222"},{"key":"e_1_3_2_2_19_1","volume-title":"Method and system for program editing and debugging in a common language runtime environment. Patent US7516441","author":"Hamilton Jennifer","year":"2009","unstructured":"}} Jennifer Hamilton , Michael Magruder , James Hogg , William Evans , Vance Morrison , Lawrence Sullivan , Sean Trowbridge , Jason Zander , Ian Carmichael , Patrick Dussud , John Hamby , John Rivard , Li Zhang , Mario Chenier , Douglas Rosen , Steven Steiner , Peter Hallam , Brian Crawford , James Miller , Sam Spencer , and Habib Heydarian . Method and system for program editing and debugging in a common language runtime environment. Patent US7516441 , Microsoft Corporation , April 2009 . }}Jennifer Hamilton, Michael Magruder, James Hogg, William Evans, Vance Morrison, Lawrence Sullivan, Sean Trowbridge, Jason Zander, Ian Carmichael, Patrick Dussud, John Hamby, John Rivard, Li Zhang, Mario Chenier, Douglas Rosen, Steven Steiner, Peter Hallam, Brian Crawford, James Miller, Sam Spencer, and Habib Heydarian. Method and system for program editing and debugging in a common language runtime environment. Patent US7516441, Microsoft Corporation, April 2009."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1993.287718"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.60317"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158632"},{"key":"e_1_3_2_2_25_1","volume-title":"USENIX Annual Technical Conference","author":"Makris Kristis","year":"2009","unstructured":"}} Kristis Makris and Rida Bazzi . Multi-threaded dynamic software updates using stack reconstruction . In USENIX Annual Technical Conference , San Diego, California, USA , June 2009 . }}Kristis Makris and Rida Bazzi. Multi-threaded dynamic software updates using stack reconstruction. In USENIX Annual Technical Conference, San Diego, California, USA, June 2009."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273031"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806005995"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133991"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086393"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596552"},{"key":"e_1_3_2_2_31_1","volume-title":"Software foundations","author":"Pierce Benjamin","year":"2010","unstructured":"}} Benjamin Pierce , Chris Casinghino , and Michael Greenberg . Software foundations . 2010 . http:\/\/www.cis.upenn.edu\/~bcpierce\/sf\/. }}Benjamin Pierce, Chris Casinghino, and Michael Greenberg. Software foundations. 2010. http:\/\/www.cis.upenn.edu\/~bcpierce\/sf\/."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596596"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006600"},{"key":"e_1_3_2_2_34_1","volume-title":"ACM SIGPLAN Scheme Workshop","author":"Shan Chung-Chieh","year":"2004","unstructured":"}} Chung-Chieh Shan . Shift to control . In ACM SIGPLAN Scheme Workshop , Snowbird, Utah, USA , September 2004 . }}Chung-Chieh Shan. Shift to control. In ACM SIGPLAN Scheme Workshop, Snowbird, Utah, USA, September 2004."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90018-D"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70733"}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","location":"Baltimore Maryland USA","acronym":"ICFP '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 15th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863543.1863550","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863543.1863550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:39:52Z","timestamp":1750232392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863543.1863550"}},"subtitle":["execution state as the cornerstone of reconfigurations"],"short-title":[],"issued":{"date-parts":[[2010,9,27]]},"references-count":32,"alternative-id":["10.1145\/1863543.1863550","10.1145\/1863543"],"URL":"https:\/\/doi.org\/10.1145\/1863543.1863550","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1932681.1863550","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,9,27]]},"assertion":[{"value":"2010-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}