Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Ashish Kumar

Ashish Kumar

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Crypto×1Symbolic×1

Frequent co-authors

Vishnu Asutosh Dasu1×
Monika Santra1×
Md Rafi Ur Rashid1×
Saeid Tizpaz-Niari1×
Gang Tan1×

Research Timeline

2026
Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust

The paper introduces Heimdall, an automated pipeline that uses LLMs and formal verification to safely and automatically migrate legacy, potentially buggy eBPF programs written in C to memory-safe Rust, achieving high rates of formally proven-equivalent translations.

Highlighted terms show continued research focus across papers

Papers

cs.CRcs.SCRecentMay 25, 2026

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust

Vishnu Asutosh Dasu, Monika Santra, Md Rafi Ur Rashid, Ashish Kumar +2 more

The paper introduces Heimdall, an automated pipeline that uses LLMs and formal verification to safely and automatically migrate legacy, potentially buggy eBPF programs written in C to memory-safe Rust…

View →