{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T12:16:30Z","timestamp":1780661790679,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":122,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,26]],"date-time":"2026-04-26T00:00:00Z","timestamp":1777161600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,27]]},"DOI":"10.1145\/3767295.3803600","type":"proceedings-article","created":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T20:20:04Z","timestamp":1777062004000},"page":"1023-1040","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["No More Translation at Runtime: LLM-Empowered Static Binary Translation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7872-1129","authenticated-orcid":false,"given":"Zhibo","family":"Liu","sequence":"first","affiliation":[{"name":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"},{"name":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1066-0331","authenticated-orcid":false,"given":"Huaijin","family":"Wang","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2583-0698","authenticated-orcid":false,"given":"Wai Kin","family":"Wong","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3752-0718","authenticated-orcid":false,"given":"Daoyuan","family":"Wu","sequence":"additional","affiliation":[{"name":"Lingnan University, Hong Kong, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0308","authenticated-orcid":false,"given":"Shuai","family":"Wang","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,4,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/github.com\/choushunn\/awesome-RK3588\/tree\/develop","author":"Useful","year":"2024","unstructured":"Useful resources for developing with the rk3588. https:\/\/github.com\/choushunn\/awesome-RK3588\/tree\/develop, 2024."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319647.3325833"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342195.3387550"},{"key":"e_1_3_2_1_4_1","first-page":"600","volume-title":"Asia Slowinska, and Herbert Bos. An {In-Depth} analysis of disassembly on {Full-Scale} x86\/x64 binaries. In 25th USENIX security symposium (USENIX security 16)","author":"Andriesse Dennis","year":"2016","unstructured":"Dennis Andriesse, Xi Chen, Victor Van Der Veen, Asia Slowinska, and Herbert Bos. An {In-Depth} analysis of disassembly on {Full-Scale} x86\/x64 binaries. In 25th USENIX security symposium (USENIX security 16), pages 583\u2013600, 2016."},{"key":"e_1_3_2_1_5_1","volume-title":"Apple introduces m4 chip. https:\/\/www.apple.com\/ci\/newsroom\/2024\/05\/apple-introduces-m4-chip\/","year":"2024","unstructured":"Apple. Apple introduces m4 chip. https:\/\/www.apple.com\/ci\/newsroom\/2024\/05\/apple-introduces-m4-chip\/, 2024."},{"key":"e_1_3_2_1_6_1","volume-title":"Apple silicon. https:\/\/developer.apple.com\/documentation\/apple-silicon","year":"2024","unstructured":"Apple. Apple silicon. https:\/\/developer.apple.com\/documentation\/apple-silicon, 2024."},{"key":"e_1_3_2_1_7_1","volume-title":"Porting your macos apps to apple silicon. https:\/\/developer.apple.com\/documentation\/apple-silicon\/porting-your-macos-apps-to-apple-silicon","year":"2024","unstructured":"Apple. Porting your macos apps to apple silicon. https:\/\/developer.apple.com\/documentation\/apple-silicon\/porting-your-macos-apps-to-apple-silicon, 2024."},{"key":"e_1_3_2_1_8_1","volume-title":"Rosetta translation environment. https:\/\/developer.apple.com\/documentation\/apple-silicon\/about-the-rosetta-translation-environment","year":"2024","unstructured":"Apple. Rosetta translation environment. https:\/\/developer.apple.com\/documentation\/apple-silicon\/about-the-rosetta-translation-environment, 2024."},{"key":"e_1_3_2_1_9_1","unstructured":"ARM. What is neon? https:\/\/developer.arm.com\/documentation\/dht0002\/a\/Introducing-NEON\/What-is-NEON- 2024."},{"key":"e_1_3_2_1_10_1","volume-title":"https:\/\/github.com\/ARM-software\/abi-aa\/blob\/2982a9f3b512a5bfdc9e3fea5d3b298f9165c36b\/bsabi32\/bsabi32.rst","author":"ARM.","year":"2025","unstructured":"ARM. Application binary interface for the arm\u00ae architecture - the base standard. https:\/\/github.com\/ARM-software\/abi-aa\/blob\/2982a9f3b512a5bfdc9e3fea5d3b298f9165c36b\/bsabi32\/bsabi32.rst, 2025."},{"key":"e_1_3_2_1_11_1","volume-title":"https:\/\/github.com\/ARM-software\/abi-aa\/blob\/2982a9f3b512a5bfdc9e3fea5d3b298f9165c36b\/aapcs32\/aapcs32.rst#the-base-procedure-call-standard","author":"ARM.","year":"2025","unstructured":"ARM. Procedure call standard for the arm architecture. https:\/\/github.com\/ARM-software\/abi-aa\/blob\/2982a9f3b512a5bfdc9e3fea5d3b298f9165c36b\/aapcs32\/aapcs32.rst#the-base-procedure-call-standard, 2025."},{"key":"e_1_3_2_1_12_1","volume-title":"Retargetable machine-code decompiler based on llvm. https:\/\/github.com\/avast\/retdec","year":"2025","unstructured":"Avast. Retargetable machine-code decompiler based on llvm. https:\/\/github.com\/avast\/retdec, 2025."},{"key":"e_1_3_2_1_13_1","volume-title":"Camil Demetrescu, and Irene Finocchi. A survey of symbolic execution techniques. ACM Computing Surveys (CSUR), 51(3):1\u201339","author":"Baldoni Roberto","year":"2018","unstructured":"Roberto Baldoni, Emilio Coppa, Daniele Cono D'elia, Camil Demetrescu, and Irene Finocchi. A survey of symbolic execution techniques. ACM Computing Surveys (CSUR), 51(3):1\u201339, 2018."},{"key":"e_1_3_2_1_14_1","first-page":"192","volume-title":"OSDI","volume":"8","author":"Bansal Sorav","year":"2008","unstructured":"Sorav Bansal and Alex Aiken. Binary translation using peephole superoptimizers. In OSDI, volume 8, pages 177\u2013192, 2008."},{"issue":"145","key":"e_1_3_2_1_15_1","first-page":"3","article-title":"a multihost, multitarget emulator","volume":"2006","author":"Bartholomew Daniel","year":"2006","unstructured":"Daniel Bartholomew. Qemu: a multihost, multitarget emulator. Linux Journal, 2006(145):3, 2006.","journal-title":"Linux Journal"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3579849"},{"key":"e_1_3_2_1_17_1","first-page":"5555","volume-title":"FREENIX Track","volume":"41","author":"Bellard Fabrice","unstructured":"Fabrice Bellard. Qemu, a fast and portable dynamic translator. In USENIX annual technical conference, FREENIX Track, volume 41, pages 10\u20135555. California, USA, 2005."},{"key":"e_1_3_2_1_18_1","volume-title":"Using the stack in aarch64: Implementing push and pop. https:\/\/community.arm.com\/arm-community-blogs\/b\/architectures-and-processors-blog\/posts\/using-the-stack-in-aarch64-implementing-push-and-pop","author":"Bramley Jacob","year":"2015","unstructured":"Jacob Bramley. Using the stack in aarch64: Implementing push and pop. https:\/\/community.arm.com\/arm-community-blogs\/b\/architectures-and-processors-blog\/posts\/using-the-stack-in-aarch64-implementing-push-and-pop, 2015."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185768.3185771"},{"key":"e_1_3_2_1_20_1","first-page":"224","volume-title":"OSDI","volume":"8","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, Dawson R Engler, et al. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, volume 8, pages 209\u2013224, 2008."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3641289"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3708493.3712693"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314596"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_24"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626772.3657834"},{"key":"e_1_3_2_1_26_1","volume-title":"Meta large language model compiler: Foundation models of compiler optimization. arXiv preprint arXiv:2407.02524","author":"Cummins Chris","year":"2024","unstructured":"Chris Cummins, Volker Seeker, Dejan Grubisic, Baptiste Roziere, Jonas Gehring, Gabriel Synnaeve, and Hugh Leather. Meta large language model compiler: Foundation models of compiler optimization. arXiv preprint arXiv:2407.02524, 2024."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75280"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/864891"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3050748.3050756"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385964"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314601"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_33_1","first-page":"1019","volume-title":"Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications","volume":"2","author":"Sutter B De","unstructured":"B De Sutter, K De Bosschere, Peter Keyngnaert, and Bart Demoen. On the static analysis of indirect control transfers in binaries. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, volume 2, pages 1013\u20131019. CSREA PRESS, 2000."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3627703.3650065"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCST.2018.8585654"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033019.3033028"},{"key":"e_1_3_2_1_37_1","volume-title":"ReCon 2014 Conference","author":"Dinaburg Artem","year":"2014","unstructured":"Artem Dinaburg and Andrew Ruef. Mcsema: Static translation of x86 instructions to llvm. In ReCon 2014 Conference, Montreal, Canada, 2014."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00009"},{"key":"e_1_3_2_1_39_1","volume-title":"https:\/\/www.eembc.org\/coremark\/","author":"EEMBC.","year":"2025","unstructured":"EEMBC. Coremark-pro. https:\/\/www.eembc.org\/coremark\/, 2025."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453933.3454022"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3381052.3381319"},{"key":"e_1_3_2_1_42_1","first-page":"1092","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Flores-Montoya Antonio","year":"2020","unstructured":"Antonio Flores-Montoya and Eric Schulte. Datalog disassembly. In 29th USENIX Security Symposium (USENIX Security 20), pages 1075\u20131092, 2020."},{"key":"e_1_3_2_1_43_1","volume-title":"Amazon's arm-based graviton2 against amd and intel: Comparing cloud compute","author":"Frumusanu Andrei","year":"2020","unstructured":"Andrei Frumusanu. Amazon's arm-based graviton2 against amd and intel: Comparing cloud compute, 2020."},{"issue":"23","key":"e_1_3_2_1_44_1","first-page":"87","article-title":"Exploring coremark a benchmark maximizing simplicity and efficacy","volume":"6","author":"Gal-On Shay","year":"2012","unstructured":"Shay Gal-On and Markus Levy. Exploring coremark a benchmark maximizing simplicity and efficacy. The Embedded Microprocessor Benchmark Consortium, 6(23):87, 2012.","journal-title":"The Embedded Microprocessor Benchmark Consortium"},{"key":"e_1_3_2_1_45_1","volume-title":"Retrieval-augmented generation for large language models: A survey. arXiv preprint arXiv:2312.10997, 2(1)","author":"Gao Yunfan","year":"2023","unstructured":"Yunfan Gao, Yun Xiong, Xinyu Gao, Kangxiang Jia, Jinliu Pan, Yuxi Bi, Yixin Dai, Jiawei Sun, Haofen Wang, and Haofen Wang. Retrieval-augmented generation for large language models: A survey. arXiv preprint arXiv:2312.10997, 2(1), 2023."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3567955.3567962"},{"key":"e_1_3_2_1_47_1","volume-title":"Intel\u00ae 64 and ia-32 architectures software developer's manual","author":"Guide Part","year":"2011","unstructured":"Part Guide. Intel\u00ae 64 and ia-32 architectures software developer's manual. Volume 3B: system programming guide, Part, 2(11):0\u201340, 2011."},{"key":"e_1_3_2_1_48_1","volume-title":"et al. Deepseek-coder: When the large language model meets programming-the rise of code intelligence. arXiv preprint arXiv:2401.14196","author":"Guo Daya","year":"2024","unstructured":"Daya Guo, Qihao Zhu, Dejian Yang, Zhenda Xie, Kai Dong, Wentao Zhang, Guanting Chen, Xiao Bi, Yu Wu, YK Li, et al. Deepseek-coder: When the large language model meets programming-the rise of code intelligence. arXiv preprint arXiv:2401.14196, 2024."},{"key":"e_1_3_2_1_49_1","first-page":"1195","volume-title":"2008 IEEE International Symposium on Circuits and Systems (ISCAS)","author":"Hara Yuko","unstructured":"Yuko Hara, Hiroyuki Tomiyama, Shinya Honda, Hiroaki Takada, and Katsuya Ishii. Chstone: A benchmark program suite for practical c-based high-level synthesis. In 2008 IEEE International Symposium on Circuits and Systems (ISCAS), pages 1192\u20131195. IEEE, 2008."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872380"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243866"},{"key":"e_1_3_2_1_52_1","volume-title":"Spec cpu2006 benchmark descriptions. ACM SIGARCH Computer Architecture News, 34(4):1\u201317","author":"Henning John L","year":"2006","unstructured":"John L Henning. Spec cpu2006 benchmark descriptions. ACM SIGARCH Computer Architecture News, 34(4):1\u201317, 2006."},{"key":"e_1_3_2_1_53_1","volume-title":"Ida pro powerful disassembler, decompiler and a versatile debugger. https:\/\/hex-rays.com\/ida-pro","year":"2025","unstructured":"Hex-Rays. Ida pro powerful disassembler, decompiler and a versatile debugger. https:\/\/hex-rays.com\/ida-pro, 2025."},{"key":"e_1_3_2_1_54_1","volume-title":"Kunpeng chipsets. https:\/\/www.hisilicon.com\/en\/products\/Kunpeng\/Huawei-Kunpeng\/Huawei-Kunpeng-920","year":"2024","unstructured":"HiSilicon. Kunpeng chipsets. https:\/\/www.hisilicon.com\/en\/products\/Kunpeng\/Huawei-Kunpeng\/Huawei-Kunpeng-920, 2024."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/23.3.223"},{"key":"e_1_3_2_1_56_1","volume-title":"A library of common data structures and algorithms written in c. https:\/\/github.com\/fragglet\/c-algorithms","author":"Howard Simon","year":"2024","unstructured":"Simon Howard. A library of common data structures and algorithms written in c. https:\/\/github.com\/fragglet\/c-algorithms, 2024."},{"key":"e_1_3_2_1_57_1","volume-title":"ACM Transactions on Information Systems","author":"Huang Lei","year":"2023","unstructured":"Lei Huang, Weijiang Yu, Weitao Ma, Weihong Zhong, Zhangyin Feng, Haotian Wang, Qianglong Chen, Weihua Peng, Xiaocheng Feng, Bing Qin, et al. A survey on hallucination in large language models: Principles, taxonomy, challenges, and open questions. ACM Transactions on Information Systems, 2023."},{"key":"e_1_3_2_1_58_1","volume-title":"Huawei kunpeng exagear. https:\/\/www.hikunpeng.com\/document\/detail\/en\/kunpengdevps\/ug-exagear\/usermanual\/kunpengexagear_06_0003.html","year":"2024","unstructured":"Huawei. Huawei kunpeng exagear. https:\/\/www.hikunpeng.com\/document\/detail\/en\/kunpengdevps\/ug-exagear\/usermanual\/kunpengexagear_06_0003.html, 2024."},{"key":"e_1_3_2_1_59_1","volume-title":"The fastest json library in c. https:\/\/github.com\/ibireme\/yyjson","year":"2024","unstructured":"ibireme. The fastest json library in c. https:\/\/github.com\/ibireme\/yyjson, 2024."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO50266.2020.00043"},{"key":"e_1_3_2_1_61_1","first-page":"434","volume-title":"2024 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","author":"Jiang Jinhu","unstructured":"Jinhu Jiang, Chaoyi Liang, Rongchao Dong, Zhaohui Yang, Zhongjun Zhou, Wenwen Wang, Pen-Chung Yew, and Weihua Zhang. A systemlevel dynamic binary translator using automatically-learned translation rules. In 2024 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO), pages 423\u2013434. IEEE, 2024."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446751"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3676641.3716026"},{"key":"e_1_3_2_1_64_1","first-page":"1486","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Kim Hyungseok","year":"2023","unstructured":"Hyungseok Kim, Soomin Kim, Junoh Lee, Kangkook Jee, and Sang Kil Cha. Reassembly is hard: a reflection on challenges and strategies. In 32nd USENIX Security Symposium (USENIX Security 23), pages 1469\u20131486, 2023."},{"key":"e_1_3_2_1_65_1","volume-title":"Static analysis of x86 executables","author":"Kinder Johannes","year":"2010","unstructured":"Johannes Kinder. Static analysis of x86 executables. 2010."},{"key":"e_1_3_2_1_66_1","first-page":"131","volume-title":"SSE, and AVX","author":"Kusswurm Daniel","year":"2014","unstructured":"Daniel Kusswurm and Daniel Kusswurm. X87 fpu programming. Modern X86 Assembly Language Programming: 32-bit, 64-bit, SSE, and AVX, pages 103\u2013131, 2014."},{"key":"e_1_3_2_1_67_1","volume-title":"Language model guided transpilation. arXiv preprint arXiv:2309.14396","author":"Lee Celine","year":"2023","unstructured":"Celine Lee, Abdulrahman Mahmoud, Michal Kurek, Simone Campanoni, David Brooks, Stephen Chong, Gu-Yeon Wei, and Alexander M Rush. Guess & sketch: Language model guided transpilation. arXiv preprint arXiv:2309.14396, 2023."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290420.3290444"},{"key":"e_1_3_2_1_69_1","volume-title":"ACM Transactions on Architecture and Code Optimization","author":"Li Xinyu","year":"2024","unstructured":"Xinyu Li, Guangyao Guo, Yanzhi Lan, Feng Xue, Chenji Han, Gen Niu, and Fuxin Zhang. Tiaozhuan: A general and efficient indirect branch optimization for binary translation. ACM Transactions on Architecture and Code Optimization, 2024."},{"issue":"1","key":"e_1_3_2_1_70_1","first-page":"1","article-title":"A general and efficient indirect branch optimization for binary translation","volume":"22","author":"Li Xinyu","year":"2025","unstructured":"Xinyu Li, Guangyao Guo, Yanzhi Lan, Feng Xue, Chenji Han, Gen Niu, and Fuxin Zhang. Tiaozhuan: A general and efficient indirect branch optimization for binary translation. ACM Transactions on Architecture and Code Optimization, 22(1):1\u201326, 2025.","journal-title":"ACM Transactions on Architecture and Code Optimization"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535857"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639091"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397370"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833799"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454030"},{"key":"e_1_3_2_1_76_1","volume-title":"Technical report","author":"Mahoney William","year":"2021","unstructured":"William Mahoney and J Todd McDonald. Enumerating x86-64 - it's not as easy as counting. In Technical report, University of Nebraska Omaha, 2021."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3488932.3497764"},{"key":"e_1_3_2_1_78_1","first-page":"2116","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Marcelli Andrea","year":"2022","unstructured":"Andrea Marcelli, Mariano Graziano, Xabier Ugarte-Pedrero, Yanick Fratantonio, Mohamad Mansouri, and Davide Balzarotti. How machine learning is solving the binary function similarity problem. In 31st USENIX Security Symposium (USENIX Security 22), pages 2099\u20132116, 2022."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931047"},{"key":"e_1_3_2_1_80_1","volume-title":"How emulation works on arm. https:\/\/learn.microsoft.com\/en-us\/windows\/arm\/apps-on-arm-x86-emulation","year":"2024","unstructured":"Microsoft. How emulation works on arm. https:\/\/learn.microsoft.com\/en-us\/windows\/arm\/apps-on-arm-x86-emulation, 2024."},{"key":"e_1_3_2_1_81_1","volume-title":"Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to llvm bitcode. https:\/\/github.com\/liftingbits\/mcsema","author":"Bits Trail","year":"2025","unstructured":"Trail of Bits. Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to llvm bitcode. https:\/\/github.com\/liftingbits\/mcsema, 2025."},{"key":"e_1_3_2_1_82_1","volume-title":"Gpt-4 is openai's most advanced system, producing safer and more useful responses. https:\/\/openai.com\/index\/gpt-4\/","author":"AI.","year":"2024","unstructured":"OpenAI. Gpt-4 is openai's most advanced system, producing safer and more useful responses. https:\/\/openai.com\/index\/gpt-4\/, 2024."},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640371"},{"key":"e_1_3_2_1_84_1","volume-title":"Accurate, robust disassembly with transfer learning. arXiv preprint arXiv:2010.00770","author":"Pei Kexin","year":"2020","unstructured":"Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, and Suman Jana. Xda: Accurate, robust disassembly with transfer learning. arXiv preprint arXiv:2010.00770, 2020."},{"key":"e_1_3_2_1_85_1","first-page":"198","volume-title":"Symbolic execution with {SymCC}: Don't interpret, compile! In 29th USENIX Security Symposium (USENIX Security 20)","author":"Poeplau Sebastian","year":"2020","unstructured":"Sebastian Poeplau and Aur\u00e9lien Francillon. Symbolic execution with {SymCC}: Don't interpret, compile! In 29th USENIX Security Symposium (USENIX Security 20), pages 181\u2013198, 2020."},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24118"},{"key":"e_1_3_2_1_87_1","volume-title":"emit.c.inc. https:\/\/github.com\/qemu\/qemu\/blob\/bc6afa1c711da5b4f37c9685a812c77b114d84cb\/target\/i386\/tcg\/emit.c.inc#L2468","author":"QEMU.","year":"2024","unstructured":"QEMU. emit.c.inc. https:\/\/github.com\/qemu\/qemu\/blob\/bc6afa1c711da5b4f37c9685a812c77b114d84cb\/target\/i386\/tcg\/emit.c.inc#L2468, 2024."},{"key":"e_1_3_2_1_88_1","first-page":"432","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Qi Zhenxiao","year":"2024","unstructured":"Zhenxiao Qi, Jie Hu, Zhaoqi Xiao, and Heng Yin. {SymFit}: Making the common (concrete) case fast for {Binary-Code} concolic execution. In 33rd USENIX Security Symposium (USENIX Security 24), pages 415\u2013432, 2024."},{"key":"e_1_3_2_1_89_1","volume-title":"Snapdragon x elite. https:\/\/www.qualcomm.com\/products\/mobile\/snapdragon\/laptops-and-tablets\/snapdragon-x-elite","year":"2024","unstructured":"Qualcomm. Snapdragon x elite. https:\/\/www.qualcomm.com\/products\/mobile\/snapdragon\/laptops-and-tablets\/snapdragon-x-elite, 2024."},{"key":"e_1_3_2_1_90_1","first-page":"476","article-title":"Next generation cpu emulator framework","author":"Anh Quynh NGUYEN","year":"2015","unstructured":"NGUYEN Anh Quynh and DANG Hoang Vu. Unicorn: Next generation cpu emulator framework. BlackHat USA, 476, 2015.","journal-title":"BlackHat USA"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523719"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"e_1_3_2_1_93_1","volume-title":"We're closing the gap with arm and x86, claims sifive: New risc-v cpu core for pcs, servers, mobile incoming \u015b the register","author":"Shah Agam","year":"2021","unstructured":"Agam Shah. We're closing the gap with arm and x86, claims sifive: New risc-v cpu core for pcs, servers, mobile incoming \u015b the register, 2021."},{"key":"e_1_3_2_1_94_1","volume-title":"Silicon reverse-engineering: the intel 8086 processor's flag circuitry. https:\/\/www.righto.com\/2023\/02\/silicon-reverse-engineering-intel-8086.html","author":"Shirriff Ken","year":"2023","unstructured":"Ken Shirriff. Silicon reverse-engineering: the intel 8086 processor's flag circuitry. https:\/\/www.righto.com\/2023\/02\/silicon-reverse-engineering-intel-8086.html, 2023."},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(85)90003-6"},{"key":"e_1_3_2_1_97_1","first-page":"90","volume-title":"2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Song Changheng","year":"2019","unstructured":"Changheng Song, Wenwen Wang, Pen-Chung Yew, Antonia Zhai, and Weihua Zhang. Unleashing the power of learning: An enhanced {Learning-Based} approach for dynamic binary translation. In 2019 USENIX Annual Technical Conference (USENIX ATC 19), pages 77\u201390, 2019."},{"key":"e_1_3_2_1_98_1","volume-title":"A retargetable systemlevel dbt hypervisor. ACM Transactions on Computer Systems (TOCS), 36(4):1\u201324","author":"Spink Tom","year":"2020","unstructured":"Tom Spink, Harry Wagstaff, and Bj\u00f6rn Franke. A retargetable systemlevel dbt hypervisor. ACM Transactions on Computer Systems (TOCS), 36(4):1\u201324, 2020."},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.emnlp-main.203"},{"key":"e_1_3_2_1_100_1","volume-title":"Failure when trying to translate a simple dynamic x86-64 binary compiled with clang. https:\/\/github.com\/revng\/revng\/issues\/317#issuecomment-1721136071","year":"2025","unstructured":"Rev.ng team. Failure when trying to translate a simple dynamic x86-64 binary compiled with clang. https:\/\/github.com\/revng\/revng\/issues\/317#issuecomment-1721136071, 2025."},{"key":"e_1_3_2_1_101_1","volume-title":"Static single assignment for decompilation","author":"Van Emmerik Michael James","year":"2007","unstructured":"Michael James Van Emmerik. Static single assignment for decompilation. University of Queensland, 2007."},{"key":"e_1_3_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2017.14"},{"key":"e_1_3_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23225"},{"key":"e_1_3_2_1_104_1","first-page":"642","volume-title":"24th USENIX Security Symposium (USENIX Security 15)","author":"Wang Shuai","year":"2015","unstructured":"Shuai Wang, Pei Wang, and Dinghao Wu. Reassembleable disassembling. In 24th USENIX Security Symposium (USENIX Security 15), pages 627\u2013642, 2015."},{"key":"e_1_3_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1145\/3296957.3177160"},{"key":"e_1_3_2_1_106_1","first-page":"603","volume-title":"2016 USENIX Annual Technical Conference (USENIX ATC 16)","author":"Wang Wenwen","year":"2016","unstructured":"Wenwen Wang, Pen-Chung Yew, Antonia Zhai, and Stephen McCamant. A general persistent code caching framework for dynamic binary translation ({{{{{DBT}}}}}). In 2016 USENIX Annual Technical Conference (USENIX ATC 16), pages 591\u2013603, 2016."},{"key":"e_1_3_2_1_107_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941583"},{"key":"e_1_3_2_1_108_1","volume-title":"Do prompt-based models really understand the meaning of their prompts? arXiv preprint arXiv:2109.01247","author":"Webson Albert","year":"2021","unstructured":"Albert Webson and Ellie Pavlick. Do prompt-based models really understand the meaning of their prompts? arXiv preprint arXiv:2109.01247, 2021."},{"key":"e_1_3_2_1_109_1","volume-title":"Denny Zhou, et al. Chain-of-thought prompting elicits reasoning in large language models. Advances in neural information processing systems, 35:24824\u201324837","author":"Wei Jason","year":"2022","unstructured":"Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Fei Xia, Ed Chi, Quoc V Le, Denny Zhou, et al. Chain-of-thought prompting elicits reasoning in large language models. Advances in neural information processing systems, 35:24824\u201324837, 2022."},{"key":"e_1_3_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378470"},{"key":"e_1_3_2_1_111_1","doi-asserted-by":"publisher","DOI":"10.1145\/3728958"},{"key":"e_1_3_2_1_112_1","doi-asserted-by":"publisher","DOI":"10.1145\/3640813"},{"key":"e_1_3_2_1_113_1","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3670340"},{"key":"e_1_3_2_1_114_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316482.3326354"},{"key":"e_1_3_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179307"},{"key":"e_1_3_2_1_116_1","first-page":"2725","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Yu Sheng","year":"2022","unstructured":"Sheng Yu, Yu Qu, Xunchao Hu, and Heng Yin. {DeepDi}: Learning a relational graph convolutional network model on instructions for fast and accurate disassembly. In 31st USENIX Security Symposium (USENIX Security 22), pages 2709\u20132725, 2022."},{"key":"e_1_3_2_1_117_1","volume-title":"Siren's song in the ai ocean: a survey on hallucination in large language models. arXiv preprint arXiv:2309.01219","author":"Zhang Yue","year":"2023","unstructured":"Yue Zhang, Yafu Li, Leyang Cui, Deng Cai, Lemao Liu, Tingchen Fu, Xinting Huang, Enbo Zhao, Yu Zhang, Yulong Chen, et al. Siren's song in the ai ocean: a survey on hallucination in large language models. arXiv preprint arXiv:2309.01219, 2023."},{"key":"e_1_3_2_1_118_1","volume-title":"A survey of large language models. arXiv preprint arXiv:2303.18223","author":"Zhao Wayne Xin","year":"2023","unstructured":"Wayne Xin Zhao, Kun Zhou, Junyi Li, Tianyi Tang, Xiaolei Wang, Yupeng Hou, Yingqian Min, Beichen Zhang, Junjie Zhang, Zican Dong, et al. A survey of large language models. arXiv preprint arXiv:2303.18223, 2023."},{"key":"e_1_3_2_1_119_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640382"},{"key":"e_1_3_2_1_120_1","volume-title":"Network and Distributed System Security (NDSS) Symposium","author":"Zhou Zhiping","year":"2026","unstructured":"Zhiping Zhou, Xiaohong Li, Ruitao Feng, Yao Zhang, Yuekang Li, Wenbu Feng, Yunqian Wang, and Yuqing Li. Fidelitygpt: Correcting decompilation distortions with retrieval augmented generation. In Network and Distributed System Security (NDSS) Symposium 2026."},{"key":"e_1_3_2_1_121_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520312.3534864"},{"key":"e_1_3_2_1_122_1","volume-title":"Fast and lightweight x86\/x86-64 disassembler and code generation library. https:\/\/github.com\/zyantific\/zydis","year":"2024","unstructured":"zyantific. Fast and lightweight x86\/x86-64 disassembler and code generation library. https:\/\/github.com\/zyantific\/zydis, 2024."}],"event":{"name":"EUROSYS '26: 21st European Conference on Computer Systems","location":"McEwan Hall\/The University of Edinburgh Edinburgh Scotland UK","acronym":"EUROSYS '26","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 21st European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3767295.3803600","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T11:55:38Z","timestamp":1780660538000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3767295.3803600"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,26]]},"references-count":122,"alternative-id":["10.1145\/3767295.3803600","10.1145\/3767295"],"URL":"https:\/\/doi.org\/10.1145\/3767295.3803600","relation":{},"subject":[],"published":{"date-parts":[[2026,4,26]]},"assertion":[{"value":"2026-04-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}