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
3062010
Program analysis as constraint solving
S Gulwani, S Srivastava, R Venkatesan
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
2252008
Program verification using templates over predicate abstraction
S Srivastava, S Gulwani
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1482009
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
802013
Constraint-based invariant inference over predicate abstraction
S Gulwani, S Srivastava, R Venkatesan
International Workshop on Verification, Model Checking, and Abstract …, 2009
662009
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
612011
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
462002
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
392013
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
252013
Synthesis of first-order dynamic programming algorithms
Y Pu, R Bodik, S Srivastava
ACM SIGPLAN Notices 46 (10), 83-98, 2011
242011
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
112012
An accurate ab initio potential energy curve and the vibrational bound states of X2Σu+ state of H2
S Srivastava, N Sathyamurthy, AJC Varandas
Chemical Physics 398, 160-167, 2012
112012
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
Ab Initio Potential Energy Curves for the Ground and Low-Lying Excited States of OH and OH and a Study of Rotational Fine Structure in Photodetachment
S Srivastava, N Sathyamurthy
The Journal of Physical Chemistry A 118 (33), 6343-6350, 2014
82014
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
82012
Jahn–Teller and coupled Jahn–Teller/Renner–Teller effects in the calculation of adiabatic-to-diabatic transformation angle for the lowest three 2A′ states of NH2 (NHH)
S Srivastava, M Baer, N Sathyamurthy
Molecular Physics 113 (5), 436-446, 2015
72015
The system can't perform the operation now. Try again later.
Articles 1–20