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
3492010
Program analysis as constraint solving
S Gulwani, S Srivastava, R Venkatesan
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
2452008
Program verification using templates over predicate abstraction
S Srivastava, S Gulwani
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1652009
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
1012013
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
702011
Constraint-based invariant inference over predicate abstraction
S Gulwani, S Srivastava, R Venkatesan
Verification, Model Checking, and Abstract Interpretation: 10th …, 2009
702009
An accurate infrared hand geometry and vein pattern based authentication system
P Gupta, S Srivastava, P Gupta
Knowledge-Based Systems 103, 143-155, 2016
512016
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
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
462013
VS3: SMT Solvers for Program Verification
S Srivastava, S Gulwani, JS Foster
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
322009
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
202003
Template based approach to discovering disjunctive and quantified invariants over predicate abstraction
S Gulwani, R Venkatesan, S Srivastava
US Patent 8,271,404, 2012
162012
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
112007
Satisfiability-based program reasoning and program synthesis
S Srivastava
102010
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
BTP Report, April, 2002
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