{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T11:55:42Z","timestamp":1762084542052,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T00:00:00Z","timestamp":1676592000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1908313"],"award-info":[{"award-number":["1908313"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,2,17]]},"DOI":"10.1145\/3578360.3580260","type":"proceedings-article","created":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T20:20:06Z","timestamp":1676665206000},"page":"145-155","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End"],"prefix":"10.1145","author":[{"given":"HeuiChan","family":"Lim","sequence":"first","affiliation":[{"name":"University of Arizona, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saumya","family":"Debray","sequence":"additional","affiliation":[{"name":"University of Arizona, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"n.d. Project Zero: News and updates from the Project Zero team at Google. https:\/\/googleprojectzero.blogspot.com\/ \t\t\t\t  n.d. Project Zero: News and updates from the Project Zero team at Google. https:\/\/googleprojectzero.blogspot.com\/"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the ACM SIGPLAN\u201993 Conference on Programming Language Design and Implementation (PLDI)","author":"Mickey","year":"1993","unstructured":"Mickey R. Boyd and David B. Whalley. 1993. Isolation and Analysis of Optimization Errors . In Proceedings of the ACM SIGPLAN\u201993 Conference on Programming Language Design and Implementation (PLDI) , Albuquerque, New Mexico, USA , June 23-25, 1993 , Robert Cartwright (Ed.). ACM, 26\u201335. https:\/\/doi.org\/10.1145\/155090.155093 10.1145\/155090.155093 10.1145\/155090.155093 Mickey R. Boyd and David B. Whalley. 1993. Isolation and Analysis of Optimization Errors. In Proceedings of the ACM SIGPLAN\u201993 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, Robert Cartwright (Ed.). ACM, 26\u201335. https:\/\/doi.org\/10.1145\/155090.155093 10.1145\/155090.155093"},{"key":"e_1_3_2_1_3_1","unstructured":"bugzilla.mozilla.org. n.d.. Bug Writing Guidelines. https:\/\/bugzilla.mozilla.org\/page.cgi?id=bug-writing.html \t\t\t\t  bugzilla.mozilla.org. n.d.. Bug Writing Guidelines. https:\/\/bugzilla.mozilla.org\/page.cgi?id=bug-writing.html"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/SIGSOFT FSE 2019","author":"Chen Junjie","year":"2019","unstructured":"Junjie Chen , Jiaqi Han , Peiyi Sun , Lingming Zhang , Dan Hao , and Lu Zhang . 2019 . Compiler bug isolation via effective witness test program generation . In Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/SIGSOFT FSE 2019 , Tallinn, Estonia , August 26-30, 2019, Marlon Dumas, Dietmar Pfahl, Sven Apel, and Alessandra Russo (Eds.). ACM, 223\u2013234. https:\/\/doi.org\/10.1145\/3338906.3338957 10.1145\/3338906.3338957 10.1145\/3338906.3338957 Junjie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao, and Lu Zhang. 2019. Compiler bug isolation via effective witness test program generation. In Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019, Marlon Dumas, Dietmar Pfahl, Sven Apel, and Alessandra Russo (Eds.). ACM, 223\u2013234. https:\/\/doi.org\/10.1145\/3338906.3338957 10.1145\/3338906.3338957"},{"key":"e_1_3_2_1_5_1","volume-title":"35th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2020","author":"Chen Junjie","year":"2020","unstructured":"Junjie Chen , Haoyang Ma , and Lingming Zhang . 2020 . Enhanced Compiler Bug Isolation via Memoized Search . In 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2020 , Melbourne, Australia , September 21-25, 2020. IEEE, 78\u201389. https:\/\/doi.org\/10.1145\/3324884.3416570 10.1145\/3324884.3416570 10.1145\/3324884.3416570 Junjie Chen, Haoyang Ma, and Lingming Zhang. 2020. Enhanced Compiler Bug Isolation via Memoized Search. In 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020. IEEE, 78\u201389. https:\/\/doi.org\/10.1145\/3324884.3416570 10.1145\/3324884.3416570"},{"key":"e_1_3_2_1_6_1","volume-title":"2009 IEEE 31st International Conference on Software Engineering. 34\u201344","author":"Chilimbi Trishul M","year":"2009","unstructured":"Trishul M Chilimbi , Ben Liblit , Krishna Mehra , Aditya V Nori , and Kapil Vaswani . 2009 . HOLMES: Effective statistical debugging via efficient path profiling . In 2009 IEEE 31st International Conference on Software Engineering. 34\u201344 . Trishul M Chilimbi, Ben Liblit, Krishna Mehra, Aditya V Nori, and Kapil Vaswani. 2009. HOLMES: Effective statistical debugging via efficient path profiling. In 2009 IEEE 31st International Conference on Software Engineering. 34\u201344."},{"key":"e_1_3_2_1_7_1","unstructured":"chromium.org. n.d.. Reporting Security Bugs. https:\/\/www.chromium.org\/Home\/chromium-security\/reporting-security-bugs\/ \t\t\t\t  chromium.org. n.d.. Reporting Security Bugs. https:\/\/www.chromium.org\/Home\/chromium-security\/reporting-security-bugs\/"},{"key":"e_1_3_2_1_8_1","unstructured":"JS Foundation. 2012. esprima-python. https:\/\/github.com\/Kronuz\/esprima-python \t\t\t\t  JS Foundation. 2012. esprima-python. https:\/\/github.com\/Kronuz\/esprima-python"},{"key":"e_1_3_2_1_9_1","unstructured":"Mozilla Foundation. n.d.. IonMonkey\/LIR. https:\/\/wiki.mozilla.org\/IonMonkey\/LIR \t\t\t\t  Mozilla Foundation. n.d.. IonMonkey\/LIR. https:\/\/wiki.mozilla.org\/IonMonkey\/LIR"},{"key":"e_1_3_2_1_10_1","unstructured":"Google. n.d. V8 Instruction Class. https:\/\/github.com\/v8\/v8\/blob\/main\/src\/compiler\/backend\/instruction.h##L859 \t\t\t\t  Google. n.d. V8 Instruction Class. https:\/\/github.com\/v8\/v8\/blob\/main\/src\/compiler\/backend\/instruction.h##L859"},{"key":"e_1_3_2_1_11_1","unstructured":"Apple Inc.. n.d.. Bare Bones Backend\/B3 Intermediate Representation. https:\/\/webkit.org\/docs\/b3\/intermediate-representation.html \t\t\t\t  Apple Inc.. n.d.. Bare Bones Backend\/B3 Intermediate Representation. https:\/\/webkit.org\/docs\/b3\/intermediate-representation.html"},{"key":"e_1_3_2_1_12_1","unstructured":"Fedor Indutny. 2015. Sea of Nodes. Accessed 2021-02-22 \t\t\t\t  Fedor Indutny. 2015. Sea of Nodes. Accessed 2021-02-22"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering. 184\u2013193","author":"Jiang Lingxiao","year":"2007","unstructured":"Lingxiao Jiang and Zhendong Su . 2007 . Context-aware statistical debugging: from bug predictors to faulty control flow paths . In Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering. 184\u2013193 . Lingxiao Jiang and Zhendong Su. 2007. Context-aware statistical debugging: from bug predictors to faulty control flow paths. In Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering. 184\u2013193."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 241\u2013255","author":"Jin Guoliang","year":"2010","unstructured":"Guoliang Jin , Aditya Thakur , Ben Liblit , and Shan Lu . 2010 . Instrumentation and sampling strategies for cooperative concurrency bug isolation . In Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 241\u2013255 . Guoliang Jin, Aditya Thakur, Ben Liblit, and Shan Lu. 2010. Instrumentation and sampling strategies for cooperative concurrency bug isolation. In Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 241\u2013255."},{"key":"#cr-split#-e_1_3_2_1_15_1.1","doi-asserted-by":"crossref","unstructured":"Pavneet Singh Kochhar Xin Xia David Lo and Shanping Li. 2016. Practitioners' expectations on automated fault localization. 165-176. https:\/\/doi.org\/10.1145\/2931037.2931051 10.1145\/2931037.2931051 10.1145\/2931037.2931051","DOI":"10.1145\/2931037.2931051"},{"key":"#cr-split#-e_1_3_2_1_15_1.2","doi-asserted-by":"crossref","unstructured":"Pavneet Singh Kochhar Xin Xia David Lo and Shanping Li. 2016. Practitioners' expectations on automated fault localization. 165-176. https:\/\/doi.org\/10.1145\/2931037.2931051 10.1145\/2931037.2931051","DOI":"10.1145\/2931037.2931051"},{"key":"e_1_3_2_1_16_1","first-page":"2022","volume-title":"The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA","author":"Li Xia","year":"2022","unstructured":"Xia Li and Durga Nagarjuna Tadikonda . 2022 . Improving Mutation-Based Fault Localization via Mutant Categorization . In The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA , July 1 - July 10, 2022, Rong Peng, Carlos Eduardo Pantoja, and Pankaj Kamthan (Eds.). KSI Research Inc., 166\u2013171. https:\/\/doi.org\/10. 18293\/SEKE2022-157 10.18293\/SEKE 2022 - 2157 10.18293\/SEKE2022-157 Xia Li and Durga Nagarjuna Tadikonda. 2022. Improving Mutation-Based Fault Localization via Mutant Categorization. In The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022, Rong Peng, Carlos Eduardo Pantoja, and Pankaj Kamthan (Eds.). KSI Research Inc., 166\u2013171. https:\/\/doi.org\/10.18293\/SEKE2022-157 10.18293\/SEKE2022-157"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1145\/780822.781148","article-title":"Bug isolation via remote program sampling","volume":"38","author":"Liblit Ben","year":"2003","unstructured":"Ben Liblit , Alex Aiken , Alice X Zheng , and Michael I Jordan . 2003 . Bug isolation via remote program sampling . ACM Sigplan Notices , 38 , 5 (2003), 141 \u2013 154 . Ben Liblit, Alex Aiken, Alice X Zheng, and Michael I Jordan. 2003. Bug isolation via remote program sampling. ACM Sigplan Notices, 38, 5 (2003), 141\u2013154.","journal-title":"ACM Sigplan Notices"},{"key":"e_1_3_2_1_18_1","volume-title":"17th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments, Virtual USA","author":"Lim HeuiChan","year":"2021","unstructured":"HeuiChan Lim and Saumya Debray . 2021 . Automated bug localization in JIT compilers. In VEE \u201921 : 17th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments, Virtual USA , April 16, 2021, Ben L. Titzer, Harry Xu, and Irene Zhang (Eds.). ACM, 153\u2013164. https:\/\/doi.org\/10.1145\/3453933.3454021 10.1145\/3453933.3454021 10.1145\/3453933.3454021 HeuiChan Lim and Saumya Debray. 2021. Automated bug localization in JIT compilers. In VEE \u201921: 17th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments, Virtual USA, April 16, 2021, Ben L. Titzer, Harry Xu, and Irene Zhang (Eds.). ACM, 153\u2013164. https:\/\/doi.org\/10.1145\/3453933.3454021 10.1145\/3453933.3454021"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP","author":"Lim HeuiChan","year":"2022","unstructured":"HeuiChan Lim , Xiyu Kang , and Saumya Debray . 2022 . Modeling Code Manipulation in JIT Compilers . In Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022). 9\u201315. HeuiChan Lim, Xiyu Kang, and Saumya Debray. 2022. Modeling Code Manipulation in JIT Compilers. In Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022). 9\u201315."},{"key":"e_1_3_2_1_20_1","first-page":"190","article-title":"Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI)","author":"Luk C.-K.","year":"2005","unstructured":"C.-K. Luk , R. Cohn , R. Muth , H. Patil , A. Klauser , G. Lowney , S. Wallace , V. J. Reddi , and K. Hazelwood . 2005 . Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI) . Chicago , IL. 190 \u2013 200 . C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. 2005. Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI). Chicago, IL. 190\u2013200.","journal-title":"Chicago"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC-PICom-DataCom-CyberSciTec.2016.73"},{"key":"e_1_3_2_1_22_1","unstructured":"Oracle. 2010. Instructions Operands and Addressing. \t\t\t\t  Oracle. 2010. Instructions Operands and Addressing."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1509"},{"key":"e_1_3_2_1_24_1","unstructured":"Yusuke Suzuki. 2012. Edcodegen. https:\/\/github.com\/estools\/escodegen \t\t\t\t  Yusuke Suzuki. 2012. Edcodegen. https:\/\/github.com\/estools\/escodegen"},{"key":"e_1_3_2_1_25_1","unstructured":"Adrian Taylor. 2021. Issue 1196683: Security: 2021 pwn2own entry. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id=1196683 \t\t\t\t  Adrian Taylor. 2021. Issue 1196683: Security: 2021 pwn2own entry. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id=1196683"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186103"},{"key":"e_1_3_2_1_27_1","volume-title":"IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022","author":"Yang Jing","year":"2022","unstructured":"Jing Yang , Yibiao Yang , Maolin Sun , Ming Wen , Yuming Zhou , and Hai Jin . 2022 . Isolating Compiler Optimization Faults via Differentiating Finer-grained Options . In IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022 , Honolulu, HI, USA , March 15-18, 2022. IEEE, 481\u2013491. https:\/\/doi.org\/10.1109\/SANER53432.2022.00065 10.1109\/SANER53432.2022.00065 10.1109\/SANER53432.2022.00065 Jing Yang, Yibiao Yang, Maolin Sun, Ming Wen, Yuming Zhou, and Hai Jin. 2022. Isolating Compiler Optimization Faults via Differentiating Finer-grained Options. In IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022, Honolulu, HI, USA, March 15-18, 2022. IEEE, 481\u2013491. https:\/\/doi.org\/10.1109\/SANER53432.2022.00065 10.1109\/SANER53432.2022.00065"},{"key":"e_1_3_2_1_28_1","unstructured":"Michal Zalewski. 2013. american fuzzy loop. https:\/\/lcamtuf.coredump.cx\/afl\/ \t\t\t\t  Michal Zalewski. 2013. american fuzzy loop. https:\/\/lcamtuf.coredump.cx\/afl\/"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2022.3165378"}],"event":{"name":"CC '23: 32nd ACM SIGPLAN International Conference on Compiler Construction","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Montr\u00e9al QC Canada","acronym":"CC '23"},"container-title":["Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578360.3580260","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3578360.3580260","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:52Z","timestamp":1750178812000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578360.3580260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,17]]},"references-count":30,"alternative-id":["10.1145\/3578360.3580260","10.1145\/3578360"],"URL":"https:\/\/doi.org\/10.1145\/3578360.3580260","relation":{},"subject":[],"published":{"date-parts":[[2023,2,17]]},"assertion":[{"value":"2023-02-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}