AIware 2024
Mon 15 - Tue 16 July 2024 Porto de Galinhas, Brazil, Brazil
co-located with FSE 2024

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 Jul

Displayed 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
5m
Day opening
Opening for day 2
Main Track

09:05
45m
Keynote
Semantic-Aware AI: Elevating the Future of Software Development
Main Track
Baishakhi Ray Columbia University, New York; AWS AI Lab
09:50
10m
Paper
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
5m
Paper
The Art of Programming: Challenges in Generating Code for Creative ApplicationsAIware Best Vision Paper Award
Main Track
Michael Cook King’s College London
DOI
10:05
5m
Paper
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
5m
Paper
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
15m
Live Q&A
Session Q&A and topic discussions
Main Track