{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:05:45Z","timestamp":1783008345886,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":118,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NSF DGE award","award":["1256260"],"award-info":[{"award-number":["1256260"]}]},{"name":"NSF CAREER award","award":["1942218"],"award-info":[{"award-number":["1942218"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454101","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T13:51:32Z","timestamp":1624024292000},"page":"1155-1170","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Execution reconstruction: harnessing failure reoccurrences for failure reproduction"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0861-5010","authenticated-orcid":false,"given":"Gefei","family":"Zuo","sequence":"first","affiliation":[{"name":"University of Michigan, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9285-422X","authenticated-orcid":false,"given":"Jiacheng","family":"Ma","sequence":"additional","affiliation":[{"name":"University of Michigan, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0785-4119","authenticated-orcid":false,"given":"Andrew","family":"Quinn","sequence":"additional","affiliation":[{"name":"University of Michigan, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pramod","family":"Bhatotia","sequence":"additional","affiliation":[{"name":"TU Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pedro","family":"Fonseca","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6122-8998","authenticated-orcid":false,"given":"Baris","family":"Kasikci","sequence":"additional","affiliation":[{"name":"University of Michigan, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2004. CVE Detail. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2004-0597  2004. CVE Detail. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2004-0597"},{"key":"e_1_3_2_1_2_1","unstructured":"2004. NASM 0.98.x - Error Preprocessor Directive Buffer Overflow. https:\/\/www.exploit-db.com\/exploits\/25005  2004. NASM 0.98.x - Error Preprocessor Directive Buffer Overflow. https:\/\/www.exploit-db.com\/exploits\/25005"},{"key":"e_1_3_2_1_3_1","unstructured":"2007. Coreutils Fault in OD. https:\/\/lists.gnu.org\/archive\/html\/bug-coreutils\/2007-08\/msg00034.html  2007. Coreutils Fault in OD. https:\/\/lists.gnu.org\/archive\/html\/bug-coreutils\/2007-08\/msg00034.html"},{"key":"e_1_3_2_1_4_1","unstructured":"2008. Coreutils Fault in PR. https:\/\/lists.gnu.org\/archive\/html\/bug-coreutils\/2008-04\/msg00177.html  2008. Coreutils Fault in PR. https:\/\/lists.gnu.org\/archive\/html\/bug-coreutils\/2008-04\/msg00177.html"},{"key":"e_1_3_2_1_5_1","unstructured":"2012. Fixing Bugs - If You Can\u2019t Reproduce a Bug You Can\u2019t Fix It - DZone Agile. https:\/\/dzone.com\/articles\/if-you-cant-reproduce-bug-you  2012. Fixing Bugs - If You Can\u2019t Reproduce a Bug You Can\u2019t Fix It - DZone Agile. https:\/\/dzone.com\/articles\/if-you-cant-reproduce-bug-you"},{"key":"e_1_3_2_1_6_1","unstructured":"2012. Free PHP Benchmark Performance Script. http:\/\/www.php-benchmark-script.com  2012. Free PHP Benchmark Performance Script. http:\/\/www.php-benchmark-script.com"},{"key":"e_1_3_2_1_7_1","unstructured":"2012. Sec Bug #61065: Secunia SA44335 - arbitrary code execution. https:\/\/bugs.php.net\/bug.php?id=61065  2012. Sec Bug #61065: Secunia SA44335 - arbitrary code execution. https:\/\/bugs.php.net\/bug.php?id=61065"},{"key":"e_1_3_2_1_8_1","unstructured":"2013. https:\/\/issues.apache.org\/jira\/browse\/HBASE-10210  2013. https:\/\/issues.apache.org\/jira\/browse\/HBASE-10210"},{"key":"e_1_3_2_1_9_1","unstructured":"2013. https:\/\/issues.apache.org\/jira\/browse\/HBASE-10237  2013. https:\/\/issues.apache.org\/jira\/browse\/HBASE-10237"},{"key":"e_1_3_2_1_10_1","unstructured":"2013. https:\/\/issues.apache.org\/jira\/browse\/HDFS-5690  2013. https:\/\/issues.apache.org\/jira\/browse\/HDFS-5690"},{"key":"e_1_3_2_1_11_1","unstructured":"2013. pbzip2. https:\/\/github.com\/jieyu\/concurrency-bugs\/tree\/master\/pbzip2-0.9.4  2013. pbzip2. https:\/\/github.com\/jieyu\/concurrency-bugs\/tree\/master\/pbzip2-0.9.4"},{"key":"e_1_3_2_1_12_1","unstructured":"2015. sr #108885: 4-byte script triggers null ptr deref and segfault. https:\/\/savannah.gnu.org\/support\/index.php?108885  2015. sr #108885: 4-byte script triggers null ptr deref and segfault. https:\/\/savannah.gnu.org\/support\/index.php?108885"},{"key":"e_1_3_2_1_13_1","unstructured":"2017. Sec Bug #74194: a heap-buffer-overflow when serializing ArrayObject. https:\/\/bugs.php.net\/bug.php?id=74194  2017. Sec Bug #74194: a heap-buffer-overflow when serializing ArrayObject. https:\/\/bugs.php.net\/bug.php?id=74194"},{"key":"e_1_3_2_1_14_1","unstructured":"2018. Adverse interaction between .stats and .eqp in the CLI. https:\/\/www.sqlite.org\/src\/tktview\/7be932d  2018. Adverse interaction between .stats and .eqp in the CLI. https:\/\/www.sqlite.org\/src\/tktview\/7be932d"},{"key":"e_1_3_2_1_15_1","unstructured":"2018. CVE-2018-1000030: Python 2.7 readahead feature of file objects is not thread safe. https:\/\/bugs.python.org\/issue31530  2018. CVE-2018-1000030: Python 2.7 readahead feature of file objects is not thread safe. https:\/\/bugs.python.org\/issue31530"},{"key":"e_1_3_2_1_16_1","unstructured":"2018. CVE Detail. https:\/\/www.cvedetails.com\/cve\/CVE-2018-6323\/  2018. CVE Detail. https:\/\/www.cvedetails.com\/cve\/CVE-2018-6323\/"},{"key":"e_1_3_2_1_17_1","unstructured":"2019. Assertion fault when multi-use subquery implemented by co-routine. https:\/\/www.sqlite.org\/src\/tktview\/787fa71  2019. Assertion fault when multi-use subquery implemented by co-routine. https:\/\/www.sqlite.org\/src\/tktview\/787fa71"},{"key":"e_1_3_2_1_18_1","unstructured":"2019. Crash on query using an OR term in the WHERE clause. https:\/\/www.sqlite.org\/src\/tktview\/4e8e485  2019. Crash on query using an OR term in the WHERE clause. https:\/\/www.sqlite.org\/src\/tktview\/4e8e485"},{"key":"e_1_3_2_1_19_1","unstructured":"2019. CVE Detail. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2019-11596  2019. CVE Detail. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2019-11596"},{"key":"e_1_3_2_1_20_1","unstructured":"2019. MatrixSSL < 4.0.2 - Stack Buffer Overflow Verifying x.509 Certificates. https:\/\/www.exploit-db.com\/exploits\/46435  2019. MatrixSSL < 4.0.2 - Stack Buffer Overflow Verifying x.509 Certificates. https:\/\/www.exploit-db.com\/exploits\/46435"},{"key":"e_1_3_2_1_21_1","unstructured":"2019. What does debugging a program look like? - Julia Evans. https:\/\/jvns.ca\/blog\/2019\/06\/23\/a-few-debugging-resources\/  2019. What does debugging a program look like? - Julia Evans. https:\/\/jvns.ca\/blog\/2019\/06\/23\/a-few-debugging-resources\/"},{"key":"e_1_3_2_1_22_1","unstructured":"2020. https:\/\/github.com\/RedisLabs\/memtier_benchmark  2020. https:\/\/github.com\/RedisLabs\/memtier_benchmark"},{"key":"e_1_3_2_1_23_1","unstructured":"2020. https:\/\/github.com\/RazrFalcon\/resvg-test-suite\/tree\/master\/png  2020. https:\/\/github.com\/RazrFalcon\/resvg-test-suite\/tree\/master\/png"},{"key":"e_1_3_2_1_24_1","unstructured":"2020. https:\/\/foss.heptapod.net\/pypy\/benchmarks\/-\/tree\/branch\/default\/unladen_swallow\/performance  2020. https:\/\/foss.heptapod.net\/pypy\/benchmarks\/-\/tree\/branch\/default\/unladen_swallow\/performance"},{"key":"e_1_3_2_1_25_1","unstructured":"2020. CVE Database. https:\/\/www.cvedetails.com  2020. CVE Database. https:\/\/www.cvedetails.com"},{"key":"e_1_3_2_1_26_1","unstructured":"2020. Exploit Database Archive. https:\/\/www.exploit-db.com\/  2020. Exploit Database Archive. https:\/\/www.exploit-db.com\/"},{"key":"e_1_3_2_1_27_1","unstructured":"2020. Intel\u00ae 64 and IA-32 Architectures Software Developer\u2019s Manual. https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/articles\/intel-sdm.html  2020. Intel\u00ae 64 and IA-32 Architectures Software Developer\u2019s Manual. https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/articles\/intel-sdm.html"},{"key":"e_1_3_2_1_28_1","unstructured":"2020. Memory Prices Decreasing with Time. https:\/\/jcmit.net\/mem2015.htm  2020. Memory Prices Decreasing with Time. https:\/\/jcmit.net\/mem2015.htm"},{"key":"e_1_3_2_1_29_1","unstructured":"2020. rr. https:\/\/rr-project.org  2020. rr. https:\/\/rr-project.org"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2006.18"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446727"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629594"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451128"},{"key":"e_1_3_2_1_34_1","first-page":"96","volume-title":"X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software. In 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)","author":"Attariyan Mona","year":"2012","unstructured":"Mona Attariyan , M Ichael Chow , and Jason Flinn . 2012 . X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software. In 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12) . USENIX Association, Hollywood, CA. 307\u2013320. isbn:978-1-93 1971- 96 - 96 Mona Attariyan, MIchael Chow, and Jason Flinn. 2012. X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software. In 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). USENIX Association, Hollywood, CA. 307\u2013320. isbn:978-1-931971-96-6"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1220164"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191551"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1177\/109434200001400404"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908)","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 Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908) . USENIX Association, Berkeley, CA, USA. 209\u2013224. http:\/\/dl.acm.org\/citation.cfm?id= 1855741.1855756 Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908). USENIX Association, Berkeley, CA, USA. 209\u2013224. http:\/\/dl.acm.org\/citation.cfm?id=1855741.1855756"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2363469"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00002"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070506"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2012.6314366"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884844"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_49_1","volume-title":"Eidetic Systems. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Devecsery David","unstructured":"David Devecsery , Michael Chow , Xianzheng Dou , Jason Flinn , and Peter M. Chen . 2014 . Eidetic Systems. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14) . David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, and Peter M. Chen. 2014. Eidetic Systems. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642951"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060289.1060309"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966465"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/dsn.2010.5544315"},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201914)","author":"Fonseca Pedro","unstructured":"Pedro Fonseca , Rodrigo Rodrigues , and Bj\u00f6rn B. Brandenburg . 2014. SKI: Exposing Kernel Concurrency Bugs Through Systematic Schedule Exploration . In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201914) . Pedro Fonseca, Rodrigo Rodrigues, and Bj\u00f6rn B. Brandenburg. 2014. SKI: Exposing Kernel Concurrency Bugs Through Systematic Schedule Exploration. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201914)."},{"key":"e_1_3_2_1_56_1","volume-title":"Dill","author":"Ganesh Vijay","year":"2007","unstructured":"Vijay Ganesh and David L . Dill . 2007 . A decision procedure for bit-vectors and arrays. In CAV. Vijay Ganesh and David L. Dill. 2007. A decision procedure for bit-vectors and arrays. In CAV."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037716"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629586"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090147.2094081"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2012.083112.112053"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"e_1_3_2_1_62_1","unstructured":"Jim Handy. 2019. DRAM Prices Hit Historic Low. https:\/\/thememoryguy.com\/dram-prices-hit-historic-low\/  Jim Handy. 2019. DRAM Prices Hit Historic Low. https:\/\/thememoryguy.com\/dram-prices-hit-historic-low\/"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678373.2665737"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.26"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462167"},{"key":"e_1_3_2_1_66_1","first-page":"38","volume-title":"Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. In 2017 USENIX Annual Technical Conference (USENIX ATC 17)","author":"Huang Shiyou","year":"2017","unstructured":"Shiyou Huang , Bowen Cai , and Jeff Huang . 2017 . Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. In 2017 USENIX Annual Technical Conference (USENIX ATC 17) . USENIX Association, Santa Clara, CA. 403\u2013415. isbn:978-1-93 1971- 38 - 36 Shiyou Huang, Bowen Cai, and Jeff Huang. 2017. Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). USENIX Association, Santa Clara, CA. 403\u2013415. isbn:978-1-931971-38-6"},{"key":"e_1_3_2_1_67_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_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869481"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227168"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132767"},{"key":"e_1_3_2_1_72_1","volume-title":"15th Workshop on Hot Topics in Operating Systems (HotOS XV). USENIX Association","author":"Kasikci Baris","year":"2015","unstructured":"Baris Kasikci , Cristiano Pereira , Gilles Pokam , Benjamin Schubert , Malandal Musuvathi , and George Candea . 2015 . Failure Sketches: A Better Way to Debug . In 15th Workshop on Hot Topics in Operating Systems (HotOS XV). USENIX Association , Kartause Ittingen, Switzerland. Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Malandal Musuvathi, and George Candea. 2015. Failure Sketches: A Better Way to Debug. In 15th Workshop on Hot Topics in Operating Systems (HotOS XV). USENIX Association, Kartause Ittingen, Switzerland."},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815412"},{"key":"e_1_3_2_1_74_1","volume-title":"CORD: A Collaborative Framework for Distributed Data Race Detection. In Eighth Workshop on Hot Topics in System Dependability (HotDep 12)","author":"Kasikci Baris","year":"2012","unstructured":"Baris Kasikci , Cristian Zamfir , and George Candea . 2012 . CORD: A Collaborative Framework for Distributed Data Race Detection. In Eighth Workshop on Hot Topics in System Dependability (HotDep 12) . USENIX Association, Hollywood, CA. Baris Kasikci, Cristian Zamfir, and George Candea. 2012. CORD: A Collaborative Framework for Distributed Data Race Detection. In Eighth Workshop on Hot Topics in System Dependability (HotDep 12). USENIX Association, Hollywood, CA."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522736"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2734118"},{"key":"e_1_3_2_1_78_1","volume-title":"5th Workshop on Determinism and Correctness in Parallel Programming","author":"Kheradmand Ali","year":"2014","unstructured":"Ali Kheradmand , Baris Kasikci , and George Candea . 2014 . Lockout: Efficient Testing for Deadlock Bugs .. In 5th Workshop on Determinism and Correctness in Parallel Programming . Salt Lake City, UT. Ali Kheradmand, Baris Kasikci, and George Candea. 2014. Lockout: Efficient Testing for Deadlock Bugs.. In 5th Workshop on Determinism and Correctness in Parallel Programming. Salt Lake City, UT."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192380"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738001"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065034"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041552.2041563"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037751"},{"key":"e_1_3_2_1_87_1","volume-title":"Code Complete","author":"McConnell Steve","year":"1967","unstructured":"Steve McConnell . 2004. Code Complete , Second Edition. Microsoft Press, Redmond, WA , USA. isbn:07356 1967 0, 9780735619678 Steve McConnell. 2004. Code Complete, Second Edition. Microsoft Press, Redmond, WA, USA. isbn:0735619670, 9780735619678"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/1394608.1382146"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855760"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/1080695.1069994"},{"key":"e_1_3_2_1_91_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Neal Ian","year":"2020","unstructured":"Ian Neal , Ben Reeves , Ben Stoler , Andrew Quinn , Youngjin Kwon , Simon Peter , and Baris Kasikci . 2020 . AGAMOTTO: How Persistent is your Persistent Memory Application? In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) . USENIX Association. Ian Neal, Ben Reeves, Ben Stoler, Andrew Quinn, Youngjin Kwon, Simon Peter, and Baris Kasikci. 2020. AGAMOTTO: How Persistent is your Persistent Memory Application? In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association."},{"key":"e_1_3_2_1_92_1","first-page":"38","volume-title":"Engineering Record and Replay for Deployability. In 2017 USENIX Annual Technical Conference (USENIX ATC 17)","author":"Callahan Robert O\u2019","year":"2017","unstructured":"Robert O\u2019 Callahan , Chris Jones , Nathan Froyd , Kyle Huey , Albert Noll , and Nimrod Partush . 2017 . Engineering Record and Replay for Deployability. In 2017 USENIX Annual Technical Conference (USENIX ATC 17) . USENIX Association, Santa Clara, CA. 377\u2013389. isbn:978-1-93 1971- 38 - 36 Robert O\u2019 Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll, and Nimrod Partush. 2017. Engineering Record and Replay for Deployability. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). USENIX Association, Santa Clara, CA. 377\u2013389. isbn:978-1-931971-38-6"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772958"},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/2155620.2155646"},{"key":"e_1_3_2_1_96_1","volume-title":"Sledgehammer: Cluster-Fueled Debugging. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Quinn Andrew","year":"2018","unstructured":"Andrew Quinn , Jason Flinn , and Michael Cafarella . 2018 . Sledgehammer: Cluster-Fueled Debugging. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18) . USENIX Association, Carlsbad, CA. 545\u2013560. isbn:978-1-939133-08-3 Andrew Quinn, Jason Flinn, and Michael Cafarella. 2018. Sledgehammer: Cluster-Fueled Debugging. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). USENIX Association, Carlsbad, CA. 545\u2013560. isbn:978-1-939133-08-3"},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-28865-9_14"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/2688204.2688205"},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1145\/2490301.2451131"},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889223"},{"key":"e_1_3_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2014.48"},{"key":"e_1_3_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321746"},{"key":"e_1_3_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070942.2070972"},{"key":"e_1_3_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737095.2737096"},{"key":"e_1_3_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180251"},{"key":"e_1_3_2_1_107_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294275"},{"key":"e_1_3_2_1_108_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950370"},{"key":"e_1_3_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2016.050"},{"key":"e_1_3_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544137.2544152"},{"key":"e_1_3_2_1_111_1","volume-title":"REPT: Reverse Debugging of Failures in Deployed Software. In OSDI.","author":"Weidong Cui Xinyang Ge","year":"2018","unstructured":"Xinyang Ge Weidong Cui , Baris Kasikci , Ben Niu , Upamanyu Sharma , Ruoyu Wang , and Insu Yun . 2018 . REPT: Reverse Debugging of Failures in Deployed Software. In OSDI. Xinyang Ge Weidong Cui, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, and Insu Yun. 2018. REPT: Reverse Debugging of Failures in Deployed Software. In OSDI."},{"key":"e_1_3_2_1_112_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.60"},{"key":"e_1_3_2_1_113_1","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Xu Jun","year":"2017","unstructured":"Jun Xu , Dongliang Mu , Xinyu Xing , Peng Liu , Ping Chen , and Bing Mao . 2017 . Postmortem program analysis with hardware-enhanced post-crash artifacts . In 26th USENIX Security Symposium (USENIX Security 17) . 17\u201332. Jun Xu, Dongliang Mu, Xinyu Xing, Peng Liu, Ping Chen, and Bing Mao. 2017. Postmortem program analysis with hardware-enhanced post-crash artifacts. In 26th USENIX Security Symposium (USENIX Security 17). 17\u201332."},{"key":"e_1_3_2_1_114_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"},{"key":"e_1_3_2_1_115_1","volume-title":"Automated Debugging for Arbitrarily Long Executions. In 14th Workshop on Hot Topics in Operating Systems (HotOS XIV). USENIX Association, Santa Ana Pueblo, NM.","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 14th Workshop on Hot Topics in Operating Systems (HotOS XIV). USENIX Association, Santa Ana Pueblo, NM. Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, and George Candea. 2013. Automated Debugging for Arbitrarily Long Executions. In 14th Workshop on Hot Topics in Operating Systems (HotOS XIV). USENIX Association, Santa Ana Pueblo, NM."},{"key":"e_1_3_2_1_116_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_1_117_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950395"},{"key":"e_1_3_2_1_118_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132768"},{"key":"e_1_3_2_1_119_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359650"},{"key":"e_1_3_2_1_120_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643014"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454101","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:48Z","timestamp":1750193268000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":118,"alternative-id":["10.1145\/3453483.3454101","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454101","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}