{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T16:47:35Z","timestamp":1790700455401,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":100,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,14]],"date-time":"2017-10-14T00:00:00Z","timestamp":1507939200000},"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":[[2017,10,14]]},"DOI":"10.1145\/3132747.3132767","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"582-598","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Lazy Diagnosis of In-Production Concurrency Bugs"],"prefix":"10.1145","author":[{"given":"Baris","family":"Kasikci","sequence":"first","affiliation":[{"name":"University of Michigan and Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Weidong","family":"Cui","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinyang","family":"Ge","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ben","family":"Niu","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,10,14]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2006.18"},{"key":"e_1_3_2_2_2_1","unstructured":"Adobe Systems Inc. 2017. Adobe Crash Reporter. https:\/\/helpx.adobe.com\/creative-suite\/kb\/changing-settings-crash-reporter.html.  Adobe Systems Inc. 2017. Adobe Crash Reporter. https:\/\/helpx.adobe.com\/creative-suite\/kb\/changing-settings-crash-reporter.html."},{"key":"e_1_3_2_2_3_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"1986","unstructured":"Alfred V. Aho , Ravi Sethi , and Jeffrey D . Ullman . 1986 . Compilers : principles, techniques, and tools. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. 1986. Compilers: principles, techniques, and tools."},{"key":"e_1_3_2_2_4_1","volume-title":"Lecture Notes: Pointer Analysis. https:\/\/www.cs.cmu.edu\/~aldrich\/courses\/15-8190-13sp\/resources\/pointer.pdf.","author":"Aldrich Johnathan","year":"2017","unstructured":"Johnathan Aldrich . 2017 . Lecture Notes: Pointer Analysis. https:\/\/www.cs.cmu.edu\/~aldrich\/courses\/15-8190-13sp\/resources\/pointer.pdf. Johnathan Aldrich. 2017. Lecture Notes: Pointer Analysis. https:\/\/www.cs.cmu.edu\/~aldrich\/courses\/15-8190-13sp\/resources\/pointer.pdf."},{"key":"e_1_3_2_2_6_1","unstructured":"Apache Software Foundation. 2010. Apache Benchmark (ab). http:\/\/hrtpd.apache.org\/docs\/2.0\/programs\/ab.html.  Apache Software Foundation. 2010. Apache Benchmark (ab). http:\/\/hrtpd.apache.org\/docs\/2.0\/programs\/ab.html."},{"key":"e_1_3_2_2_7_1","unstructured":"Apache Software Foundation. 2013. Apache httpd. http:\/\/httpd.apache.org.  Apache Software Foundation. 2013. Apache httpd. http:\/\/httpd.apache.org."},{"key":"e_1_3_2_2_8_1","unstructured":"Apache Software Foundation. 2017. Apache Commons DBCP. hrtps:\/\/commons.apache.org\/proper\/commons-dbcp\/.  Apache Software Foundation. 2017. Apache Commons DBCP. hrtps:\/\/commons.apache.org\/proper\/commons-dbcp\/."},{"key":"e_1_3_2_2_9_1","unstructured":"Apache Software Foundation. 2017. Apache Derby. hrtps:\/\/db.apache.org\/derby\/.  Apache Software Foundation. 2017. Apache Derby. hrtps:\/\/db.apache.org\/derby\/."},{"key":"e_1_3_2_2_10_1","unstructured":"Apache Software Foundation. 2017. Apache Groovy. http:\/\/groovy-lang.org\/.  Apache Software Foundation. 2017. Apache Groovy. http:\/\/groovy-lang.org\/."},{"key":"e_1_3_2_2_11_1","unstructured":"Apache Software Foundation. 2017. Apache Log4j. https:\/\/logging.apache.org\/log4j\/2.x\/.  Apache Software Foundation. 2017. Apache Log4j. https:\/\/logging.apache.org\/log4j\/2.x\/."},{"key":"e_1_3_2_2_12_1","unstructured":"Apache Software Foundation. 2017. Apache Lucene. hrtps:\/\/lucene.apache.org\/.  Apache Software Foundation. 2017. Apache Lucene. hrtps:\/\/lucene.apache.org\/."},{"key":"e_1_3_2_2_13_1","unstructured":"Apple Inc. 2017. MacOSX CrashReporter. https:\/\/developer.apple.com\/library\/content\/technotes\/tn2004\/tn2123.html.  Apple Inc. 2017. MacOSX CrashReporter. https:\/\/developer.apple.com\/library\/content\/technotes\/tn2004\/tn2123.html."},{"key":"e_1_3_2_2_14_1","unstructured":"armetm 2017. ARM Embedded Trace Macrocell (ETM). http:\/\/infocenter.arm.com\/help\/index.jsp?topic=\/com.arm.doc.ihi0014q\/index.html.  armetm 2017. ARM Embedded Trace Macrocell (ETM). http:\/\/infocenter.arm.com\/help\/index.jsp?topic=\/com.arm.doc.ihi0014q\/index.html."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451128"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541973"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806626"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250737"},{"key":"e_1_3_2_2_19_1","volume-title":"KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In USENIX Conference on Operating Systems Design and Implementation.","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In USENIX Conference on Operating Systems Design and Implementation. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In USENIX Conference on Operating Systems Design and Implementation."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346322"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070506"},{"key":"e_1_3_2_2_22_1","unstructured":"Clang 2017. The Clang compiler. http:\/\/clang.llvm.org\/.  Clang 2017. The Clang compiler. http:\/\/clang.llvm.org\/."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884844"},{"key":"e_1_3_2_2_24_1","unstructured":"CVE-2016-5195. 2017. Dirty Cow Vulnerability. https:\/\/dirtycow.ninja\/.  CVE-2016-5195. 2017. Dirty Cow Vulnerability. https:\/\/dirtycow.ninja\/."},{"key":"e_1_3_2_2_25_1","unstructured":"Rayside Derek. 2005. Points-to analysis. Technical report MIT CSAIL.  Rayside Derek. 2005. Points-to analysis. Technical report MIT CSAIL."},{"key":"e_1_3_2_2_26_1","unstructured":"EnderUnix. 2017. Aget. http\/\/:www.enderunix.org\/aget\/.  EnderUnix. 2017. Aget. http\/\/:www.enderunix.org\/aget\/."},{"key":"e_1_3_2_2_27_1","unstructured":"Eucalyptus Open Source Project. 2017. Eucalyptus. https:\/\/github.com\/eucalyptus.  Eucalyptus Open Source Project. 2017. Eucalyptus. https:\/\/github.com\/eucalyptus."},{"key":"e_1_3_2_2_28_1","unstructured":"Brad Fitzpatrick. 2013. Memcached. http:\/\/memcached.org.  Brad Fitzpatrick. 2013. Memcached. http:\/\/memcached.org."},{"key":"e_1_3_2_2_29_1","unstructured":"Free Software Foundation Inc. 2017. javaJang_VMSystem.c. https:\/\/tinyurl.com\/nx28nym.  Free Software Foundation Inc. 2017. javaJang_VMSystem.c. https:\/\/tinyurl.com\/nx28nym."},{"key":"e_1_3_2_2_30_1","unstructured":"Jeff Gilchrist. 2017. Parallel BZIP2. http:\/\/compression.ca\/pbzip2.  Jeff Gilchrist. 2017. Parallel BZIP2. http:\/\/compression.ca\/pbzip2."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629586"},{"key":"e_1_3_2_2_32_1","volume-title":"Intl. Conf. on Computer Aided Verification.","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid and Nachiappan Nagappan . 2008 . Concurrency at Microsoft - An Exploratory Survey . In Intl. Conf. on Computer Aided Verification. Patrice Godefroid and Nachiappan Nagappan. 2008. Concurrency at Microsoft - An Exploratory Survey. In Intl. Conf. on Computer Aided Verification."},{"key":"e_1_3_2_2_33_1","unstructured":"Google Inc. 2017. Chrome Error and Crash Reporting. hrtps:\/\/support.google.com\/chrome\/answer\/96817?hl=enl.  Google Inc. 2017. Chrome Error and Crash Reporting. hrtps:\/\/support.google.com\/chrome\/answer\/96817?hl=enl."},{"key":"e_1_3_2_2_34_1","volume-title":"Halpern and Judea Pearl","author":"Joseph","year":"2005","unstructured":"Joseph Y. Halpern and Judea Pearl . 2005 . Causes and Explanations: A Structural-Model Approach. Part I: Causes. The British Journal for the Philosophy of Science . Joseph Y. Halpern and Judea Pearl. 2005. Causes and Explanations: A Structural-Model Approach. Part I: Causes. The British Journal for the Philosophy of Science."},{"key":"e_1_3_2_2_35_1","unstructured":"Intel Corporation. 2013. Intel Processor Trace. https:\/\/software.intel.com\/en-us\/blogs\/2013\/09\/18\/processor-tracing.  Intel Corporation. 2013. Intel Processor Trace. https:\/\/software.intel.com\/en-us\/blogs\/2013\/09\/18\/processor-tracing."},{"key":"e_1_3_2_2_36_1","unstructured":"Intel Corporation. 2017. Intel 64 and IA-32 Architectures Software Developer's Manual.  Intel Corporation. 2017. Intel 64 and IA-32 Architectures Software Developer's Manual."},{"key":"e_1_3_2_2_37_1","unstructured":"Intel Corporation. 2017. Intel Processor Trace Decoder. hrtps:\/\/github.com\/0lorg\/processor-trace.  Intel Corporation. 2017. Intel Processor Trace Decoder. hrtps:\/\/github.com\/0lorg\/processor-trace."},{"key":"e_1_3_2_2_38_1","unstructured":"Jenkins Open Source Project. 2017. Jenkins. https:\/\/jenkins.io\/.  Jenkins Open Source Project. 2017. Jenkins. https:\/\/jenkins.io\/."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869481"},{"key":"e_1_3_2_2_40_1","volume-title":"Effective Data-Race Detection for the Kernel. In Symp. on Operating Sys. Design andlmplem.","author":"John Erickson Sebastian Burckhardt","year":"2010","unstructured":"Sebastian Burckhardt John Erickson , Madanlal Musuvathi and Kirk Olynyk . 2010 . Effective Data-Race Detection for the Kernel. In Symp. on Operating Sys. Design andlmplem. Sebastian Burckhardt John Erickson, Madanlal Musuvathi and Kirk Olynyk. 2010. Effective Data-Race Detection for the Kernel. In Symp. on Operating Sys. Design andlmplem."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815412"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522736"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2734118"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"crossref","unstructured":"M. G. Kendall. 1938. A New Measure of Rank Correlation. Biometrika.  M. G. Kendall. 1938. A New Measure of Rank Correlation. Biometrika.","DOI":"10.2307\/2332226"},{"key":"e_1_3_2_2_47_1","volume-title":"Lockout: Efficient Testing for Deadlock Bugs. In Workshop on Determinism and Correctness in Parallel Programming.","author":"Kheradmand Ali","year":"2014","unstructured":"Ali Kheradmand , Baris Kasikci , and Arjan George Candea . 2014 . Lockout: Efficient Testing for Deadlock Bugs. In Workshop on Determinism and Correctness in Parallel Programming. Ali Kheradmand, Baris Kasikci, and Arjan George Candea. 2014. Lockout: Efficient Testing for Deadlock Bugs. In Workshop on Determinism and Correctness in Parallel Programming."},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_2_49_1","volume-title":"LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation. In Intl. Symp. on Code Generation and Optimization.","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram Adve . 2004 . LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation. In Intl. Symp. on Code Generation and Optimization. Chris Lattner and Vikram Adve. 2004. LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation. In Intl. Symp. on Code Generation and Optimization."},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781148"},{"key":"e_1_3_2_2_52_1","volume-title":"Sampling User Executions for Bug Isolation. In The Workshop on Remote Analysis and Measurement of Software Systems.","author":"Liblit Ben","unstructured":"Ben Liblit , Alex Aiken , Alice X. Zheng , and Michael I. Jordan . 2003 . Sampling User Executions for Bug Isolation. In The Workshop on Remote Analysis and Measurement of Software Systems. Ben Liblit, Alex Aiken, Alice X. Zheng, and Michael I. Jordan. 2003. Sampling User Executions for Bug Isolation. In The Workshop on Remote Analysis and Measurement of Software Systems."},{"key":"e_1_3_2_2_54_1","volume-title":"JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs. In IEEE\/ACM International Conference on Automated Software Engineering.","author":"Lin Ziyi","year":"2015","unstructured":"Ziyi Lin , Darko Marinov , Hao Zhong , Yuting Chen , and Jianjun Zhao . 2015 . JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs. In IEEE\/ACM International Conference on Automated Software Engineering. Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, and Jianjun Zhao. 2015. JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs. In IEEE\/ACM International Conference on Automated Software Engineering."},{"key":"e_1_3_2_2_55_1","unstructured":"Linux. 2017. Linux man pages clock_gettime. https:\/\/tinyurl.com\/jo2odgl.  Linux. 2017. Linux man pages clock_gettime. https:\/\/tinyurl.com\/jo2odgl."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.4"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737973"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037751"},{"key":"e_1_3_2_2_61_1","unstructured":"Steve McConnell. 2004. Code Complete. Microsoft Press.  Steve McConnell. 2004. Code Complete. Microsoft Press."},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.36"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508254"},{"key":"e_1_3_2_2_64_1","unstructured":"Mozilla Corporation. 2017. Mozilla rr. http:\/\/rr-project.org\/.  Mozilla Corporation. 2017. Mozilla rr. http:\/\/rr-project.org\/."},{"key":"e_1_3_2_2_65_1","unstructured":"MySQL 2010. MySQL Benchmark Tool. https:\/\/dev.mysql.com\/downloads\/benchmarks.html.  MySQL 2010. MySQL Benchmark Tool. https:\/\/dev.mysql.com\/downloads\/benchmarks.html."},{"key":"e_1_3_2_2_66_1","unstructured":"MySQL 2010. http\/\/:www.mysql.com\/.  MySQL 2010. http\/\/:www.mysql.com\/."},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.16"},{"key":"e_1_3_2_2_68_1","volume-title":"CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In Intl. Conf. on Compiler Construction.","author":"Necula George C.","year":"2002","unstructured":"George C. Necula , Scott McPeak , S.P. Rahul , and Westley Weimer . 2002 . CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In Intl. Conf. on Compiler Construction. George C. Necula, Scott McPeak, S.P. Rahul, and Westley Weimer. 2002. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In Intl. Conf. on Compiler Construction."},{"key":"e_1_3_2_2_69_1","unstructured":"Netcraft Survey 2013. Netcraft Web Server Survey. http:\/\/httpd.apache.org.  Netcraft Survey 2013. Netcraft Web Server Survey. http:\/\/httpd.apache.org."},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/1409360.1409382"},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528521.1508256"},{"key":"e_1_3_2_2_72_1","unstructured":"Oracle. 2017. Java Development Kit. htt:\/\/openjdk.java.net\/.  Oracle. 2017. Java Development Kit. htt:\/\/openjdk.java.net\/."},{"key":"e_1_3_2_2_73_1","unstructured":"Oracle Corp. 2017. Diagnose a Hung Process. https:\/\/docs.oracle.com\/javase\/8\/docs\/technotes\/guides\/troubleshoot\/hangloop002.html.  Oracle Corp. 2017. Diagnose a Hung Process. https:\/\/docs.oracle.com\/javase\/8\/docs\/technotes\/guides\/troubleshoot\/hangloop002.html."},{"key":"e_1_3_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"e_1_3_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2485922.2485977"},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2155620.2155646"},{"key":"e_1_3_2_2_78_1","unstructured":"Transmission Project. 2017. Transmission. https:\/\/transmissionbt.com\/.  Transmission Project. 2017. Transmission. https:\/\/transmissionbt.com\/."},{"key":"e_1_3_2_2_79_1","volume":"197","author":"C.","unstructured":"C. J. Van Rijsbergen. 197 9. Information Retrieval. C. J. Van Rijsbergen. 1979. Information Retrieval.","journal-title":"J. Van Rijsbergen."},{"key":"e_1_3_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2688204.2688205"},{"key":"e_1_3_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451131"},{"key":"e_1_3_2_2_83_1","unstructured":"Benjamin Schubert and Baris Kasikci. 2017. Bugbase. https:\/\/github.com\/dslab-epfl\/bugbase.  Benjamin Schubert and Baris Kasikci. 2017. Bugbase. https:\/\/github.com\/dslab-epfl\/bugbase."},{"key":"e_1_3_2_2_84_1","unstructured":"skylake-cache 2013. Skylake specifications. http\/\/:www.7-cpu.com\/cpu\/Skylake.html.  skylake-cache 2013. Skylake specifications. http\/\/:www.7-cpu.com\/cpu\/Skylake.html."},{"key":"e_1_3_2_2_85_1","unstructured":"Soot 2017. Soot - A Java optimization framework. https:\/\/sable.github.io\/soot\/.  Soot 2017. Soot - A Java optimization framework. https:\/\/sable.github.io\/soot\/."},{"key":"e_1_3_2_2_86_1","unstructured":"SQLite 2013. SQLite. http\/\/:www.sqlite.org\/.  SQLite 2013. SQLite. http\/\/:www.sqlite.org\/."},{"key":"e_1_3_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_2_88_1","unstructured":"The Associated Press. 2004. General Electric Acknowledges Northeastern Blackout Bug. http\/\/:www.securityfocus.com\/news\/8032.  The Associated Press. 2004. General Electric Acknowledges Northeastern Blackout Bug. http\/\/:www.securityfocus.com\/news\/8032."},{"key":"e_1_3_2_2_89_1","unstructured":"The Chromium Project. 2017. Chromium Issues. https:\/\/bugs.chromium.org.  The Chromium Project. 2017. Chromium Issues. https:\/\/bugs.chromium.org."},{"key":"e_1_3_2_2_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294275"},{"key":"e_1_3_2_2_91_1","unstructured":"Ubuntu. 2017. Ubuntu Error. https:\/\/wiki.ubuntu.com\/ErrorTracker.  Ubuntu. 2017. Ubuntu Error. https:\/\/wiki.ubuntu.com\/ErrorTracker."},{"key":"e_1_3_2_2_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950370"},{"key":"e_1_3_2_2_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544152"},{"key":"e_1_3_2_2_94_1","volume-title":"Concurrency Attacks. In The Fourth USENIX Workshop on Hot Topics in Parallelism.","author":"Yang Junfeng","year":"2012","unstructured":"Junfeng Yang , Ang Cui , Sal Stolfo , and Simha Sethumadhavan . 2012 . Concurrency Attacks. In The Fourth USENIX Workshop on Hot Topics in Parallelism. Junfeng Yang, Ang Cui, Sal Stolfo, and Simha Sethumadhavan. 2012. Concurrency Attacks. In The Fourth USENIX Workshop on Hot Topics in Parallelism."},{"key":"e_1_3_2_2_95_1","unstructured":"Oliver Yang. 2017. Pitfalls of TSC usage. http:\/\/oliveryang.net\/2015\/09\/pitfalls-of-TSC-usage\/.  Oliver Yang. 2017. Pitfalls of TSC usage. http:\/\/oliveryang.net\/2015\/09\/pitfalls-of-TSC-usage\/."},{"key":"e_1_3_2_2_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025121"},{"key":"e_1_3_2_2_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555796"},{"key":"e_1_3_2_2_98_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736038"},{"key":"e_1_3_2_2_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"},{"key":"e_1_3_2_2_100_1","volume-title":"Automated Debugging for Arbitrarily Long Executions. In Workshop on Hot Topics in Operating Systems.","author":"Zamfir Cristian","year":"2013","unstructured":"Cristian Zamfir , Baris Kasikci , Johannes Kinder , Edouard Bugnion , and George Candea . 2013 . Automated Debugging for Arbitrarily Long Executions. In Workshop on Hot Topics in Operating Systems. Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, and George Candea. 2013. Automated Debugging for Arbitrarily Long Executions. In Workshop on Hot Topics in Operating Systems."},{"key":"e_1_3_2_2_101_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_2_102_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037708"},{"key":"e_1_3_2_2_103_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950395"}],"event":{"name":"SOSP '17: ACM SIGOPS 26th Symposium on Operating Systems Principles","location":"Shanghai China","acronym":"SOSP '17","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"]},"container-title":["Proceedings of the 26th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132747.3132767","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3132747.3132767","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:10:57Z","timestamp":1750212657000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132747.3132767"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,14]]},"references-count":100,"alternative-id":["10.1145\/3132747.3132767","10.1145\/3132747"],"URL":"https:\/\/doi.org\/10.1145\/3132747.3132767","relation":{},"subject":[],"published":{"date-parts":[[2017,10,14]]},"assertion":[{"value":"2017-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}