SolMover: Smart Contract Code Translation Based on Concepts
Large language models (LLMs) have showcased remarkable skills, rivaling or even exceeding human intelligence in certain areas. Their proficiency in translation is notable, as they may replicate the nuanced, preparatory steps of human translators for high-quality outcomes. Although there have been some notable work exploring using LLMs for code-to-code translation, there has not been
one for smart contracts, especially when the target language is unseen to the LLMs. In this work, we introduce our novel framework SolMover, which consists of two different LLMs working in tandem in a framework to understand coding concepts and then use that to translate code to an unseen language. We explore the human-like learning capability of LLMs with a detailed evaluation of the methodology to translate existing smart contracts written in Solidity to a low-resource one called Move. Specifically, we enable one LLM to understand coding rules for the new language to generate a planning task, for the second LLM to follow, which does not have planning capability but does have coding. Experiments show that SolMover brings a significant improvement over gpt-3.5-turbo-1106 and outperforms both Palm2 and Mixtral-8x7B-Instruct. Our further analysis shows that employing our bug mitigation technique even without the framework still improves code quality for all models
Tue 16 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change
09:00 - 10:30 | Opening Day2 + Keynote2 + AIware for Domain-specific ApplicationsLate Breaking Arxiv Track / Main Track at Mandacaru Chair(s): Jie M. Zhang King's College London | ||
09:00 5mDay opening | Opening for day 2 Main Track | ||
09:05 45mKeynote | Semantic-Aware AI: Elevating the Future of Software Development Main Track Baishakhi Ray Columbia University, New York; AWS AI Lab | ||
09:50 10mPaper | SolMover: Smart Contract Code Translation Based on Concepts Main Track Rabimba Karanjai University of Houston, Lei Xu Kent State University, Weidong Shi University of Houston DOI | ||
10:00 5mPaper | The Art of Programming: Challenges in Generating Code for Creative Applications Main Track Michael Cook King’s College London DOI | ||
10:05 5mPaper | Neuro-Symbolic Approach to Certified Scientific Software Synthesis Main Track Hamid Bagheri University of Nebraska-Lincoln, Mehdi Mirakhorli Rochester Institute of Technology, Mohamad Fazelnia University of Hawaii at Manoa, Ibrahim Mujhid University of Hawaii at Manoa, Md Rashedul Hasan University of Nebraska-Lincoln DOI | ||
10:10 5mPaper | LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine Late Breaking Arxiv Track Erblin Isaku Simula Research Laboratory, and University of Oslo (UiO), Christoph Laaber Simula Research Laboratory, Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway Pre-print | ||
10:15 15mLive Q&A | Session Q&A and topic discussions Main Track |