6 citations · 20 across the 23 of their papers we have counts for
7 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…
Decentralized FaaS over Multi-Clouds with Blockchain based Management for Supporting Emerging Applications
Rabimba Karanjai, Lei Xu, Lin Chen +2
Function-as-a-Service (FaaS) offers a streamlined cloud computing paradigm, but existing centralized systems suffer from vendor lock-in and single points of failure. We propose DeF…
LookALike: Human Mimicry based collaborative decision making
Rabimba Karanjai, Weidong Shi
Artificial General Intelligence falls short when communicating role specific nuances to other systems. This is more pronounced when building autonomous LLM agents capable and desig…
Comparing Rationality Between Large Language Models and Humans: Insights and Open Questions
Dana Alsagheer, Rabimba Karanjai, Nour Diallo +4
This paper delves into the dynamic landscape of artificial intelligence, specifically focusing on the burgeoning prominence of large language models (LLMs). We underscore the pivot…
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…