6 citations · 15 across the 16 of their papers we have counts for
4 papers · 1 filter
Generating Move Smart Contracts based on Concepts
Rabimba Karanjai, Sam Blackshear, Lei Xu +1
The growing adoption of formal verification for smart contracts has spurred the development of new verifiable languages like Move. However, the limited availability of training dat…
LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis
Rabimba Karanjai, Yang Lu, Dana Alsagheer +4
Logs are critical resources that record events, activities, or messages produced by software applications, operating systems, servers, and network devices. However, consolidating t…
Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing
Rabimba Karanjai, Aftab Hussain, Md Rafiqul Islam Rabin +3
Unit testing is crucial in software engineering for ensuring quality. However, it's not widely used in parallel and high-performance computing software, particularly scientific app…
Teaching Machines to Code: Smart Contract Translation with LLMs
Rabimba Karanjai, Lei Xu, Weidong Shi
The advent of large language models (LLMs) has marked a significant milestone in the realm of artificial intelligence, with their capabilities often matching or surpassing human ex…