Seuraa
Saurabh Srivastava
Saurabh Srivastava
Synthetic Minds; previously: 20n, UC Berkeley, UMD
Vahvistettu sähköpostiosoite verkkotunnuksessa synthetic-minds.com - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
3772010
Program analysis as constraint solving
S Gulwani, S Srivastava, R Venkatesan
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
2722008
Program verification using templates over predicate abstraction
S Srivastava, S Gulwani
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1762009
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
1292013
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
802011
Constraint-based invariant inference over predicate abstraction
S Gulwani, S Srivastava, R Venkatesan
Verification, Model Checking, and Abstract Interpretation: 10th …, 2009
742009
An accurate infrared hand geometry and vein pattern based authentication system
P Gupta, S Srivastava, P Gupta
Knowledge-Based Systems 103, 143-155, 2016
582016
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
502013
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
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
312013
Synthesis of first-order dynamic programming algorithms
Y Pu, R Bodik, S Srivastava
ACM SIGPLAN Notices 46 (10), 83-98, 2011
312011
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
222003
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
192012
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
University of Maryland, 2010
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
UM Computer Science Department; CS-TR-4874, 2007
22007
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20