{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:51Z","timestamp":1750307211343,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,7,11]],"date-time":"2011-07-11T00:00:00Z","timestamp":1310342400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-1017206"],"award-info":[{"award-number":["CNS-1017206"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,7,11]]},"DOI":"10.1145\/2103799.2103808","type":"proceedings-article","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T16:47:19Z","timestamp":1327423639000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A virtual memory foundation for scalable deterministic parallelism"],"prefix":"10.1145","author":[{"given":"Yu","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Science and Technology of China"}]},{"given":"Bryan","family":"Ford","sequence":"additional","affiliation":[{"name":"Yale University"}]}],"member":"320","published-online":{"date-parts":[[2011,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.281"},{"key":"e_1_3_2_1_2_1","volume-title":"3rd HotPar","author":"Aviram Amittai","year":"2011","unstructured":"Amittai Aviram and Bryan Ford . Deterministic OpenMP for race-free parallelism . In 3rd HotPar , May 2011 . Amittai Aviram and Bryan Ford. Deterministic OpenMP for race-free parallelism. In 3rd HotPar, May 2011."},{"key":"e_1_3_2_1_3_1","volume-title":"2nd WoDet","author":"Aviram Amittai","year":"2011","unstructured":"Amittai Aviram , Bryan Ford , and Yu Zhang . Workspace Consistency : A programming model for shared memory parallelism . In 2nd WoDet , March 2011 . Amittai Aviram, Bryan Ford, and Yu Zhang. Workspace Consistency: A programming model for shared memory parallelism. In 2nd WoDet, March 2011."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866835.1866854"},{"key":"e_1_3_2_1_5_1","volume-title":"9th OSDI","author":"Aviram Amittai","year":"2010","unstructured":"Amittai Aviram , Shu-Chun Weng , Sen Hu , and Bryan Ford . Determinator : OS support for efficient deterministic parallelism . In 9th OSDI , October 2010 . Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford. Determinator: OS support for efficient deterministic parallelism. In 9th OSDI, October 2010."},{"key":"e_1_3_2_1_6_1","volume-title":"April","author":"Bellard Fabrice","year":"2005","unstructured":"Fabrice Bellard . QEMU , a fast and portable dynamic translator , April 2005 . Fabrice Bellard. QEMU, a fast and portable dynamic translator, April 2005."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736029"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640096"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640097"},{"key":"e_1_3_2_1_10_1","first-page":"173","volume-title":"3rd OSDI","author":"Castro Miguel","year":"1999","unstructured":"Miguel Castro and Barbara Liskov . Practical byzantine fault tolerance . In 3rd OSDI , pages 173 -- 186 , February 1999 . Miguel Castro and Barbara Liskov. Practical byzantine fault tolerance. In 3rd OSDI, pages 173--186, February 1999."},{"key":"e_1_3_2_1_11_1","volume-title":"9th OSDI","author":"Cui Heming","year":"2010","unstructured":"Heming Cui , Jingyue Wu , and Junfeng Yang . Stable deterministic multithreading through schedule memoization . In 9th OSDI , October 2010 . Heming Cui, Jingyue Wu, and Junfeng Yang. Stable deterministic multithreading through schedule memoization. In 9th OSDI, October 2010."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060309"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2006.878473"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403735"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238769"},{"key":"e_1_3_2_1_18_1","volume-title":"June","author":"Intel Corporation","year":"2005","unstructured":"Intel Corporation . IA-32 Intel architecture software developer's manual , June 2005 . Intel Corporation. IA-32 Intel architecture software developer's manual, June 2005."},{"key":"e_1_3_2_1_19_1","first-page":"471","volume-title":"Information Processing","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn . The semantics of a simple language for parallel programming . In Information Processing , pages 471 -- 475 , Amsterdam, Netherlands , 1974 . North-Holland. Gilles Kahn. The semantics of a simple language for parallel programming. In Information Processing, pages 471--475, Amsterdam, Netherlands, 1974. North-Holland."},{"key":"e_1_3_2_1_20_1","first-page":"1","volume-title":"USENIX","author":"King Samuel T.","year":"2005","unstructured":"Samuel T. King , George W. Dunlap , and Peter M. Chen . Debugging operating systems with time-traveling virtual machines . In USENIX , pages 1 -- 15 , April 2005 . Samuel T. King, George W. Dunlap, and Peter M. Chen. Debugging operating systems with time-traveling virtual machines. In USENIX, pages 1--15, April 2005."},{"key":"e_1_3_2_1_21_1","volume-title":"September","author":"Interface Forum Message Passing","year":"2009","unstructured":"Message Passing Interface Forum . MPI: A message-passing interface standard version 2.2 , September 2009 . Message Passing Interface Forum. MPI: A message-passing interface standard version 2.2, September 2009."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508256"},{"key":"e_1_3_2_1_23_1","volume-title":"2nd WoDet","author":"Olszewski Marek","year":"2011","unstructured":"Marek Olszewski , Jason Ansel , and Saman Amarasinghe . Scaling deterministic multithreading . In 2nd WoDet , March 2011 . Marek Olszewski, Jason Ansel, and Saman Amarasinghe. Scaling deterministic multithreading. In 2nd WoDet, March 2011."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCS.2005.34"}],"event":{"name":"APSys '11: Asia Pacific Workshop on Systems","sponsor":["USENIX Assoc USENIX Assoc","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Shanghai China","acronym":"APSys '11"},"container-title":["Proceedings of the Second Asia-Pacific Workshop on Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103799.2103808","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2103799.2103808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:36Z","timestamp":1750241196000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103799.2103808"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,11]]},"references-count":23,"alternative-id":["10.1145\/2103799.2103808","10.1145\/2103799"],"URL":"https:\/\/doi.org\/10.1145\/2103799.2103808","relation":{},"subject":[],"published":{"date-parts":[[2011,7,11]]},"assertion":[{"value":"2011-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}