Scholar
Vikram Nitin
Google Scholar ID: FLiz6csAAAAJ
Columbia University
Machine Learning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,904
H-index
9
i10-index
8
Publications
14
Co-authors
0
Contact
No contact links provided.
Publications
4 items
Code Quality Analysis of Translations from C to Rust
2026
Cited
0
FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
2025
Cited
0
C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
2025
Cited
0
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
IEEE Transactions on Software Engineering · 2023
Cited
4
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up