{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T07:11:29Z","timestamp":1763536289163,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":78,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,10]]},"DOI":"10.1145\/3664646.3664771","type":"proceedings-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T19:39:56Z","timestamp":1720640396000},"page":"112-121","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["SolMover: Smart Contract Code Translation Based on Concepts"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6705-6506","authenticated-orcid":false,"given":"Rabimba","family":"Karanjai","sequence":"first","affiliation":[{"name":"University of Houston, Houston, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7662-2119","authenticated-orcid":false,"given":"Lei","family":"Xu","sequence":"additional","affiliation":[{"name":"Kent State University, Kent State, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1994-4218","authenticated-orcid":false,"given":"Weidong","family":"Shi","sequence":"additional","affiliation":[{"name":"University of Houston, Houston, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Kotlin Programming Language: Concise. Cross\u2011platform. Fun. https:\/\/kotlinlang.org\/"},{"key":"e_1_3_2_1_2_1","unstructured":"[n. d.]. Swift: The Powerful Programming Language that is Also Easy to Learn. https:\/\/developer.apple.com\/swift\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2022. The Move Language - The Move Book. https:\/\/move-book.com\/"},{"key":"e_1_3_2_1_4_1","unstructured":"2023. Can you feel the MoE? Mixtral available with over 100 tokens per second through Together Platform!. https:\/\/www.together.ai\/blog\/mixtral"},{"key":"e_1_3_2_1_5_1","unstructured":"2023. DeFi. https:\/\/github.com\/MystenLabs\/sui\/tree\/main\/sui_programmability\/examples\/defi"},{"key":"e_1_3_2_1_6_1","unstructured":"2023. Diem. https:\/\/github.com\/0LNetworkCommunity\/libra-legacy-v6\/blob\/main\/language\/diem-framework\/modules\/Diem.move"},{"key":"e_1_3_2_1_7_1","unstructured":"2023. fungible tokens. https:\/\/github.com\/MystenLabs\/sui\/tree\/main\/sui_programmability\/examples\/fungible_tokens"},{"key":"e_1_3_2_1_8_1","unstructured":"2023. Gas. https:\/\/github.com\/0LNetworkCommunity\/libra-legacy-v6\/blob\/main\/language\/diem-framework\/modules\/0L\/GAS.move"},{"key":"e_1_3_2_1_9_1","unstructured":"2023. GitHub - Elements-Studio\/starswap-core: The swap project on Starcoin such as Uniswap a Sushiswap. https:\/\/github.com\/Elements-Studio\/starswap-core"},{"key":"e_1_3_2_1_10_1","unstructured":"2023. hf-codegen. https:\/\/github.com\/sayakpaul\/ hf-codegen\/blob\/main\/data\/prepare_dataset.py"},{"key":"e_1_3_2_1_11_1","unstructured":"2023. Introduction - Move Patterns: Design Patterns for Resource Based Programming. https:\/\/www.move-patterns.com\/"},{"key":"e_1_3_2_1_12_1","unstructured":"2023. Introduction - The Move Book. https:\/\/move-language.github.io\/move\/"},{"key":"e_1_3_2_1_13_1","unstructured":"2023. move \u00b7 GitHub. https:\/\/github.com\/move-language\/move\/tree\/main\/ language\/documentation\/tutorial"},{"key":"e_1_3_2_1_14_1","unstructured":"2023. move\/language\/documentation\/examples\/experimental\/basic-coin at main \u00b7 move-language\/move \u00b7 GitHub. https:\/\/github.com\/move-language\/move\/tree\/main\/language\/documentation\/examples\/experimental\/basic-coin"},{"key":"e_1_3_2_1_15_1","unstructured":"2023. move\/language\/documentation\/examples\/experimental\/coin-swap at main \u00b7 move-language\/move \u00b7 GitHub. https:\/\/github.com\/move-language\/move\/tree\/main\/language\/documentation\/examples\/experimental\/coin-swap"},{"key":"e_1_3_2_1_16_1","unstructured":"2023. NFT. https:\/\/github.com\/MystenLabs\/sui\/tree\/main\/sui_programmability\/examples\/nfts"},{"key":"e_1_3_2_1_17_1","unstructured":"2023. starcoin-framework\/sources\/MerkleNFT.move at main \u00b7 starcoinorg\/starcoin-framework \u00b7 GitHub. https:\/\/github.com\/starcoinorg\/starcoin-framework\/blob\/main\/sources\/MerkleNFT.move"},{"key":"e_1_3_2_1_18_1","unstructured":"2023. Sui Basics - Sui Move by Example. https:\/\/examples.sui.io\/basics\/index.html"},{"key":"e_1_3_2_1_19_1","unstructured":"2023. sui \u00b7 GitHub. https:\/\/github.com\/MystenLabs\/sui\/tree\/main\/sui_programmability \/examples\/fungible_tokens"},{"key":"e_1_3_2_1_20_1","unstructured":"2023. Token. https:\/\/github.com\/starcoinorg\/starcoin-framework\/blob\/main\/sources\/Token.move"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Karan Aggarwal Mohammad Salameh and Abram Hindle. 2015. Using Machine Translation for Converting Python 2 to Python 3 Code. PeerJ PrePrints.","DOI":"10.7287\/peerj.preprints.1459"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1"},{"key":"e_1_3_2_1_24_1","unstructured":"Rohan Anil Andrew M Dai Orhan Firat Melvin Johnson Dmitry Lepikhin Alexandre Passos Siamak Shakeri Emanuel Taropa Paige Bailey and Zhifeng Chen. 2023. Palm 2 technical report. arXiv preprint arXiv:2305.10403."},{"key":"e_1_3_2_1_25_1","volume-title":"A demonstration of the nonfeasibility of fully automatic high quality translation. Advances in computers, 1","author":"Bar-Hillel Yehoshua","year":"1960","unstructured":"Yehoshua Bar-Hillel. 1960. A demonstration of the nonfeasibility of fully automatic high quality translation. Advances in computers, 1 (1960), 158\u2013163."},{"volume-title":"Uniswap Trading","author":"Benson Jeff","key":"e_1_3_2_1_26_1","unstructured":"Jeff Benson. 2021. Uniswap Trading Volume Exploded by 450% to $7 Billion. Here\u2019s Why. https:\/\/decrypt.co\/63280\/uniswap-trading-volume-exploded-7-billion-heres-why"},{"key":"e_1_3_2_1_27_1","volume-title":"Move: A LanguageWith Programmable Resources. https:\/\/api.semanticscholar.org\/CorpusID:201681125","author":"Blackshear Sam","year":"2019","unstructured":"Sam Blackshear, Evan Cheng, David L. Dill, Victor Gao, Ben Maurer, Todd Nowacki, Alistair Pott, Shaz Qadeer, Dario Russi, Stephane Sezer, Timothy A. K. Zakian, and Runtian Zhou. 2019. Move: A LanguageWith Programmable Resources. https:\/\/api.semanticscholar.org\/CorpusID:201681125"},{"key":"e_1_3_2_1_28_1","volume-title":"Yuanzhi Li, and Scott Lundberg.","author":"Bubeck S\u00e9bastien","year":"2023","unstructured":"S\u00e9bastien Bubeck, Varun Chandrasekaran, Ronen Eldan, Johannes Gehrke, Eric Horvitz, Ece Kamar, Peter Lee, Yin Tat Lee, Yuanzhi Li, and Scott Lundberg. 2023. Sparks of Artificial General Intelligence: Early experiments with GPT-4. ArXiv preprint, abs\/2303.12712 (2023), arxiv:2303.12712"},{"key":"e_1_3_2_1_29_1","unstructured":"Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde de Oliveira Pinto Jared Kaplan Harri Edwards Yuri Burda Nicholas Joseph Greg Brockman Alex Ray Raul Puri Gretchen Krueger Michael Petrov Heidy Khlaaf Girish Sastry Pamela Mishkin Brooke Chan Scott Gray Nick Ryder Mikhail Pavlov Alethea Power Lukasz Kaiser Mohammad Bavarian Clemens Winter Philippe Tillet Felipe Petroski Such Dave Cummings Matthias Plappert Fotios Chantzis Elizabeth Barnes Ariel Herbert-Voss William Hebgen Guss Alex Nichol Alex Paino Nikolas Tezak Jie Tang Igor Babuschkin Suchir Balaji Shantanu Jain William Saunders Christopher Hesse Andrew N. Carr Jan Leike Josh Achiam Vedant Misra Evan Morikawa Alec Radford Matthew Knight Miles Brundage Mira Murati Katie Mayer Peter Welinder Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever and Wojciech Zaremba. 2021. Evaluating Large Language Models Trained on Code. arxiv:2107.03374."},{"key":"e_1_3_2_1_30_1","volume-title":"Tree-to-Tree Neural Networks for Program Translation. Advances in Neural Information Processing Systems (NeurIPS), 31","author":"Chen Xinyun","year":"2018","unstructured":"Xinyun Chen, Chang Liu, and Dawn Song. 2018. Tree-to-Tree Neural Networks for Program Translation. Advances in Neural Information Processing Systems (NeurIPS), 31 (2018)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1"},{"volume-title":"Basic concepts and models for interpreter and translator training","author":"Gile Daniel","key":"e_1_3_2_1_32_1","unstructured":"Daniel Gile. 2009. Basic concepts and models for interpreter and translator training (Benjamins Translation Library). John Benjamins, Amsterdam."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"J.Y. Girard Y. Lafont and L. Regnier. 1995. Advances in Linear Logic. Cambridge University Press. isbn:9780521559614 lccn:lc95016325 https:\/\/books.google.com\/books?id=ROEf2h5FvD4C","DOI":"10.1017\/CBO9780511629150"},{"key":"e_1_3_2_1_34_1","volume-title":"Allie Del Giorno, Sivakanth Gopi, Mojan Javaheripi, Piero Kauffmann, Gustavo de Rosa, and Olli Saarikivi.","author":"Gunasekar Suriya","year":"2023","unstructured":"Suriya Gunasekar, Yi Zhang, Jyoti Aneja, Caio C\u00e9sar Teodoro Mendes, Allie Del Giorno, Sivakanth Gopi, Mojan Javaheripi, Piero Kauffmann, Gustavo de Rosa, and Olli Saarikivi. 2023. Textbooks Are All You Need. arXiv preprint arXiv:2306.11644."},{"key":"e_1_3_2_1_35_1","volume-title":"2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). 170\u2013177","author":"Haugeland Sindre Gr\u00f8nst\u00f8l","year":"2021","unstructured":"Sindre Gr\u00f8nst\u00f8l Haugeland, Phu H Nguyen, Hui Song, and Franck Chauvel. 2021. Migrating monoliths to microservices-based customizable multi-tenant cloud-native apps. In 2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). 170\u2013177."},{"key":"e_1_3_2_1_36_1","volume-title":"Mohamed Afify, and Hany Hassan Awadalla.","author":"Hendy Amr","year":"2023","unstructured":"Amr Hendy, Mohamed Abdelrehim, Amr Sharaf, Vikas Raunak, Mohamed Gabr, Hitokazu Matsushita, Young Jin Kim, Mohamed Afify, and Hany Hassan Awadalla. 2023. How good are gpt models at machine translation? a comprehensive evaluation. ArXiv preprint, abs\/2302.09210 (2023), arxiv:2302.09210"},{"key":"e_1_3_2_1_37_1","volume-title":"Xing Wang, and Zhaopeng Tu.","author":"Jiao Wenxiang","year":"2023","unstructured":"Wenxiang Jiao, Wenxuan Wang, Jen tse Huang, Xing Wang, and Zhaopeng Tu. 2023. Is ChatGPT A Good Translator? A Preliminary Study. In ArXiv."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661148"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC56567.2023.10174906"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/BRAINS59668.2023.10316829"},{"key":"e_1_3_2_1_41_1","volume-title":"An Empirical Study of AI-Based Smart Contract Creation. In 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS). 1\u20138.","author":"Karanjai Rabimba","year":"2023","unstructured":"Rabimba Karanjai, Edward Li, Lei Xu, and Weidong Shi. 2023. Who is Smarter? An Empirical Study of AI-Based Smart Contract Creation. In 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS). 1\u20138."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC56567.2023.10174945"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Vladimir Karpukhin Barlas O\u011fuz Sewon Min Patrick Lewis Ledell Wu Sergey Edunov Danqi Chen and Wen-tau Yih. 2020. Dense passage retrieval for open-domain question answering. arXiv preprint arXiv:2004.04906.","DOI":"10.18653\/v1\/2020.emnlp-main.550"},{"key":"e_1_3_2_1_44_1","volume-title":"Holistic evaluation of language models. ArXiv preprint, abs\/2211.09110","author":"Liang Percy","year":"2022","unstructured":"Percy Liang, Rishi Bommasani, Tony Lee, Dimitris Tsipras, Dilara Soylu, Michihiro Yasunaga, Yian Zhang, Deepak Narayanan, Yuhuai Wu, and Ananya Kumar. 2022. Holistic evaluation of language models. ArXiv preprint, abs\/2211.09110 (2022), arxiv:2211.09110"},{"key":"e_1_3_2_1_45_1","unstructured":"Libra Association Members. 2019. An Introduction to Libra."},{"key":"e_1_3_2_1_46_1","unstructured":"Libra Association Members. 2023. The Libra Blockchain. https:\/\/mitsloan.mit.edu\/shared\/ods\/documents?PublicationDocumentID=5859"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings. 354\u2013355","author":"Ling Michael","year":"2022","unstructured":"Michael Ling, Yijun Yu, Haitao Wu, Yuan Wang, James R Cordy, and Ahmed E Hassan. 2022. In Rust We Trust: A Transpiler from Unsafe C to Safer Rust. In Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings. 354\u2013355."},{"key":"e_1_3_2_1_48_1","volume-title":"Chain-of-Dictionary Prompting Elicits Translation in Large Language Models. ArXiv preprint, abs\/2305.06575","author":"Lu Hongyuan","year":"2023","unstructured":"Hongyuan Lu, Haoyang Huang, Dongdong Zhang, Haoran Yang, Wai Lam, and Furu Wei. 2023. Chain-of-Dictionary Prompting Elicits Translation in Large Language Models. ArXiv preprint, abs\/2305.06575 (2023), arxiv:2305.06575"},{"key":"e_1_3_2_1_49_1","volume-title":"Reacc: A retrieval-augmented code completion framework. arXiv preprint arXiv:2203.07722.","author":"Lu Shuai","year":"2022","unstructured":"Shuai Lu, Nan Duan, Hojae Han, Daya Guo, Seung-won Hwang, and Alexey Svyatkovskiy. 2022. Reacc: A retrieval-augmented code completion framework. arXiv preprint arXiv:2203.07722."},{"key":"e_1_3_2_1_50_1","unstructured":"Shuai Lu Daya Guo Shuo Ren Junjie Huang Alexey Svyatkovskiy Ambrosio Blanco Colin Clement Dawn Drain Daxin Jiang and Duyu Tang. 2021. CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generation. arXiv preprint arXiv:2102.04664."},{"key":"e_1_3_2_1_51_1","volume-title":"Proceedings of the Fourth Bar-Ilan Symposium on the Foundations of Artificial Intelligence. url: http:\/\/rali. iro. umontreal. ca\/Publications\/urls\/bisfai95","author":"Macklovitch Elliott","year":"1995","unstructured":"Elliott Macklovitch. 1995. The future of MT is now and Bar-Hillel was (almost entirely) right. In Proceedings of the Fourth Bar-Ilan Symposium on the Foundations of Artificial Intelligence. url: http:\/\/rali. iro. umontreal. ca\/Publications\/urls\/bisfai95. ps."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692956.2663188"},{"key":"e_1_3_2_1_53_1","unstructured":"Troy Melhase Brian Kearns Ling Li Iuliux Curt and Shyam Saladi. [n. d.]. java2python: Simple but Effective Tool to Translate Java Source Code into Python. https:\/\/github.com\/natural\/java2python"},{"key":"e_1_3_2_1_54_1","volume-title":"Boosting Theory-of-Mind Performance in Large Language Models via Prompting. ArXiv preprint, abs\/2304.11490","author":"Moghaddam Shima Rahimi","year":"2023","unstructured":"Shima Rahimi Moghaddam and Christopher J Honey. 2023. Boosting Theory-of-Mind Performance in Large Language Models via Prompting. ArXiv preprint, abs\/2304.11490 (2023), arxiv:2304.11490"},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings of the 9th Joint Meeting on Foundations of Software Engineering. 651\u2013654","author":"Nguyen Anh Tuan","year":"2013","unstructured":"Anh Tuan Nguyen, Tung Thanh Nguyen, and Tien N Nguyen. 2013. Lexical Statistical Machine Translation for Language Migration. In Proceedings of the 9th Joint Meeting on Foundations of Software Engineering. 651\u2013654."},{"key":"e_1_3_2_1_56_1","unstructured":"Aaron van den Oord Yazhe Li and Oriol Vinyals. 2018. Representation learning with contrastive predictive coding. arXiv preprint arXiv:1807.03748."},{"key":"e_1_3_2_1_57_1","volume-title":"International Conference on Machine Learning. 26619\u201326645","author":"Orlanski Gabriel","year":"2023","unstructured":"Gabriel Orlanski, Kefan Xiao, Xavier Garcia, Jeffrey Hui, Joshua Howland, Jonathan Malmaud, Jacob Austin, Rishabh Singh, and Michele Catasta. 2023. Measuring the impact of programming language distribution. In International Conference on Machine Learning. 26619\u201326645."},{"key":"e_1_3_2_1_58_1","first-page":"27730","article-title":"Training language models to follow instructions with human feedback","volume":"35","author":"Ouyang Long","year":"2022","unstructured":"Long Ouyang, Jeffrey Wu, Xu Jiang, Diogo Almeida, Carroll Wainwright, Pamela Mishkin, Chong Zhang, Sandhini Agarwal, Katarina Slama, and Alex Ray. 2022. Training language models to follow instructions with human feedback. Advances in Neural Information Processing Systems, 35 (2022), 27730\u201327744.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_59_1","volume-title":"2024 IEEE\/ACM 46th International Conference on Software Engineering (ICSE). 866\u2013866","author":"Pan Rangeet","year":"2024","unstructured":"Rangeet Pan, Ali Reza Ibrahimzada, Rahul Krishna, Divya Sankar, Lambert Pouguem Wassi, Michele Merler, Boris Sobolev, Raju Pavuluri, Saurabh Sinha, and Reyhaneh Jabbarvand. 2024. Lost in translation: A study of bugs introduced by large language models while translating code. In 2024 IEEE\/ACM 46th International Conference on Software Engineering (ICSE). 866\u2013866."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3505253.3505259"},{"key":"e_1_3_2_1_61_1","volume-title":"The probabilistic relevance framework: BM25 and beyond. Foundations and Trends\u00ae in Information Retrieval, 3, 4","author":"Robertson Stephen","year":"2009","unstructured":"Stephen Robertson and Hugo Zaragoza. 2009. The probabilistic relevance framework: BM25 and beyond. Foundations and Trends\u00ae in Information Retrieval, 3, 4 (2009), 333\u2013389."},{"key":"e_1_3_2_1_62_1","volume-title":"TransCoder-ST: Leveraging Automated Unit Tests for Unsupervised Code Translation. In International Conference on Learning Representations (ICLR). https:\/\/openreview.net\/forum?id=cmt-6KtR4c4","author":"Roziere Baptiste","year":"2022","unstructured":"Baptiste Roziere, Jie Zhang, Francois Charton, Mark Harman, Gabriel Synnaeve, and Guillaume Lample. 2022. TransCoder-ST: Leveraging Automated Unit Tests for Unsupervised Code Translation. In International Conference on Learning Representations (ICLR). https:\/\/openreview.net\/forum?id=cmt-6KtR4c4"},{"key":"e_1_3_2_1_63_1","unstructured":"Saladi. [n. d.]. py2java: Python to Java Language Translator. https:\/\/pypi.org\/project\/py2java\/"},{"key":"e_1_3_2_1_64_1","volume-title":"2021 IEEE\/ACM 8th International Conference on Mobile Software Engineering and Systems (MobileSoft). 73\u201383","author":"Schultes Dominik","year":"2021","unstructured":"Dominik Schultes. 2021. SequalsK \u2013 A Bidirectional Swift-Kotlin-Transpiler. In 2021 IEEE\/ACM 8th International Conference on Mobile Software Engineering and Systems (MobileSoft). 73\u201383."},{"key":"e_1_3_2_1_65_1","unstructured":"ShareGPT. 2023. ShareGPT: Share your wildest ChatGPT conversations with one click.. Available at: https:\/\/sharegpt.com\/"},{"key":"e_1_3_2_1_66_1","volume-title":"Hashimoto","author":"Taori Rohan","year":"2023","unstructured":"Rohan Taori, Ishaan Gulrajani, Tianyi Zhang, Yann Dubois, Xuechen Li, Carlos Guestrin, Percy Liang, and Tatsunori B. Hashimoto. 2023. Stanford Alpaca: An Instruction-following LLaMA model. https:\/\/github.com\/tatsu-lab\/stanford_alpaca"},{"key":"e_1_3_2_1_67_1","volume-title":"Llama: Open and efficient foundation language models. arXiv preprint arXiv:2302.13971.","author":"Touvron Hugo","year":"2023","unstructured":"Hugo Touvron, Thibaut Lavril, Gautier Izacard, Xavier Martinet, Marie-Anne Lachaux, Timoth\u00e9e Lacroix, Baptiste Rozi\u00e8re, Naman Goyal, Eric Hambro, and Faisal Azhar. 2023. Llama: Open and efficient foundation language models. arXiv preprint arXiv:2302.13971."},{"key":"e_1_3_2_1_68_1","unstructured":"Hugo Touvron Louis Martin Kevin Stone Peter Albert Amjad Almahairi Yasmine Babaei Nikolay Bashlykov Soumya Batra Prajjwal Bhargava and Shruti Bhosale. 2023. Llama 2: Open foundation and fine-tuned chat models. arXiv preprint arXiv:2307.09288."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-004-6245-1"},{"key":"e_1_3_2_1_70_1","volume-title":"\u0141 ukasz Kaiser, and Illia Polosukhin","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, \u0141 ukasz Kaiser, and Illia Polosukhin. 2017. Attention Is All You Need. Advances in Neural Information Processing Systems (NeurIPS), 30 (2017)."},{"key":"e_1_3_2_1_71_1","volume-title":"Prompting PaLM for Translation: Assessing Strategies and Performance. ArXiv preprint, abs\/2211.09102","author":"Vilar David","year":"2022","unstructured":"David Vilar, Markus Freitag, Colin Cherry, Jiaming Luo, Viresh Ratnakar, and George Foster. 2022. Prompting PaLM for Translation: Assessing Strategies and Performance. ArXiv preprint, abs\/2211.09102 (2022), arxiv:2211.09102"},{"key":"e_1_3_2_1_72_1","first-page":"9","article-title":"Compilable Neural Code Generation with Compiler Feedback","volume":"2022","author":"Wang Xin","year":"2022","unstructured":"Xin Wang, Yasheng Wang, Yao Wan, Fei Mi, Yitong Li, Pingyi Zhou, Jin Liu, Hao Wu, Xin Jiang, and Qun Liu. 2022. Compilable Neural Code Generation with Compiler Feedback. In Findings of the Association for Computational Linguistics: ACL 2022. 9\u201319.","journal-title":"Findings of the Association for Computational Linguistics: ACL"},{"key":"e_1_3_2_1_73_1","volume-title":"Self-instruct: Aligning language models with self-generated instructions. arXiv preprint arXiv:2212.10560.","author":"Wang Yizhong","year":"2022","unstructured":"Yizhong Wang, Yeganeh Kordi, Swaroop Mishra, Alisa Liu, Noah A Smith, Daniel Khashabi, and Hannaneh Hajishirzi. 2022. Self-instruct: Aligning language models with self-generated instructions. arXiv preprint arXiv:2212.10560."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1"},{"key":"e_1_3_2_1_75_1","volume-title":"Lyu","author":"Wu Hao","year":"2023","unstructured":"Hao Wu, Wenxuan Wang, Yuxuan Wan, Wenxiang Jiao, and Michael R. Lyu. 2023. ChatGPT or Grammarly? Evaluating ChatGPT on Grammatical Error Correction Benchmark. ArXiv preprint, abs\/2303.13648 (2023), arxiv:2303.13648"},{"key":"e_1_3_2_1_76_1","volume-title":"Prompting Large Language Model for Machine Translation: A Case Study. ArXiv preprint, abs\/2301.07069","author":"Zhang Biao","year":"2023","unstructured":"Biao Zhang, Barry Haddow, and Alexandra Birch. 2023. Prompting Large Language Model for Machine Translation: A Case Study. ArXiv preprint, abs\/2301.07069 (2023), arxiv:2301.07069"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"crossref","unstructured":"Jianyi Zhang Aashiq Muhamed Aditya Anantharaman Guoyin Wang Changyou Chen Kai Zhong Qingjun Cui Yi Xu Belinda Zeng and Trishul Chilimbi. 2023. ReAugKD: Retrieval-augmented knowledge distillation for pre-trained language models.","DOI":"10.18653\/v1\/2023.acl-short.97"},{"key":"e_1_3_2_1_78_1","volume-title":"Dill","author":"Zhong Jingyi Emma","year":"2020","unstructured":"Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark Barrett, and David L. Dill. 2020. The Move Prover. In Computer Aided Verification, Shuvendu K. Lahiri and Chao Wang (Eds.). Springer International Publishing, Cham. 137\u2013150. isbn:978-3-030-53288-8"}],"event":{"name":"AIware '24: 1st ACM International Conference on AI-Powered Software","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Porto de Galinhas Brazil","acronym":"AIware '24"},"container-title":["Proceedings of the 1st ACM International Conference on AI-Powered Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3664646.3664771","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3664646.3664771","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:45Z","timestamp":1750291425000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3664646.3664771"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":78,"alternative-id":["10.1145\/3664646.3664771","10.1145\/3664646"],"URL":"https:\/\/doi.org\/10.1145\/3664646.3664771","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]},"assertion":[{"value":"2024-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}