{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T18:50:28Z","timestamp":1790275828511,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":74,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,1,26]],"date-time":"2018-01-26T00:00:00Z","timestamp":1516924800000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1150036,CCF-1218017,XPS-1439062,CCF-1150013,CCF-1439126,CCF-1527692"],"award-info":[{"award-number":["CCF-1150036,CCF-1218017,XPS-1439062,CCF-1150013,CCF-1439126,CCF-1527692"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy","doi-asserted-by":"publisher","award":["DE-SC0010295"],"award-info":[{"award-number":["DE-SC0010295"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,1,26]]},"DOI":"10.1145\/3018743.3018764","type":"proceedings-article","created":{"date-parts":[[2017,1,27]],"date-time":"2017-01-27T13:41:04Z","timestamp":1485524464000},"page":"145-161","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Processor-Oblivious Record and Replay"],"prefix":"10.1145","author":[{"given":"Robert","family":"Utterback","sequence":"first","affiliation":[{"name":"Washington University in St. Louis, St. Louis, MO, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kunal","family":"Agrawal","sequence":"additional","affiliation":[{"name":"Washington University in St. Louis, St. Louis, MO, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"I-Ting Angelina","family":"Lee","sequence":"additional","affiliation":[{"name":"Washington University in St. Louis, St. Louis, MO, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Milind","family":"Kulkarni","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,1,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2612669.2612688"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629594"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/277651.277678"},{"key":"e_1_3_2_1_4_1","first-page":"1","volume-title":"Efficient System-Enforced Deterministic Parallelism. In USENIX Symposium on Operating Systems Design and Implementation","author":"Aviram A.","year":"2010","unstructured":"A. Aviram, S.-C. Weng, S. Hu, and B. Ford. Efficient System-Enforced Deterministic Parallelism. In USENIX Symposium on Operating Systems Design and Implementation, pages 1--16, 2010."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/301250.301304"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2008.105"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795288490"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1639989"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007912.1007933"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736029"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924956"},{"key":"e_1_3_2_1_12_1","unstructured":"E. D. Berger T. Yang T. Liu and G. Novark. Grace: Safe Multithreaded Programming for C\/C"},{"key":"e_1_3_2_1_13_1","first-page":"81","volume-title":"ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications","year":"2009","unstructured":". In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 81--96, 2009. http:\/\/doi.acm.org\/10.1145\/1640089.1640096."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 3rd Workshop on Emerging Applications and Many-core Architecture","author":"Bienia C.","year":"2010","unstructured":"C. Bienia and K. Li. Characteristics of workloads using the pipeline programming model. In Proceedings of the 3rd Workshop on Emerging Applications and Many-core Architecture, June 2010."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454128"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145840"},{"key":"e_1_3_2_1_17_1","unstructured":"R. D. Blumofe. Executing Multithreaded Programs Efficiently. PhD thesis Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology Cambridge Massachusetts Sept. 1995. Available as MIT Laboratory for Computer Science Technical Report MIT\/LCS\/TR-677."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/324133.324234"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1996.0107"},{"key":"e_1_3_2_1_20_1","first-page":"4","volume-title":"USENIX Conference on Hot Topics in Parallelism","author":"Bocchino R. L.","year":"2009","unstructured":"R. L. Bocchino, Jr., V. S. Adve, S. V. Adve, and M. Snir. Parallel Programming Must Be Deterministic by Default. In USENIX Conference on Hot Topics in Parallelism, pages 4--9, 2009."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807426.2807434"},{"key":"e_1_3_2_1_22_1","volume-title":"USA","author":"Bryant R. E.","year":"2015","unstructured":"R. E. Bryant and D. R. O'Hallaron. Computer Systems: A Programmer's Perspective. Pearson, USA, 3rd edition, 2015.","edition":"3"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869515"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093157.2093165"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094852"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/277651.277696"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950376"},{"key":"e_1_3_2_1_29_1","first-page":"43","volume-title":"Programming Languages","author":"Dijkstra E. W.","year":"1968","unstructured":"E. W. Dijkstra. Co-operating sequential processes. In F. Genuys, editor, Programming Languages, pages 43--112. Academic Press, London, England, 1968. Originally published as Technical Report EWD-123, Technological University, Eindhoven, the Netherlands, 1965."},{"key":"e_1_3_2_1_30_1","first-page":"121","volume-title":"Execution Replay of Multiprocessor Virtual Machines. In ACM\/USENIX International Conference on Virtual Execution Environments","author":"Dunlap G. W.","year":"2008","unstructured":"G. W. Dunlap, D. G. Lucchetti, M. A. Fetterman, and P. M. Chen. Execution Replay of Multiprocessor Virtual Machines. In ACM\/USENIX International Conference on Virtual Execution Environments, pages 121--130, 2008. http:\/\/doi.acm.org\/10.1145\/1346256.1346273."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/258492.258493"},{"key":"e_1_3_2_1_32_1","unstructured":"J. T. Fineman and C. E. Leiserson. Race detectors for Cilk and Cilk"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09766-4_494"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277725"},{"key":"e_1_3_2_1_35_1","unstructured":"M. Frigo P. Halpern C. E. Leiserson and S. Lewin-Berlin. Reducers and other Cilk"},{"key":"e_1_3_2_1_36_1","first-page":"79","volume-title":"21st Annual ACM Symposium on Parallelism in Algorithms and Architectures","year":"2009","unstructured":"hyperobjects. In 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, pages 79--90, 2009."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.579"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810479.1810509"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516046.1516068"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462167"},{"key":"e_1_3_2_1_41_1","volume-title":"Information technology -- Portable Operating System Interface (POSIX) -- Part 1: System application program interface (API) [C language]","author":"]Posix97Institute of Electrical and Electronic Engineers.","year":"1996","unstructured":"]Posix97Institute of Electrical and Electronic Engineers. Information technology -- Portable Operating System Interface (POSIX) -- Part 1: System application program interface (API) [C language]. IEEE Standard 1003.1, 1996 Edition."},{"key":"e_1_3_2_1_42_1","unstructured":"TBB. Intel(R) Threading Building Blocks. Intel Corporation 2009. Available from http:\/\/www.threadingbuildingblocks.org\/documentation.php."},{"key":"e_1_3_2_1_43_1","volume-title":"Intel Cilk Plus Language Specification","year":"2010","unstructured":"Intel. Intel Cilk Plus Language Specification. Intel Corporation, 2010. Document Number: 324396-001US. Available from http:\/\/software.intel.com\/sites\/products\/cilk-plus\/cilk_plus_language_specification.pdf."},{"key":"e_1_3_2_1_44_1","first-page":"155","volume-title":"Lightweight Application Execution Replay on Commodity Multiprocessor Operating Systems. In ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems","author":"Laadan O.","year":"2010","unstructured":"O. Laadan, N. Viennot, and J. Nieh. Transparent, Lightweight Application Execution Replay on Commodity Multiprocessor Operating Systems. In ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, pages 155--166, 2010. ISBN 978-1-4503-0038-4. 10.1145\/1811039.1811057. URL http:\/\/doi.acm.org\/10.1145\/1811039.1811057."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736031"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254119"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755573.2755599"},{"key":"e_1_3_2_1_49_1","volume-title":"MSDN Magazine","author":"Leijen D.","year":"2007","unstructured":"D. Leijen and J. Hall. Optimize managed code for multi-core machines. MSDN Magazine, 2007. Available from http:\/\/msdn.microsoft.com\/magazine\/."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145841"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738001"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043587"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125861"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2935764.2935793"},{"key":"e_1_3_2_1_56_1","first-page":"229","volume-title":"Recording Shared Memory Dependencies Using Strata. In ACM International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Narayanasamy S.","year":"2006","unstructured":"S. Narayanasamy, C. Pereira, and B. Calder. Recording Shared Memory Dependencies Using Strata. In ACM International Conference on Architectural Support for Programming Languages and Operating Systems, pages 229--240, 2006. http:\/\/doi.acm.org\/10.1145\/1168857.1168886."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541964"},{"key":"e_1_3_2_1_58_1","first-page":"97","volume-title":"Kendo: Efficient Deterministic Multithreading in Software. In ACM International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Olszewski M.","year":"2009","unstructured":"M. Olszewski, J. Ansel, and S. Amarasinghe. Kendo: Efficient Deterministic Multithreading in Software. In ACM International Conference on Architectural Support for Programming Languages and Operating Systems, pages 97--108, 2009. http:\/\/doi.acm.org\/10.1145\/1508244.1508256."},{"key":"e_1_3_2_1_59_1","first-page":"177","volume-title":"PRES: Probabilistic Replay with Execution Sketching on Multiprocessors. In ACM Symposium on Operating Systems Principles","author":"Park S.","year":"2009","unstructured":"S. Park, Y. Zhou, W. Xiong, Z. Yin, R. Kaushik, K. H. Lee, and S. Lu. PRES: Probabilistic Replay with Execution Sketching on Multiprocessors. In ACM Symposium on Operating Systems Principles, pages 177--192, 2009. http:\/\/doi.acm.org\/10.1145\/1629575.1629593."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772958"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669183"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_28"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254127"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291893"},{"key":"e_1_3_2_1_65_1","volume-title":"Feb.","author":"Robison A. D.","year":"2013","unstructured":"A. D. Robison. Cilk Plus solver for a chess puzzle or: How i learned to love fast rejection. https:\/\/software.intel.com\/en-us\/articles\/cilk-plus-solver-for-a-chess-puzzle-or-how-i-learned-to-love-rejection, Feb. 2013."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755573.2755603"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2312005.2312018"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1504176.1504210"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2935764.2935801"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950370"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859633"},{"key":"e_1_3_2_1_73_1","first-page":"30","volume-title":"ORDER: Object Centric Deterministic Replay for Java. In USENIX Annual Technical Conference","author":"Yang Z.","year":"2011","unstructured":"Z. Yang, M. Yang, L. Xu, H. Chen, and B. Zang. ORDER: Object Centric Deterministic Replay for Java. In USENIX Annual Technical Conference, pages 30--30, 2011."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29778-1_5"}],"event":{"name":"PPoPP '17: 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"Austin Texas USA","acronym":"PPoPP '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018743.3018764","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3018743.3018764","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3018743.3018764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:40:34Z","timestamp":1763458834000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018743.3018764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,26]]},"references-count":74,"alternative-id":["10.1145\/3018743.3018764","10.1145\/3018743"],"URL":"https:\/\/doi.org\/10.1145\/3018743.3018764","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3155284.3018764","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,1,26]]},"assertion":[{"value":"2017-01-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}