| From program verification to program synthesis S Srivastava, S Gulwani, JS Foster Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 383 | 2010 |
| Program analysis as constraint solving S Gulwani, S Srivastava, R Venkatesan Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 276 | 2008 |
| Program verification using templates over predicate abstraction S Srivastava, S Gulwani Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 177 | 2009 |
| Template-based program verification and program synthesis S Srivastava, S Gulwani, JS Foster International Journal on Software Tools for Technology Transfer 15, 497-518, 2013 | 136 | 2013 |
| Path-based inductive synthesis for program inversion S Srivastava, S Gulwani, S Chaudhuri, JS Foster proceedings of the 32nd ACM SIGPLAN Conference on Programming Language …, 2011 | 80 | 2011 |
| Constraint-based invariant inference over predicate abstraction S Gulwani, S Srivastava, R Venkatesan Verification, Model Checking, and Abstract Interpretation: 10th …, 2009 | 75 | 2009 |
| An accurate infrared hand geometry and vein pattern based authentication system P Gupta, S Srivastava, P Gupta Knowledge-Based Systems 103, 143-155, 2016 | 59 | 2016 |
| Synthesis of biological models from mutation experiments AS Koksal, Y Pu, S Srivastava, R Bodik, J Fisher, N Piterman Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 51 | 2013 |
| Cluster based routing using a k-tree core backbone for mobile ad hoc networks S Srivastava, RK Ghosh Proceedings of the 6th international workshop on Discrete algorithms and …, 2002 | 48 | 2002 |
| Synthesis of first-order dynamic programming algorithms Y Pu, R Bodik, S Srivastava ACM SIGPLAN Notices 46 (10), 83-98, 2011 | 32 | 2011 |
| VS3: SMT Solvers for Program Verification S Srivastava, S Gulwani, JS Foster Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 32 | 2009 |
| Program analysis as constraint solving S Gulwani, S Srivastava, R Venkatesan US Patent 8,402,439, 2013 | 31 | 2013 |
| Distributed algorithms for finding and maintaining a k-tree core in a dynamic network S Srivastava, RK Ghosh Information processing letters 88 (4), 187-194, 2003 | 22 | 2003 |
| A code allocation protocol for maximizing throughput in CDMA based ad hoc networks S Srivastava, S Tripathi, D Sanghi, AK Chaturvedi 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003. 2, 1385-1390, 2003 | 20 | 2003 |
| Template based approach to discovering disjunctive and quantified invariants over predicate abstraction S Gulwani, R Venkatesan, S Srivastava US Patent 8,271,404, 2012 | 19 | 2012 |
| Modular information hiding and type-safe linking for C S Srivastava, M Hicks, JS Foster Proceedings of the 2007 ACM SIGPLAN international workshop on Types in …, 2007 | 11 | 2007 |
| Satisfiability-based program reasoning and program synthesis S Srivastava University of Maryland, 2010 | 10 | 2010 |
| Pathway synthesis using the Act ontology S Srivastava, J Kotker, S Hamilton, P Ruan, J Tsui, JC Anderson, R Bodik, ... Proceedings of the 4th International Workshop on Bio-Design Automation (IWBDA), 2012 | 9 | 2012 |
| Resource optimization in CDMA based wireless ad hoc networks S Srivastava, S Tripathi, D Sanghi, AK Chaturvedi BTP Report, April, 2002 | 7 | 2002 |
| Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C S Srivastava, M Hicks, JS Foster UM Computer Science Department; CS-TR-4874, 2007 | 2 | 2007 |
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com
