Scholar
Vijay D'Silva
Google Scholar ID: 3d2FFIoAAAAJ
Google Inc.
Logic
Program Analysis
Abstract Interpretation
Data Visualization
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,867
H-index
18
i10-index
22
Publications
20
Co-authors
18
list available
Contact
No contact links provided.
Publications
1 items
A proof-theoretic approach to abstract interpretation
2026
Cited
0
Resume (English only)
Co-authors
18 total
Daniel Kroening
Amazon
Ramesh S.
formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&D
Dawn Song
Professor of Computer Science, UC Berkeley
Co-author 4
Co-author 5
Alberto Griggio
Researcher, Fondazione Bruno Kessler
Caterina Urban
Inria & École Normale Supérieure | Université PSL, Paris, France
Co-author 8
×
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