{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T05:34:20Z","timestamp":1769146460960,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,1,26]]},"DOI":"10.1145\/3784828.3785337","type":"proceedings-article","created":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T13:19:17Z","timestamp":1769087957000},"page":"370-377","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Semantic Equivalence Verification of HPC Codes Using LLMs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-5864-3838","authenticated-orcid":false,"given":"Yuta","family":"Tanizawa","sequence":"first","affiliation":[{"name":"Tohoku University, Sendai, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-1454-202X","authenticated-orcid":false,"given":"Masatoshi","family":"Kawai","sequence":"additional","affiliation":[{"name":"Tohoku University, Sendai, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1607-5694","authenticated-orcid":false,"given":"Keichi","family":"Takahashi","sequence":"additional","affiliation":[{"name":"The University of Osaka, Osaka, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2858-3140","authenticated-orcid":false,"given":"Hiroyuki","family":"Takizawa","sequence":"additional","affiliation":[{"name":"Tohoku University, Sendai, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,1,25]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"Marah Abdin Jyoti Aneja Harkirat Behl S\u00e9bastien Bubeck Ronen Eldan Suriya Gunasekar Michael Harrison Russell\u00a0J. Hewett Mojan Javaheripi Piero Kauffmann James\u00a0R. Lee Yin\u00a0Tat Lee Yuanzhi Li Weishung Liu Caio C.\u00a0T. Mendes Anh Nguyen Eric Price Gustavo de Rosa Olli Saarikivi Adil Salim Shital Shah Xin Wang Rachel Ward Yue Wu Dingli Yu Cyril Zhang and Yi Zhang. 2024. Phi-4 Technical Report. arxiv:https:\/\/arXiv.org\/abs\/2412.08905\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2412.08905"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/WiDS-PSU57071.2023.00025"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","unstructured":"Qurat\u00a0Ul Ain Wasi\u00a0Haider Butt Muhammad\u00a0Waseem Anwar Farooque Azam and Bilal Maqbool. 2019. A Systematic Review on Code Clone Detection. IEEE Access 7 (2019) 86121\u201386144. 10.1109\/ACCESS.2019.2918202","DOI":"10.1109\/ACCESS.2019.2918202"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME58846.2023.00013"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Roberto Baldoni Emilio Coppa Daniele\u00a0Cono D\u2019elia Camil Demetrescu and Irene Finocchi. 2018. A Survey of Symbolic Execution Techniques. ACM Comput. Surv. 51 3 Article 50 (May 2018) 39\u00a0pages. 10.1145\/3182657","DOI":"10.1145\/3182657"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1998.738528"},{"key":"e_1_3_3_2_8_2","unstructured":"Nikolaj Bj\u00f8rner and Leonardo de Moura. 2014. Applications of SMT solvers to program verification. Notes for the Summer School on Formal Techniques (2014)."},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","unstructured":"Leo Breiman. 2001. Random forests. Machine learning 45 1 (2001) 5\u201332.","DOI":"10.1023\/A:1010933404324"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939785"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2011.26"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","unstructured":"Corinna Cortes and Vladimir Vapnik. 1995. Support-Vector Networks. Mach. Learn. 20 3 (Sept. 1995) 273\u2013297. 10.1023\/A:1022627411411","DOI":"10.1023\/A:1022627411411"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","unstructured":"T. Cover and P. Hart. 1967. Nearest neighbor pattern classification. IEEE Transactions on Information Theory 13 1 (1967) 21\u201327. 10.1109\/TIT.1967.1053964","DOI":"10.1109\/TIT.1967.1053964"},{"key":"e_1_3_3_2_14_2","unstructured":"Shihan Dou Junjie Shan Haoxiang Jia Wenhao Deng Zhiheng Xi Wei He Yueming Wu Tao Gui Yang Liu and Xuanjing Huang. 2023. Towards understanding the capability of large language models on code clone detection: A survey. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2308.01191 (2023)."},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639114"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368132"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","unstructured":"Boni Garc\u00eda Micael Gallego Francisco Gort\u00e1zar and Mario Munoz-Organero. 2020. A Survey of the Selenium Ecosystem. Electronics 9 7 (2020). 10.3390\/electronics9071067","DOI":"10.3390\/electronics9071067"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","unstructured":"Frank\u00a0W. Geels. 2002. Technological transitions as evolutionary reconfiguration processes: a multi-level perspective and a case-study. Research Policy 31 8 (2002) 1257\u20131274. 10.1016\/S0048-7333(02)00062-8NELSON + WINTER + 20.","DOI":"10.1016\/S0048-7333(02)00062-8"},{"key":"e_1_3_3_2_19_2","unstructured":"Aaron Grattafiori Abhimanyu Dubey Abhinav Jauhri Abhinav Pandey Abhishek Kadian and et al.2024. The Llama 3 Herd of Models. arxiv:https:\/\/arXiv.org\/abs\/2407.21783\u00a0[cs.AI] https:\/\/arxiv.org\/abs\/2407.21783"},{"key":"e_1_3_3_2_20_2","unstructured":"Daya Guo Qihao Zhu Dejian Yang Zhenda Xie Kai Dong Wentao Zhang Guanting Chen Xiao Bi Y. Wu Y.\u00a0K. Li Fuli Luo Yingfei Xiong and Wenfeng Liang. 2024. DeepSeek-Coder: When the Large Language Model Meets Programming \u2013 The Rise of Code Intelligence. arxiv:https:\/\/arXiv.org\/abs\/2401.14196\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2401.14196"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3524842.3528015"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","unstructured":"Xinyi Hou Yanjie Zhao Yue Liu Zhou Yang Kailong Wang Li Li Xiapu Luo David Lo John Grundy and Haoyu Wang. 2024. Large Language Models for Software Engineering: A Systematic Literature Review. ACM Trans. Softw. Eng. Methodol. 33 8 Article 220 (Dec. 2024) 79\u00a0pages. 10.1145\/3695988","DOI":"10.1145\/3695988"},{"key":"e_1_3_3_2_23_2","unstructured":"Siming Huang Tianhao Cheng J.\u00a0K. Liu Jiaran Hao Liuyihan Song Yang Xu J. Yang Jiaheng Liu Chenchen Zhang Linzheng Chai Ruifeng Yuan Zhaoxiang Zhang Jie Fu Qian Liu Ge Zhang Zili Wang Yuan Qi Yinghui Xu and Wei Chu. 2025. OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models. arxiv:https:\/\/arXiv.org\/abs\/2411.04905\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2411.04905"},{"key":"e_1_3_3_2_24_2","unstructured":"Binyuan Hui Jian Yang Zeyu Cui Jiaxi Yang Dayiheng Liu Lei Zhang Tianyu Liu Jiajun Zhang Bowen Yu Keming Lu Kai Dang Yang Fan Yichang Zhang An Yang Rui Men Fei Huang Bo Zheng Yibo Miao Shanghaoran Quan Yunlong Feng Xingzhang Ren Xuancheng Ren Jingren Zhou and Junyang Lin. 2024. Qwen2.5-Coder Technical Report. arxiv:https:\/\/arXiv.org\/abs\/2409.12186\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2409.12186"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/SERA61261.2024.10685589"},{"key":"e_1_3_3_2_26_2","unstructured":"Juyong Jiang Fan Wang Jiasi Shen Sungju Kim and Sunghun Kim. 2024. A Survey on Large Language Models for Code Generation. arxiv:https:\/\/arXiv.org\/abs\/2406.00515\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2406.00515"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.30"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/TALE48000.2019.9225953"},{"key":"e_1_3_3_2_29_2","series-title":"(NIPS\u201917)","first-page":"3149","volume-title":"Proceedings of the 31st International Conference on Neural Information Processing Systems","author":"Ke Guolin","year":"2017","unstructured":"Guolin Ke, Qi Meng, Thomas Finley, Taifeng Wang, Wei Chen, Weidong Ma, Qiwei Ye, and Tie-Yan Liu. 2017. LightGBM: a highly efficient gradient boosting decision tree. In Proceedings of the 31st International Conference on Neural Information Processing Systems (Long Beach, California, USA) (NIPS\u201917). Curran Associates Inc., Red Hook, NY, USA, 3149\u20133157."},{"key":"e_1_3_3_2_30_2","unstructured":"Mohamad Khajezade Jie\u00a0JW Wu Fatemeh\u00a0Hendijani Fard Gema Rodr\u00edguez-P\u00e9rez and Mohamed\u00a0Sami Shehata. 2024. Investigating the Efficacy of Large Language Models for Code Clone Detection. arxiv:https:\/\/arXiv.org\/abs\/2401.13802\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2401.13802"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","unstructured":"James\u00a0C. King. 1976. Symbolic execution and program testing. Commun. ACM 19 7 (July 1976) 385\u2013394. 10.1145\/360248.360252","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1088\/1757-899X\/1022\/1\/012074"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3312662.3312707"},{"key":"e_1_3_3_2_34_2","unstructured":"OpenAI Josh Achiam Steven Adler Sandhini Agarwal Lama Ahmad Ilge Akkaya and et al.2024. GPT-4 Technical Report. arxiv:https:\/\/arXiv.org\/abs\/2303.08774\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2303.08774"},{"key":"e_1_3_3_2_35_2","unstructured":"Chanchal\u00a0Kumar Roy and James\u00a0R Cordy. 2007. A survey on software clone detection research. Queen\u2019s School of computing TR 541 115 (2007) 64\u201368."},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","unstructured":"Chanchal\u00a0K. Roy James\u00a0R. Cordy and Rainer Koschke. 2009. Comparison and evaluation of code clone detection techniques and tools: A qualitative approach. Science of Computer Programming 74 7 (2009) 470\u2013495. 10.1016\/j.scico.2009.02.007","DOI":"10.1016\/j.scico.2009.02.007"},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"publisher","unstructured":"Tushar Sharma Maria Kechagia Stefanos Georgiou Rohit Tiwari Indira Vats Hadi Moazen and Federica Sarro. 2024. A survey on machine learning techniques applied to source code. Journal of Systems and Software 209 (2024) 111934. 10.1016\/j.jss.2023.111934","DOI":"10.1016\/j.jss.2023.111934"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-16-1927-4_7"},{"key":"e_1_3_3_2_39_2","unstructured":"Ashish Vaswani Noam Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan\u00a0N. Gomez Lukasz Kaiser and Illia Polosukhin. 2023. Attention Is All You Need. arxiv:https:\/\/arXiv.org\/abs\/1706.03762\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/1706.03762"},{"key":"e_1_3_3_2_40_2","unstructured":"Zixian Zhang and Takfarinas Saber. 2024. Assessing the Code Clone Detection Capability of Large Language Models. arxiv:https:\/\/arXiv.org\/abs\/2407.02402\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2407.02402"},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"publisher","unstructured":"Zixian Zhang and Takfarinas Saber. 2025. Machine Learning Approaches to Code Similarity Measurement: A Systematic Review. IEEE Access 13 (2025) 51729\u201351764. 10.1109\/ACCESS.2025.3553392","DOI":"10.1109\/ACCESS.2025.3553392"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416541"}],"event":{"name":"SCA\/HPCAsiaWS 2026: SCA\/HPCAsia 2026 Workshops: Supercomputing Asia and International Conference on High Performance Computing in Asia Pacific Region Workshops","location":"Osaka , Japan","acronym":"SCA\/HPCAsiaWS 2026"},"container-title":["Proceedings of the Supercomputing Asia and International Conference on High Performance Computing in Asia Pacific Region Workshops"],"original-title":[],"deposited":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T13:37:49Z","timestamp":1769089069000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3784828.3785337"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,25]]},"references-count":41,"alternative-id":["10.1145\/3784828.3785337","10.1145\/3784828"],"URL":"https:\/\/doi.org\/10.1145\/3784828.3785337","relation":{},"subject":[],"published":{"date-parts":[[2026,1,25]]},"assertion":[{"value":"2026-01-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}