{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:14Z","timestamp":1772163974482,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,4,18]]},"DOI":"10.1145\/1217935.1217946","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T15:41:00Z","timestamp":1175787660000},"page":"103-115","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["The SMART way to migrate replicated stateful services"],"prefix":"10.1145","author":[{"given":"Jacob R.","family":"Lorch","sequence":"first","affiliation":[{"name":"Microsoft Research"}]},{"given":"Atul","family":"Adya","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"William J.","family":"Bolosky","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Ronnie","family":"Chaiken","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"John R.","family":"Douceur","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Jon","family":"Howell","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]}],"member":"320","published-online":{"date-parts":[[2006,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060291"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/323647.323636"},{"key":"e_1_3_2_1_3_1","first-page":"173","volume-title":"Proc. 3rd OSDI","author":"Castro M.","year":"1999","unstructured":"M. Castro and B. Liskov . Practical Byzantine fault tolerance . In Proc. 3rd OSDI , pages 173 -- 186 , New Orleans, LA , Feb. 1999 . M. Castro and B. Liskov. Practical Byzantine fault tolerance. In Proc. 3rd OSDI, pages 173--186, New Orleans, LA, Feb. 1999."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/503112.503113"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/829523.831002"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/227210.227227"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060304"},{"key":"e_1_3_2_1_8_1","first-page":"130","volume-title":"Proc. 16th SRDS","author":"Friedman R.","year":"1997","unstructured":"R. Friedman and A. Vaysburd . Fast replicated state machines over part it ionable networks . In Proc. 16th SRDS , pages 130 -- 137 , Durham, NC , Oct. 1997 . R. Friedman and A. Vaysburd. Fast replicated state machines over part it ionable networks. In Proc. 16th SRDS, pages 130--137, Durham, NC, Oct. 1997."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945450"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/795669.796767"},{"key":"e_1_3_2_1_11_1","volume-title":"Microsoft Research","author":"Howell J.","year":"2005","unstructured":"J. Howell and J. Douceur . Replicated virtual machines. Technical report MSR-TR-2005-119 , Microsoft Research , 2005 . J. Howell and J. Douceur. Replicated virtual machines. Technical report MSR-TR-2005-119, Microsoft Research, 2005."},{"key":"e_1_3_2_1_12_1","volume-title":"Microsoft Research","author":"Howell J.","year":"2004","unstructured":"J. Howell , J. R. Lorch , and J. Douceur . Correctness of Paxos with replica-set-specific views. Technical report MSR-TR-2004-45 , Microsoft Research , 2004 . J. Howell, J. R. Lorch, and J. Douceur. Correctness of Paxos with replica-set-specific views. Technical report MSR-TR-2004-45, Microsoft Research, 2004."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"issue":"4","key":"e_1_3_2_1_14_1","first-page":"18","article-title":"Paxos made simple","volume":"32","author":"Lamport L.","year":"2001","unstructured":"L. Lamport . Paxos made simple . ACM SIGACT News , 32 ( 4 ): 18 -- 25 , Dec. 2001 . L. Lamport. Paxos made simple. ACM SIGACT News, 32(4):18--25, Dec. 2001.","journal-title":"ACM SIGACT News"},{"key":"e_1_3_2_1_15_1","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport L.","year":"2003","unstructured":"L. Lamport . Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers . Addison Wesley , 2003 . L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison Wesley, 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/237090.237157"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645959.676144"},{"key":"e_1_3_2_1_18_1","first-page":"105","volume-title":"Proc. 6th OSDI","author":"MacCormick J.","year":"2004","unstructured":"J. MacCormick , N. Murphy , M. Najork , C. A. Thekkath , and L. Zhou . Boxwood: Abstractions as the foundation for storage infrastructure . In Proc. 6th OSDI , pages 105 -- 120 , San Francisco, CA , Dec. 2004 . J. MacCormick, N. Murphy, M. Najork, C. A. Thekkath, and L. Zhou. Boxwood: Abstractions as the foundation for storage infrastructure. In Proc. 6th OSDI, pages 105--120, San Francisco, CA, Dec. 2004."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009382.1009747"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502037"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_23_1","volume-title":"Personal communication","author":"Thekkath C. A.","year":"2005","unstructured":"C. A. Thekkath . Personal communication . 2005 . C. A. Thekkath. Personal communication. 2005."},{"key":"e_1_3_2_1_24_1","first-page":"91","volume-title":"Proc. 6th OSDI","author":"van Renesse R.","year":"2004","unstructured":"R. van Renesse and F. B. Schneider . Chain replication for supporting high throughput and availability . In Proc. 6th OSDI , pages 91 -- 104 , San Francisco, CA , Dec. 2004 . R. van Renesse and F. B. Schneider. Chain replication for supporting high throughput and availability. In Proc. 6th OSDI, pages 91--104, San Francisco, CA, Dec. 2004."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945470"},{"key":"e_1_3_2_1_26_1","first-page":"323","volume-title":"Proc. 1st NSDI","author":"Yu H.","year":"2004","unstructured":"H. Yu and A. Vahdat . Consistent and automatic replica regeneration . In Proc. 1st NSDI , pages 323 -- 336 , San Francisco, CA , Mar. 2004 . H. Yu and A. Vahdat. Consistent and automatic replica regeneration. In Proc. 1st NSDI, pages 323--336, San Francisco, CA, Mar. 2004."}],"event":{"name":"EUROSYS06: Eurosys 2006 Conference","location":"Leuven Belgium","acronym":"EUROSYS06","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 1st ACM SIGOPS\/EuroSys European Conference on Computer Systems 2006"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1217935.1217946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T07:31:45Z","timestamp":1693812705000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1217935.1217946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,4,18]]},"references-count":25,"alternative-id":["10.1145\/1217935.1217946","10.1145\/1217935"],"URL":"https:\/\/doi.org\/10.1145\/1217935.1217946","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1218063.1217946","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,4,18]]},"assertion":[{"value":"2006-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}