{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T09:37:32Z","timestamp":1787564252344,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100014718","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1917924"],"award-info":[{"award-number":["1917924"]}],"id":[{"id":"10.13039\/100014718","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,11]]},"DOI":"10.1145\/3385412.3386020","type":"proceedings-article","created":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T21:40:10Z","timestamp":1591479610000},"page":"1052-1065","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Debug information validation for optimized code"],"prefix":"10.1145","author":[{"given":"Yuanbo","family":"Li","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuo","family":"Ding","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qirun","family":"Zhang","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide","family":"Italiano","sequence":"additional","affiliation":[{"name":"Apple, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Gross","author":"Adl-Tabatabai Ali-Reza","year":"1996","unstructured":"Ali-Reza Adl-Tabatabai and Thomas R. Gross. 1996."},{"key":"e_1_3_2_1_2_1","volume-title":"Debugging of Scalar Optimized Code. In Proceedings of the ACM SIGPLAN\u201996 Conference on Programming Language Design and Implementation (PLDI\u2019 96)","author":"Source-Level","unstructured":"Source-Level Debugging of Scalar Optimized Code. In Proceedings of the ACM SIGPLAN\u201996 Conference on Programming Language Design and Implementation (PLDI\u2019 96). 33\u201343."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Sanjeev Kumar Aggarwal and M. Sarath Kumar. 2002. Debuggers for Programming Languages. In The Compiler Design Handbook. 295\u2013328.","DOI":"10.1201\/9781420040579.ch9"},{"key":"e_1_3_2_1_4_1","unstructured":"Th\u00e9ophile Bastian Stephen Kell and Francesco Zappa Nardelli. 2019."},{"key":"e_1_3_2_1_5_1","volume-title":"146:1\u2013146:24","author":"Reliable","year":"2019","unstructured":"Reliable and fast DWARF-based stack unwinding. PACMPL 3, OOPSLA (2019), 146:1\u2013146:24."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80002-1"},{"key":"e_1_3_2_1_7_1","volume-title":"Boujarwah and Kassem Saleh","author":"Abdulazeez","year":"1997","unstructured":"Abdulazeez S. Boujarwah and Kassem Saleh. 1997. Compiler test case generation methods: a survey and assessment. Information & Software Technology 39, 9 (1997), 617\u2013625."},{"key":"e_1_3_2_1_8_1","unstructured":"Gary Brooks Gilbert J. Hansen and Steve Simmons. 1992."},{"key":"e_1_3_2_1_9_1","volume-title":"Debugging Optimized Code. In Proceedings of the ACM SIGPLAN\u201992 Conference on Programming Language Design and Implementation (PLDI\u2019 92)","author":"A New Approach","unstructured":"A New Approach to Debugging Optimized Code. In Proceedings of the ACM SIGPLAN\u201992 Conference on Programming Language Design and Implementation (PLDI\u2019 92). 1\u201311."},{"key":"e_1_3_2_1_10_1","unstructured":"John Calcote. 2010."},{"key":"e_1_3_2_1_11_1","volume-title":"A Practioner\u2019s Guide to GNU Autoconf, Automake, and Libtool","author":"Autotools","unstructured":"Autotools: A Practioner\u2019s Guide to GNU Autoconf, Automake, and Libtool (1st ed.). No Starch Press.","edition":"1"},{"key":"e_1_3_2_1_12_1","unstructured":"Yang Chen Alex Groce Chaoqiang Zhang Weng-Keen Wong Xiaoli Z. Fern Eric Eide and John Regehr. 2013."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the ACM SIGPLAN\u201913 Conference on Programming Language Design and Implementation, (PLDI\u2019 13)","author":"Taming","unstructured":"Taming compiler fuzzers. In Proceedings of the ACM SIGPLAN\u201913 Conference on Programming Language Design and Implementation, (PLDI\u2019 13). 197\u2013208."},{"key":"e_1_3_2_1_14_1","unstructured":"DWARF Debugging Information Format Committee. 2020. DWARF Debugging Information Format Version 5. http:\/\/dwarfstd.org\/doc\/ DWARF5.pdf"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177517"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213848"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Michael Eager. 2012.","DOI":"10.1007\/JHEP06(2012)106"},{"key":"e_1_3_2_1_18_1","volume-title":"http:\/\/www.dwarfstd.org\/doc\/Debugging%20using%20DWARF-","author":"Debugging Format Introduction","year":"2012","unstructured":"Introduction to the DWARF Debugging Format. http:\/\/www.dwarfstd.org\/doc\/Debugging%20using%20DWARF- 2012.pdf"},{"key":"e_1_3_2_1_19_1","unstructured":"Free Software Foundation. 2019. GNU GCC Manual. https:\/\/gcc.gnu. org\/onlinedocs\/gcc-8.3.0\/gcc\/"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357173"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243838"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the ACM SIGPLAN\u201992 Conference on Programming Language Design and Implementation (PLDI\u2019 92)","author":"H\u00f6lzle Urs","unstructured":"Urs H\u00f6lzle, Craig Chambers, and David M. Ungar. 1992. Debugging Optimized Code with Dynamic Deoptimization. In Proceedings of the ACM SIGPLAN\u201992 Conference on Programming Language Design and Implementation (PLDI\u2019 92). 32\u201343."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318947"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the 7th International Symposium on Static Analysis (SAS\u2019 00)","author":"Jaramillo Clara","year":"2000","unstructured":"Clara Jaramillo, Rajiv Gupta, and Mary Lou Soffa. 2000. F ULLDOC: A Full Reporting Debugger for Optimized Code. In Proceedings of the 7th International Symposium on Static Analysis (SAS\u2019 00). 240\u2013259."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"e_1_3_2_1_26_1","unstructured":"Daniel Lehmann and Michael Pradel. 2018."},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE\u2019 18)","unstructured":"Feedback-directed differential testing of interactive debuggers. In Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE\u2019 18). 610\u2013620."},{"key":"e_1_3_2_1_28_1","unstructured":"Xavier Leroy. 2006."},{"key":"e_1_3_2_1_29_1","first-page":"100","article-title":"Differential Testing for Software","volume":"10","author":"McKeeman William M.","year":"1998","unstructured":"William M. McKeeman. 1998. Differential Testing for Software. Digital Technical Journal 10, 1 (1998), 100\u2013107.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_30_1","unstructured":"Julia Menapace Jim Kingdon and David MacKenzie. 1992."},{"key":"e_1_3_2_1_31_1","volume-title":"stabs","author":"The","unstructured":"The \u201cstabs\u201d debug format. Technical Report. Cygnus support."},{"key":"e_1_3_2_1_32_1","unstructured":"Microsoft. 2015."},{"key":"e_1_3_2_1_33_1","unstructured":"The PDB (Program Database) Symbol File format. https:\/\/github.com\/Microsoft\/microsoft-pdb."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_35_1","unstructured":"Vladimir Slavik. 2018."},{"key":"e_1_3_2_1_36_1","unstructured":"Developer Guide \u2013 An introduction to application development tools in Red Hat Enterprise Linux 7. https:\/\/access.redhat.com\/documentation\/enus\/red_hat_enterprise_linux\/7\/html\/developer_guide\/index."},{"key":"e_1_3_2_1_37_1","unstructured":"The Clang Team. 2019."},{"key":"e_1_3_2_1_38_1","unstructured":"LibTooling. https:\/\/clang.llvm.org\/docs\/ LibTooling.html"},{"key":"e_1_3_2_1_39_1","unstructured":"The Clang Team. 2019. UndefinedBehaviorSanitizer. https:\/\/clang. llvm.org\/docs\/UndefinedBehaviorSanitizer.html"},{"key":"e_1_3_2_1_40_1","unstructured":"The Frama-C Team. 2019. Frama-C. https:\/\/frama-c.com\/"},{"key":"e_1_3_2_1_41_1","unstructured":"The ROSE Compiler Team. 2019. Rose Compiler. http:\/\/rosecompiler. org\/"},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the SIGPLAN\/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering (PASTE\u2019 98)","author":"Tice Caroline","unstructured":"Caroline Tice and Susan L. Graham. 1998. OPTVIEW: A New Approach for Examining Optimized Code. In Proceedings of the SIGPLAN\/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering (PASTE\u2019 98). 19\u201326."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330567"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178430"},{"key":"e_1_3_2_1_45_1","volume-title":"Hwu","author":"Wu Le-Chun","year":"1999","unstructured":"Le-Chun Wu, Rajiv Mirani, Harish Patil, Bruce Olsen, and Wen-mei W. Hwu. 1999."},{"key":"e_1_3_2_1_46_1","volume-title":"New Framework for Debugging Globally Optimized Code. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u2019 99)","author":"A","unstructured":"A New Framework for Debugging Globally Optimized Code. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u2019 99). 181\u2013191."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386020","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3386020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:38:49Z","timestamp":1750185529000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":47,"alternative-id":["10.1145\/3385412.3386020","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3386020","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}