5 citations · 9 across the 17 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024
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…
cs.SE2024★ 2 cited
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…