Vineeth Kashyap

Identifiers

• name variant Vineeth Kashyap 0.60 · backfill

Papers (4)

1. Formal Verification of Imperative First-Class Functions in Move cs.PL · 2026 · author #3
2. Combining Mechanical and Agentic Specification Inference for Move cs.PL · 2026 · author #3
3. Source Forager: A Search Engine for Similar Source Code cs.SE · 2017 · author #1
4. JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript cs.PL · 2014 · author #1

Mentions

• 1403.3996 #1 · backfill · confidence 0.70 Vineeth Kashyap

Frequent Coauthors

• Teng Zhang 2 shared papers
• Wolfgang Grieskamp 2 shared papers
• Ben Hardekopf 1 shared papers
• Ben Liblit 1 shared papers
• Ben Wiedermann 1 shared papers
• David Bingham Brown 1 shared papers
• David Melski 1 shared papers
• Ethan A. Kuefner 1 shared papers
• Jake Silverman 1 shared papers
• John Sarracino 1 shared papers
• John Wagner 1 shared papers
• Kevin Gibbons 1 shared papers
• Kyle Dewey 1 shared papers
• Thomas Reps 1 shared papers