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
Publications
1 items
A proof-theoretic approach to abstract interpretation
2026
Cited
0
Co-authors
11 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
Georg Weissenbacher
Georg Weissenbacher
Professor of Computer Science, TU Wien
Alberto Griggio
Alberto Griggio
Researcher, Fondazione Bruno Kessler
Caterina Urban
Caterina Urban
Inria & École Normale Supérieure | Université PSL, Paris, France
Mathias Payer
Mathias Payer
EPFL IC, HexHive Laboratory
Michael Tautschnig
Michael Tautschnig
Queen Mary University of London