{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T09:20:17Z","timestamp":1787563217355,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,17]],"date-time":"2021-04-17T00:00:00Z","timestamp":1618617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"H2020 Research and Innovation","award":["786669"],"award-info":[{"award-number":["786669"]}]},{"DOI":"10.13039\/501100001961","name":"AXA Research Fund","doi-asserted-by":"publisher","award":["AXA Postdoctoral Fellowship Di Luna"],"award-info":[{"award-number":["AXA Postdoctoral Fellowship Di Luna"]}],"id":[{"id":"10.13039\/501100001961","id-type":"DOI","asserted-by":"publisher"}]},{"name":"PNRM","award":["Safe"],"award-info":[{"award-number":["Safe"]}]},{"DOI":"10.13039\/501100004271","name":"Sapienza Universit\u00e0 di Roma","doi-asserted-by":"publisher","award":["RM11916B75A3293D"],"award-info":[{"award-number":["RM11916B75A3293D"]}],"id":[{"id":"10.13039\/501100004271","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,4,19]]},"DOI":"10.1145\/3445814.3446695","type":"proceedings-article","created":{"date-parts":[[2021,4,11]],"date-time":"2021-04-11T13:06:26Z","timestamp":1618146386000},"page":"1034-1045","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Who\u2019s debugging the debuggers? exposing debug information bugs in optimized binaries"],"prefix":"10.1145","author":[{"given":"Giuseppe Antonio","family":"Di Luna","sequence":"first","affiliation":[{"name":"Sapienza University of Rome, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide","family":"Italiano","sequence":"additional","affiliation":[{"name":"Apple, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luca","family":"Massarelli","sequence":"additional","affiliation":[{"name":"Sapienza University of Rome, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"\u00d6sterlund","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cristiano","family":"Giuffrida","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leonardo","family":"Querzoni","sequence":"additional","affiliation":[{"name":"Sapienza University of Rome, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,4,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/clang.llvm.org\/docs\/CommandGuide\/clang. html","author":"Clang","year":"2020","unstructured":"Clang 12 documentation. https:\/\/clang.llvm.org\/docs\/CommandGuide\/clang. html , 2020 . [Online; accessed 27-July-2020]. Clang 12 documentation. https:\/\/clang.llvm.org\/docs\/CommandGuide\/clang. html, 2020. [Online; accessed 27-July-2020]."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/llvm.org\/docs\/ OptBisect.html","year":"2020","unstructured":"Using-opt-bisect-limit to debug optimization errors. https:\/\/llvm.org\/docs\/ OptBisect.html , 2020 . [Online; accessed 27-July-2020]. Using-opt-bisect-limit to debug optimization errors. https:\/\/llvm.org\/docs\/ OptBisect.html, 2020. [Online; accessed 27-July-2020]."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231388"},{"key":"e_1_3_2_1_4_1","volume-title":"Yarpgen: Yet another random program generator. https:\/\/github.com\/intel\/yarpgen","author":"Babokin Dmity","year":"2020","unstructured":"Dmity Babokin , John Regehr , and Vsevolod Livinskiy . Yarpgen: Yet another random program generator. https:\/\/github.com\/intel\/yarpgen , 2020 . [Online; accessed 27-July-2020]. Dmity Babokin, John Regehr, and Vsevolod Livinskiy. Yarpgen: Yet another random program generator. https:\/\/github.com\/intel\/yarpgen, 2020. [Online; accessed 27-July-2020]."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/143103.143108"},{"key":"e_1_3_2_1_6_1","volume-title":"A survey of compiler testing. ACM Computing Surveys (CSUR), 53 ( 1 ): 1-36","author":"Chen Junjie","year":"2020","unstructured":"Junjie Chen , Jibesh Patra , Michael Pradel , Yingfei Xiong , Hongyu Zhang , Dan Hao , and Lu Zhang . A survey of compiler testing. ACM Computing Surveys (CSUR), 53 ( 1 ): 1-36 , 2020 . Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, and Lu Zhang. A survey of compiler testing. ACM Computing Surveys (CSUR), 53 ( 1 ): 1-36, 2020."},{"key":"e_1_3_2_1_7_1","volume-title":"Debugging optimized code without being misled. ACM Transactions on Programming Languages and Systems (TOPLAS), 16 ( 3 ): 387-427","author":"Copperman Max","year":"1994","unstructured":"Max Copperman . Debugging optimized code without being misled. ACM Transactions on Programming Languages and Systems (TOPLAS), 16 ( 3 ): 387-427 , 1994 . Max Copperman. Debugging optimized code without being misled. ACM Transactions on Programming Languages and Systems (TOPLAS), 16 ( 3 ): 387-427, 1994."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192396"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2015.33"},{"key":"e_1_3_2_1_10_1","volume-title":"Symbolic debugging of optimized code. ACM Transactions on Programming Languages and Systems (TOPLAS), 4 ( 3 ): 323-344","author":"Hennessy John","year":"1982","unstructured":"John Hennessy . Symbolic debugging of optimized code. ACM Transactions on Programming Languages and Systems (TOPLAS), 4 ( 3 ): 323-344 , 1982 . John Hennessy. Symbolic debugging of optimized code. ACM Transactions on Programming Languages and Systems (TOPLAS), 4 ( 3 ): 323-344, 1982."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318947"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2013.6595791"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/502981"},{"key":"e_1_3_2_1_14_1","volume-title":"How to update debug info: A guide for llvm pass authors. https:\/\/github.com\/llvm\/llvm-project\/blob\/master\/llvm\/docs\/ HowToUpdateDebugInfo.rst","author":"Kumar Vedant","year":"2020","unstructured":"Vedant Kumar . How to update debug info: A guide for llvm pass authors. https:\/\/github.com\/llvm\/llvm-project\/blob\/master\/llvm\/docs\/ HowToUpdateDebugInfo.rst , 2020 . [Online; accessed 27-July-2020]. Vedant Kumar. How to update debug info: A guide for llvm pass authors. https:\/\/github.com\/llvm\/llvm-project\/blob\/master\/llvm\/docs\/ HowToUpdateDebugInfo.rst, 2020. [Online; accessed 27-July-2020]."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236037"},{"key":"e_1_3_2_1_17_1","volume-title":"ERTS 2016: Embedded Real Time Software and Systems. SEE","author":"Leroy Xavier","year":"2016","unstructured":"Xavier Leroy , Sandrine Blazy , Daniel K\u00e4stner , Bernhard Schommer , Markus Pister , and Christian Ferdinand . Compcert-a formally verified optimizing compiler . In ERTS 2016: Embedded Real Time Software and Systems. SEE , 2016 . Xavier Leroy, Sandrine Blazy, Daniel K\u00e4stner, Bernhard Schommer, Markus Pister, and Christian Ferdinand. Compcert-a formally verified optimizing compiler. In ERTS 2016: Embedded Real Time Software and Systems. SEE, 2016."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386020"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2018.00026"},{"key":"e_1_3_2_1_20_1","volume-title":"Debug info for optimized code. https:\/\/llvm.org\/ devmtg\/2018-10\/slides\/Prantl-Kumar-debug-info-bof-2018.pdf","author":"Prantl Adrian","year":"2020","unstructured":"Adrian Prantl and Vedant Kumar . Debug info for optimized code. https:\/\/llvm.org\/ devmtg\/2018-10\/slides\/Prantl-Kumar-debug-info-bof-2018.pdf , 2020 . [Online; accessed 27-July-2020]. Adrian Prantl and Vedant Kumar. Debug info for optimized code. https:\/\/llvm.org\/ devmtg\/2018-10\/slides\/Prantl-Kumar-debug-info-bof-2018.pdf, 2020. [Online; accessed 27-July-2020]."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2654822.2541980"},{"key":"e_1_3_2_1_23_1","volume-title":"pygdbmi-get structured output from gdb's machine interface. https:\/\/github.com\/cs01\/pygdbmi","author":"Smith Chad","year":"2020","unstructured":"Chad Smith . pygdbmi-get structured output from gdb's machine interface. https:\/\/github.com\/cs01\/pygdbmi , 2020 . [Online; accessed 27-July-2020]. Chad Smith. pygdbmi-get structured output from gdb's machine interface. https:\/\/github.com\/cs01\/pygdbmi, 2020. [Online; accessed 27-July-2020]."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330567"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178430"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.09.005"}],"event":{"name":"ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Virtual USA","acronym":"ASPLOS '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3445814.3446695","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3445814.3446695","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:28:14Z","timestamp":1750181294000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3445814.3446695"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,17]]},"references-count":28,"alternative-id":["10.1145\/3445814.3446695","10.1145\/3445814"],"URL":"https:\/\/doi.org\/10.1145\/3445814.3446695","relation":{},"subject":[],"published":{"date-parts":[[2021,4,17]]},"assertion":[{"value":"2021-04-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}