{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:52Z","timestamp":1750307152887,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,23]],"date-time":"2011-10-23T00:00:00Z","timestamp":1319328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-07-1-0527"],"award-info":[{"award-number":["FA9550-07-1-0527"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8650-10-C-7024FA8750-10-2-0253"],"award-info":[{"award-number":["FA8650-10-C-7024FA8750-10-2-0253"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-1117805CNS-1054906 (CAREER)CNS-1012633CNS-0914845CNS-0905246"],"award-info":[{"award-number":["CNS-1117805CNS-1054906 (CAREER)CNS-1012633CNS-0914845CNS-0905246"]}],"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,10,23]]},"DOI":"10.1145\/2043556.2043589","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T12:23:06Z","timestamp":1319545386000},"page":"353-367","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Pervasive detection of process races in deployed systems"],"prefix":"10.1145","author":[{"given":"Oren","family":"Laadan","sequence":"first","affiliation":[{"name":"Columbia University"}]},{"given":"Nicolas","family":"Viennot","sequence":"additional","affiliation":[{"name":"Columbia University"}]},{"given":"Chia-Che","family":"Tsai","sequence":"additional","affiliation":[{"name":"Columbia University"}]},{"given":"Chris","family":"Blinn","sequence":"additional","affiliation":[{"name":"Columbia University"}]},{"given":"Junfeng","family":"Yang","sequence":"additional","affiliation":[{"name":"Columbia University"}]},{"given":"Jason","family":"Nieh","sequence":"additional","affiliation":[{"name":"Columbia University"}]}],"member":"320","published-online":{"date-parts":[[2011,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"All resource races studied. http:\/\/rcs.cs.columbia.edu\/projects\/racepro\/.  All resource races studied. http:\/\/rcs.cs.columbia.edu\/projects\/racepro\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Launchpad Software Collaboration Platform. https:\/\/launchpad.net\/.  Launchpad Software Collaboration Platform. https:\/\/launchpad.net\/."},{"key":"e_1_3_2_1_3_1","unstructured":"The Debian Almquist Shell. http:\/\/gondor.apana.org.au\/~herbert\/dash\/.  The Debian Almquist Shell. http:\/\/gondor.apana.org.au\/~herbert\/dash\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Upstart: an Event-Based Replacement for System V Init Scripts. http:\/\/upstart.ubuntu.com\/.  Upstart: an Event-Based Replacement for System V Init Scripts. http:\/\/upstart.ubuntu.com\/."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 9th 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 9th 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 9th Symposium on Operating Systems Design and Implementation (OSDI '10), Oct. 2010."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 9th 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 9th 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 9th Symposium on Operating Systems Design and Implementation (OSDI '10), Oct. 2010."},{"key":"e_1_3_2_1_7_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_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.13"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 9th 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 9th 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 9th Symposium on Operating Systems Design and Implementation (OSDI '10), Oct. 2010."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346273"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966465"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950394"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI '08)","author":"Guo Z.","year":"2008","unstructured":"Z. Guo , X. Wang , J. Tang , X. Liu , Z. Xu , M. Wu , M. F. Kaashoek , and Z. Zhang . R2: An Application-Level Kernel for Record and Replay . In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI '08) , Dec. 2008 . Z. Guo, X. Wang, J. Tang, X. Liu, Z. Xu, M. Wu, M. F. Kaashoek, and Z. Zhang. R2: An Application-Level Kernel for Record and Replay. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI '08), Dec. 2008."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 13th USENIX Workshop on Hot Topics in Operating Systems (HOTOS '11)","author":"Laadan O.","year":"2011","unstructured":"O. Laadan , C.-C. Tsai , N. Viennot , C. Blinn , P. S. Du , J. Yang , and J. Nieh . Finding Concurrency Errors in Sequential Code---OS-level, In-vivo Model Checking of Process Races . In Proceedings of the 13th USENIX Workshop on Hot Topics in Operating Systems (HOTOS '11) , May 2011 . O. Laadan, C.-C. Tsai, N. Viennot, C. Blinn, P. S. Du, J. Yang, and J. Nieh. Finding Concurrency Errors in Sequential Code---OS-level, In-vivo Model Checking of Process Races. In Proceedings of the 13th USENIX Workshop on Hot Topics in Operating Systems (HOTOS '11), May 2011."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811039.1811057"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 32nd Annual Symposium on Principles of Programming Languages (POPL '05)","author":"Mattern F.","year":"1988","unstructured":"F. Mattern . Dynamic Partial-Order Reduction for Model Checking Software . In Proceedings of the 32nd Annual Symposium on Principles of Programming Languages (POPL '05) , Oct. 1988 . F. Mattern. Dynamic Partial-Order Reduction for Model Checking Software. In Proceedings of the 32nd Annual Symposium on Principles of Programming Languages (POPL '05), Oct. 1988."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI '08)","author":"Musuvathi M.","year":"2008","unstructured":"M. Musuvathi , S. Qadeer , T. Ball , G. Basler , P. A. Nainar , and I. Neamtiu . Finding and Reproducing Heisenbugs in Concurrent Programs . In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI '08) , Dec. 2008 . M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and Reproducing Heisenbugs in Concurrent Programs. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI '08), Dec. 2008."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250738"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346321"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060323"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629591"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 2006 Linux Symposium","author":"Quigley D. P.","year":"2006","unstructured":"D. P. Quigley , J. Sipek , C. P. Wright , and E. Zadok . UnionFS: User- and Community-oriented Development of a Unification Filesystem . In Proceedings of the 2006 Linux Symposium , July 2006 . D. P. Quigley, J. Sipek, C. P. Wright, and E. Zadok. UnionFS: User- and Community-oriented Development of a Unification Filesystem. In Proceedings of the 2006 Linux Symposium, July 2006."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the USENIX Annual Technical Conference (USENIX '04)","author":"Srinivasan S. M.","year":"2004","unstructured":"S. M. Srinivasan , S. Kandula , C. R. Andrews , and Y. Zhou . Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging . In Proceedings of the USENIX Annual Technical Conference (USENIX '04) , June 2004 . S. M. Srinivasan, S. Kandula, C. R. Andrews, and Y. Zhou. Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging. In Proceedings of the USENIX Annual Technical Conference (USENIX '04), June 2004."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1364813.1364826"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251353.1251370"},{"key":"e_1_3_2_1_34_1","unstructured":"University of California at Berkeley. Open-Source Software for Volunteer Computing and Grid Computing. http:\/\/boinc.berkeley.edu\/.  University of California at Berkeley. Open-Source Software for Volunteer Computing and Grid Computing. http:\/\/boinc.berkeley.edu\/."},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 4th USENIX Conference on File and Storage Technologies (FAST '05)","author":"Wei J.","year":"2005","unstructured":"J. Wei and C. Pu . TOCTTOU Vulnerabilities in UNIX-Style File Systems: an Anatomical Study . In Proceedings of the 4th USENIX Conference on File and Storage Technologies (FAST '05) , Dec. 2005 . J. Wei and C. Pu. TOCTTOU Vulnerabilities in UNIX-Style File Systems: an Anatomical Study. In Proceedings of the 4th USENIX Conference on File and Storage Technologies (FAST '05), Dec. 2005."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924953"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the 6th Symposium on Networked Systems Design and Implementation (NSDI '09)","author":"Yabandeh M.","year":"2009","unstructured":"M. Yabandeh , N. Knezevic , D. Kostic , and V. Kuncak . CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems . In Proceedings of the 6th Symposium on Networked Systems Design and Implementation (NSDI '09) , Apr. 2009 . M. Yabandeh, N. Knezevic, D. Kostic, and V. Kuncak. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. In Proceedings of the 6th Symposium on Networked Systems Design and Implementation (NSDI '09), Apr. 2009."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"},{"key":"e_1_3_2_1_39_1","volume-title":"Delivering Signals for Fun and Profit","author":"Zalewski M.","year":"2001","unstructured":"M. Zalewski . Delivering Signals for Fun and Profit . Bindview Corporation , 2001 . M. Zalewski. Delivering Signals for Fun and Profit. Bindview Corporation, 2001."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950395"}],"event":{"name":"SOSP '11: ACM SIGOPS 23nd Symposium on Operating Systems Principles","sponsor":["INESC Systems and Computer Engineering Institute","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Cascais Portugal","acronym":"SOSP '11"},"container-title":["Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043556.2043589","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2043556.2043589","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:18Z","timestamp":1750240458000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043556.2043589"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,23]]},"references-count":40,"alternative-id":["10.1145\/2043556.2043589","10.1145\/2043556"],"URL":"https:\/\/doi.org\/10.1145\/2043556.2043589","relation":{},"subject":[],"published":{"date-parts":[[2011,10,23]]},"assertion":[{"value":"2011-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}