Vijay D'Silva
Scholar

Vijay D'Silva

Google Scholar ID: 3d2FFIoAAAAJ
Google Inc.
LogicProgram AnalysisAbstract InterpretationData Visualization
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
Daniel Kroening
Amazon
Ramesh S.
Ramesh S.
formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&D
Dawn Song
Dawn Song
Professor of Computer Science, UC Berkeley
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Alberto Griggio
Alberto Griggio
Researcher, Fondazione Bruno Kessler
Caterina Urban
Caterina Urban
Inria & École Normale Supérieure | Université PSL, Paris, France
Co-author 8
Co-author 8