Vijay Ganesh
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Interpolating Strong Induction
Hari Govind Vediramana Krishn an and others (2019) · Springer International Publishing
The Proof Complexity of SMT Solvers
Robert Robere and others (2018) · Lecture notes in computer science · Springer Science+Business Media
EXE: Automatically generating inputs of death
Cristian Cadar and others (2008) · ACM Transactions on Information and System Security · Association for Computing Machinery