63 citations · 252 across the 39 of their papers we have counts for
1 paper · 2 filters
Vijay Ganesh
In the past several years I have written two SMT solvers called STP and HAMPI that have found widespread use in computer security research by leading groups in academia, industry a…