Vishnu Asutosh Dasu

Identifiers

• name variant Vishnu Asutosh Dasu 0.60 · backfill

Papers (1)

1. Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust cs.CR · 2026 · author #1

Mentions

• 2605.25411 #1 · arxiv_oai · confidence 0.70 Vishnu Asutosh Dasu

Frequent Coauthors

• Ashish Kumar 1 shared papers
• Gang Tan 1 shared papers
• Md Rafi Ur Rashid 1 shared papers
• Monika Santra 1 shared papers
• Saeid Tizpaz-Niari 1 shared papers