{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T06:24:28Z","timestamp":1776925468291,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,27]],"date-time":"2015-07-27T00:00:00Z","timestamp":1437955200000},"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":[[2015,7,27]]},"DOI":"10.1145\/2797022.2797033","type":"proceedings-article","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T16:48:13Z","timestamp":1440607693000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["RepFrame"],"prefix":"10.1145","author":[{"given":"Heming","family":"Cui","sequence":"first","affiliation":[{"name":"The University of Hong Kong and Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Gu","sequence":"additional","affiliation":[{"name":"Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheng","family":"Liu","sequence":"additional","affiliation":[{"name":"Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junfeng","family":"Yang","sequence":"additional","affiliation":[{"name":"Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ZooKeeper. http:\/\/hadoop.apache.org\/zookeeper\/.  ZooKeeper. http:\/\/hadoop.apache.org\/zookeeper\/."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10)","author":"Aviram A.","year":"2010","unstructured":"A. Aviram , S.-C. Weng , S. Hu , and B. Ford . Efficient system-enforced deterministic parallelism . In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10) , Oct. 2010 . A. Aviram, S.-C. Weng, S. Hu, and B. Ford. Efficient system-enforced deterministic parallelism. In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10), Oct. 2010."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736029"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10)","author":"Bergan T.","year":"2010","unstructured":"T. Bergan , N. Hunt , L. Ceze , and S. D. Gribble . Deterministic process groups in dOS . In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10) , Oct. 2010 . T. Bergan, N. Hunt, L. Ceze, and S. D. Gribble. Deterministic process groups in dOS. In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10), Oct. 2010."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509508"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640097"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224058"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298487"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the USENIX Annual Technical Conference (USENIX '08)","author":"Chow J.","year":"2008","unstructured":"J. Chow , T. Garfinkel , and P. M. Chen . Decoupling dynamic program analysis from execution in virtual environments . In Proceedings of the USENIX Annual Technical Conference (USENIX '08) , June 2008 . J. Chow, T. Garfinkel, and P. M. Chen. Decoupling dynamic program analysis from execution in virtual environments. In Proceedings of the USENIX Annual Technical Conference (USENIX '08), June 2008."},{"key":"e_1_3_2_1_11_1","unstructured":"Clam AntiVirus. http:\/\/www.clamav.net\/.  Clam AntiVirus. http:\/\/www.clamav.net\/."},{"key":"e_1_3_2_1_12_1","volume-title":"http:\/\/criu.org","year":"2015","unstructured":"criu. Criu. http:\/\/criu.org , 2015 . criu. Criu. http:\/\/criu.org, 2015."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10)","author":"Cui H.","year":"2010","unstructured":"H. Cui , J. Wu , C.-C. Tsai , and J. Yang . Stable deterministic multithreading through schedule memoization . In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10) , Oct. 2010 . H. Cui, J. Wu, C.-C. Tsai, and J. Yang. Stable deterministic multithreading through schedule memoization. In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10), Oct. 2010."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043588"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522735"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815427"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10)","author":"Erickson J.","year":"2010","unstructured":"J. Erickson , M. Musuvathi , S. Burckhardt , and K. Olynyk . Effective data-race detection for the kernel . In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10) , Oct. 2010 . J. Erickson, M. Musuvathi, S. Burckhardt, and K. Olynyk. Effective data-race detection for the kernel. In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10), Oct. 2010."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592800"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640101"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451170"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516704"},{"key":"e_1_3_2_1_23_1","first-page":"237","volume-title":"Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI '12)","volume":"12","author":"Kapritsos M.","year":"2012","unstructured":"M. Kapritsos , Y. Wang , V. Quema , A. Clement , L. Alvisi , M. Dahlin , All about eve: Execute-verify replication for multi-core servers . In Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI '12) , volume 12 , pages 237 -- 250 , 2012 . M. Kapritsos, Y. Wang, V. Quema, A. Clement, L. Alvisi, M. Dahlin, et al. All about eve: Execute-verify replication for multi-core servers. In Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI '12), volume 12, pages 237--250, 2012."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811099.1811057"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043589"},{"key":"e_1_3_2_1_26_1","unstructured":"L. Lamport. Paxos made simple. http:\/\/research.microsoft.com\/en-us\/um\/people\/lamport\/pubs\/paxos-simple.pdf.  L. Lamport. Paxos made simple. http:\/\/research.microsoft.com\/en-us\/um\/people\/lamport\/pubs\/paxos-simple.pdf."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736031"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043587"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_32_1","first-page":"369","volume-title":"Proceedings of the 8th USENIX conference on Operating systems design and implementation","volume":"8","author":"Mao Y.","year":"2008","unstructured":"Y. Mao , F. P. Junqueira , and K. Marzullo . Mencius: building efficient replicated state machines for wans . In Proceedings of the 8th USENIX conference on Operating systems design and implementation , volume 8 , pages 369 -- 384 , 2008 . Y. Mao, F. P. Junqueira, and K. Marzullo. Mencius: building efficient replicated state machines for wans. In Proceedings of the 8th USENIX conference on Operating systems design and implementation, volume 8, pages 369--384, 2008."},{"key":"e_1_3_2_1_33_1","volume-title":"Technical report","author":"Mazieres D.","year":"2007","unstructured":"D. Mazieres . Paxos made practical. Technical report , Technical report , 2007 . http:\/\/www. scs. Stanford . edu\/dm\/home\/papers, 2007. D. Mazieres. Paxos made practical. Technical report, Technical report, 2007. http:\/\/www. scs. Stanford. edu\/dm\/home\/papers, 2007."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346321"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508256"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.29"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.14778\/1938545.1938549"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_41_1","volume-title":"https:\/\/code.google.com\/p\/data-race-test\/wiki\/ThreadSanitizer","year":"2015","unstructured":"tsan. Threadsanitizer. https:\/\/code.google.com\/p\/data-race-test\/wiki\/ThreadSanitizer , 2015 . tsan. Threadsanitizer. https:\/\/code.google.com\/p\/data-race-test\/wiki\/ThreadSanitizer, 2015."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2007.37"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451120"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736038"}],"event":{"name":"APSys '15: Asia-Pacific Workshop on Systems","location":"Tokyo Japan","acronym":"APSys '15","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 6th Asia-Pacific Workshop on Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2797022.2797033","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2797022.2797033","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:28Z","timestamp":1750225408000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2797022.2797033"}},"subtitle":["An Efficient and Transparent Framework for Dynamic Program Analysis"],"short-title":[],"issued":{"date-parts":[[2015,7,27]]},"references-count":43,"alternative-id":["10.1145\/2797022.2797033","10.1145\/2797022"],"URL":"https:\/\/doi.org\/10.1145\/2797022.2797033","relation":{},"subject":[],"published":{"date-parts":[[2015,7,27]]},"assertion":[{"value":"2015-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}