{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T04:29:08Z","timestamp":1766377748101,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,7]],"date-time":"2021-04-07T00:00:00Z","timestamp":1617753600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"The National Science Foundation","award":["1908313"],"award-info":[{"award-number":["1908313"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,4,16]]},"DOI":"10.1145\/3453933.3454021","type":"proceedings-article","created":{"date-parts":[[2021,4,8]],"date-time":"2021-04-08T05:33:57Z","timestamp":1617860037000},"page":"153-164","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Automated bug localization in JIT compilers"],"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":[[2021,4,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Mohammed Aboullaite. 2017. Understanding JIT compiler (just-in-time compiler). https:\/\/aboullaite.me \/understanding-jit-compiler-just-intime-compiler\/  Mohammed Aboullaite. 2017. Understanding JIT compiler (just-in-time compiler). https:\/\/aboullaite.me \/understanding-jit-compiler-just-intime-compiler\/"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/249069.231388"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143108"},{"key":"e_1_3_2_1_4_1","unstructured":"bugs.chromium.org. 2016. Issue 5129: Turbofan changes ? < 0 to < which is not equivalent when ( ? ) overflows. https:\/\/bugs.chromium.org\/p\/v8\/issues\/detail?id= 5129  bugs.chromium.org. 2016. Issue 5129: Turbofan changes ? < 0 to < which is not equivalent when ( ? ) overflows. https:\/\/bugs.chromium.org\/p\/v8\/issues\/detail?id= 5129"},{"key":"e_1_3_2_1_5_1","unstructured":"bugs.chromium.org. 2018. Issue 8056 : [turbofan] Optimized Array#indexOf and Array#includes ignore a prototype that is not initial. https:\/\/bugs.chromium.org\/p\/v8\/issues\/detail?id= 8056  bugs.chromium.org. 2018. Issue 8056 : [turbofan] Optimized Array#indexOf and Array#includes ignore a prototype that is not initial. https:\/\/bugs.chromium.org\/p\/v8\/issues\/detail?id= 8056"},{"key":"e_1_3_2_1_6_1","unstructured":"bugs.chromium.org. 2019. Issue 961237: Security: jit diference on comparison in d8. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/ detail?id= 961237  bugs.chromium.org. 2019. Issue 961237: Security: jit diference on comparison in d8. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/ detail?id= 961237"},{"key":"e_1_3_2_1_7_1","unstructured":"bugs.chromium.org. 2020. Issue 1072171: Security: missing the-0 case when intersecting and computing the Type::Range in NumberMax. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id= 1072171  bugs.chromium.org. 2020. Issue 1072171: Security: missing the-0 case when intersecting and computing the Type::Range in NumberMax. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id= 1072171"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070506"},{"key":"e_1_3_2_1_9_1","unstructured":"Adam C. Conrad. 2018. How JavaScript Engines Work. https:\/\/adamconrad.dev\/blog\/how-javascript-engines-work  Adam C. Conrad. 2018. How JavaScript Engines Work. https:\/\/adamconrad.dev\/blog\/how-javascript-engines-work"},{"key":"e_1_3_2_1_10_1","unstructured":"Max Copperman. 1992. Debugging Optimized Code Without Being Misled.  Max Copperman. 1992. Debugging Optimized Code Without Being Misled."},{"key":"e_1_3_2_1_11_1","unstructured":"Apple developers. [n.d.]. JavaScriptCore. https:\/\/developer.apple.com\/ documentation\/javascriptcore  Apple developers. [n.d.]. JavaScriptCore. https:\/\/developer.apple.com\/ documentation\/javascriptcore"},{"key":"e_1_3_2_1_12_1","unstructured":"Google V8 developers. [n.d.]. V8. https:\/\/v8.dev\/  Google V8 developers. [n.d.]. V8. https:\/\/v8.dev\/"},{"key":"e_1_3_2_1_13_1","unstructured":"Microsoft Chakra developers. [n.d.]. ChakraCore. https:\/\/github.com\/ chakra-core\/ChakraCore  Microsoft Chakra developers. [n.d.]. ChakraCore. https:\/\/github.com\/ chakra-core\/ChakraCore"},{"key":"e_1_3_2_1_14_1","unstructured":"JS Foundation. [n.d.]. esprima-python. https:\/\/github.com\/Kronuz\/ esprima-python  JS Foundation. [n.d.]. esprima-python. https:\/\/github.com\/Kronuz\/ esprima-python"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101948"},{"key":"e_1_3_2_1_16_1","unstructured":"Franziska Hinkelmann. 2017. Understanding V8's Bytecode. https:\/\/medium.com\/dailyjs\/understanding-v8s-bytecode-317d46c94775  Franziska Hinkelmann. 2017. Understanding V8's Bytecode. https:\/\/medium.com\/dailyjs\/understanding-v8s-bytecode-317d46c94775"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Urs Holzle. 1992. Debugging optimized code with dynamic deoptimization. ACM Sigplan Notices 27 ( 1992 ). Issue 7.  Urs Holzle. 1992. Debugging optimized code with dynamic deoptimization. ACM Sigplan Notices 27 ( 1992 ). Issue 7.","DOI":"10.1145\/143103.143114"},{"key":"e_1_3_2_1_18_1","unstructured":"Fedor Indutny. 2015. Sea of Nodes. https:\/\/darksi.de\/d.sea-of-nodes\/  Fedor Indutny. 2015. Sea of Nodes. https:\/\/darksi.de\/d.sea-of-nodes\/"},{"key":"e_1_3_2_1_19_1","unstructured":"Intel Corp. [n.d.]. Intel XED. https:\/\/intelxed.github.io.  Intel Corp. [n.d.]. Intel XED. https:\/\/intelxed.github.io."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321660"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869481"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2017.24"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","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-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-154.","DOI":"10.1145\/780822.781148"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Ben Liblit Mayur Naik Alice X Zheng Alex Aiken and Michael I Jordan. 2005. Scalable statistical bug isolation. Acm Sigplan Notices 40 6 ( 2005 ) 15-26.  Ben Liblit Mayur Naik Alice X Zheng Alex Aiken and Michael I Jordan. 2005. Scalable statistical bug isolation. Acm Sigplan Notices 40 6 ( 2005 ) 15-26.","DOI":"10.1145\/1064978.1065014"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Chao Liu Xifeng Yan Long Fei Jiawei Han and Samuel P Midkif. 2005. SOBER: statistical model-based bug localization. ACM SIGSOFT Software Engineering Notes 30 5 ( 2005 ) 286-295.  Chao Liu Xifeng Yan Long Fei Jiawei Han and Samuel P Midkif. 2005. SOBER: statistical model-based bug localization. ACM SIGSOFT Software Engineering Notes 30 5 ( 2005 ) 286-295.","DOI":"10.1145\/1095430.1081753"},{"key":"e_1_3_2_1_27_1","unstructured":"lokihardt. 2017. Issue 791245: Security: V8: JIT: Simplified-lowererer IrOpcode::kStoreField IrOpcode::kStoreElement optimization bug. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id= 791245  lokihardt. 2017. Issue 791245: Security: V8: JIT: Simplified-lowererer IrOpcode::kStoreField IrOpcode::kStoreElement optimization bug. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id= 791245"},{"key":"e_1_3_2_1_28_1","first-page":"190","volume-title":"Proc. ACM Conference on Programming Language Design and Implementation (PLDI)","author":"Luk C.-K.","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 - 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-200."},{"key":"e_1_3_2_1_29_1","volume-title":"Etzkorn","author":"Lukins Stacy K.","year":"2010","unstructured":"Stacy K. Lukins , Nicholas A. Kraft , and Letha H . Etzkorn . 2010 . Bug localization using latent Dirichlet allocation. Information and Software Technology 52, 9 ( 2010 ), 972-990. Stacy K. Lukins, Nicholas A. Kraft, and Letha H. Etzkorn. 2010. Bug localization using latent Dirichlet allocation. Information and Software Technology 52, 9 ( 2010 ), 972-990."},{"key":"e_1_3_2_1_30_1","unstructured":"Benedikt Meurer. 2017. An Introduction to Speculative Optimization in V8. https:\/\/ponyfoo.com \/articles\/an-introduction-to-speculativeoptimization-in-v8  Benedikt Meurer. 2017. An Introduction to Speculative Optimization in V8. https:\/\/ponyfoo.com \/articles\/an-introduction-to-speculativeoptimization-in-v8"},{"key":"e_1_3_2_1_31_1","unstructured":"Mozilla. [n.d.]. SpiderMonkey: The Mozilla JavaScript runtime. https:\/\/developer.mozilla.org\/en-US\/docs\/Mozilla\/Projects\/SpiderMonkey  Mozilla. [n.d.]. SpiderMonkey: The Mozilla JavaScript runtime. https:\/\/developer.mozilla.org\/en-US\/docs\/Mozilla\/Projects\/SpiderMonkey"},{"key":"e_1_3_2_1_32_1","volume-title":"Mohammed Atiquzzaman, and Shutao Xia.","author":"Peng Zhendong","year":"2020","unstructured":"Zhendong Peng , Xi Xiao , Guangwu Hu , Arun Kumar Sangaiah , Mohammed Atiquzzaman, and Shutao Xia. 2020 . ABFL : An autoencoder based practical approach for software fault localization. Information Sciences 510 ( 2020 ), 108-121. Zhendong Peng, Xi Xiao, Guangwu Hu, Arun Kumar Sangaiah, Mohammed Atiquzzaman, and Shutao Xia. 2020. ABFL: An autoencoder based practical approach for software fault localization. Information Sciences 510 ( 2020 ), 108-121."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3345629.3345632"},{"key":"e_1_3_2_1_34_1","unstructured":"Jordan Rabet. 2017. Browser security beyond sandboxing. Microsoft Windows Defender Research. https:\/\/cloudblogs.microsoft.com\/microsoftsecure\/2017\/ 10\/18\/browser-security-beyond-sandboxing.  Jordan Rabet. 2017. Browser security beyond sandboxing. Microsoft Windows Defender Research. https:\/\/cloudblogs.microsoft.com\/microsoftsecure\/2017\/ 10\/18\/browser-security-beyond-sandboxing."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693093"},{"key":"e_1_3_2_1_36_1","unstructured":"Jaroslav Sevcik. 2016. Deoptimization in V8. https:\/\/docs.google. com\/presentation\/d\/1Z6oCocRASCf TqGq1GCo1jbULDGS-wnzxkbVF7Up0u0\/htmlpresent  Jaroslav Sevcik. 2016. Deoptimization in V8. https:\/\/docs.google. com\/presentation\/d\/1Z6oCocRASCf TqGq1GCo1jbULDGS-wnzxkbVF7Up0u0\/htmlpresent"},{"volume-title":"Virtual machines: versatile platforms for systems and processes","author":"Smith Jim","key":"e_1_3_2_1_37_1","unstructured":"Jim Smith and Ravi Nair . 2005. Virtual machines: versatile platforms for systems and processes . Elsevier . Jim Smith and Ravi Nair. 2005. Virtual machines: versatile platforms for systems and processes. Elsevier."},{"key":"e_1_3_2_1_38_1","unstructured":"Yusuke Suzuki. [n.d.]. Edcodegen. https:\/\/github.com\/estools\/ escodegen  Yusuke Suzuki. [n.d.]. Edcodegen. https:\/\/github.com\/estools\/ escodegen"},{"volume-title":"Proceedings of ACM SIGPLAN Workshop on Program Analysis for Software Tools and Engineering. ACM.","author":"Tice Caroline","key":"e_1_3_2_1_39_1","unstructured":"Caroline Tice and Susan L. Graham . 1998. OPTVIEW: A New Approach for Examining Optimized Code . In Proceedings of ACM SIGPLAN Workshop on Program Analysis for Software Tools and Engineering. ACM. Caroline Tice and Susan L. Graham. 1998. OPTVIEW: A New Approach for Examining Optimized Code. In Proceedings of ACM SIGPLAN Workshop on Program Analysis for Software Tools and Engineering. ACM."},{"key":"e_1_3_2_1_40_1","unstructured":"Ben L. Titzer. 2015. Digging into the TurboFan JIT. https:\/\/v8.dev\/blog\/turbofan-jit.  Ben L. Titzer. 2015. Digging into the TurboFan JIT. https:\/\/v8.dev\/blog\/turbofan-jit."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341105.3374005"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591099"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337226"}],"event":{"name":"VEE '21: 17th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Virtual USA","acronym":"VEE '21"},"container-title":["Proceedings of the 17th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453933.3454021","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453933.3454021","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453933.3454021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:51Z","timestamp":1750193271000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453933.3454021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,7]]},"references-count":42,"alternative-id":["10.1145\/3453933.3454021","10.1145\/3453933"],"URL":"https:\/\/doi.org\/10.1145\/3453933.3454021","relation":{},"subject":[],"published":{"date-parts":[[2021,4,7]]},"assertion":[{"value":"2021-04-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}