Follow
Saurabh Srivastava
Saurabh Srivastava
Synthetic Minds; previously: 20n, UC Berkeley, UMD
Verified email at synthetic-minds.com - Homepage
Title
Cited by
Cited by
Year
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
3392010
Program analysis as constraint solving
S Gulwani, S Srivastava, R Venkatesan
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
2422008
Program verification using templates over predicate abstraction
S Srivastava, S Gulwani
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1572009
Template-based program verification and program synthesis
S Srivastava, S Gulwani, JS Foster
International Journal on Software Tools for Technology Transfer 15 (5), 497-518, 2013
922013
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
682011
Constraint-based invariant inference over predicate abstraction
S Gulwani, S Srivastava, R Venkatesan
International Workshop on Verification, Model Checking, and Abstract …, 2009
682009
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
482002
An accurate infrared hand geometry and vein pattern based authentication system
P Gupta, S Srivastava, P Gupta
Knowledge-Based Systems 103, 143-155, 2016
472016
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
452013
VS3: SMT Solvers for Program Verification
S Srivastava, S Gulwani, JS Foster
International Conference on Computer Aided Verification, 702-708, 2009
302009
Program analysis as constraint solving
S Gulwani, S Srivastava, R Venkatesan
US Patent 8,402,439, 2013
282013
Synthesis of first-order dynamic programming algorithms
Y Pu, R Bodik, S Srivastava
ACM SIGPLAN Notices 46 (10), 83-98, 2011
252011
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
212003
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
182003
Template based approach to discovering disjunctive and quantified invariants over predicate abstraction
S Gulwani, R Venkatesan, S Srivastava
US Patent 8,271,404, 2012
142012
Satisfiability-based program reasoning and program synthesis
S Srivastava
102010
Modular information hiding and type-safe linking for C
S Srivastava, M Hicks, JS Foster, P Jenkins
IEEE Transactions on Software Engineering 34 (3), 357-376, 2008
102008
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
92012
Resource optimization in CDMA based wireless ad hoc networks
S Srivastava, S Tripathi, D Sanghi, AK Chaturvedi
72002
Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C
S Srivastava, M Hicks, JS Foster
22007
The system can't perform the operation now. Try again later.
Articles 1–20