Scholar
Vineeth Kashyap
Google Scholar ID: edDtEwMAAAAJ
Aptos Labs
Programming Languages
Security
Performance
Machine Learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
869
H-index
10
i10-index
10
Publications
18
Co-authors
0
Publications
3 items
Defense-in-Depth Runtime Safety in Move
2026
Cited
0
Formal Verification of Imperative First-Class Functions in Move
2026
Cited
0
Combining Mechanical and Agentic Specification Inference for Move
2026
Cited
0
