Saurabh Srivastava

According to our database, Saurabh Srivastava authored at least 12 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Template-based program verification and program synthesis.

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Int. J. Softw. Tools Technol. Transf., 2013

Synthesis of biological models from mutation experiments.

Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2011

Path-based inductive synthesis for program inversion.

Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Synthesis of first-order dynamic programming algorithms.

Yewen Pu, Rastislav Bodík, Saurabh Srivastava

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Satisfiability-based Program Reasoning and Program Synthesis.

Saurabh Srivastava

PhD thesis, 2010

From program verification to program synthesis.

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Constraint-Based Invariant Inference over Predicate Abstraction.

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan

Proceedings of the Verification, 2009

Program verification using templates over predicate abstraction.

Saurabh Srivastava, Sumit Gulwani

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

VS3: SMT Solvers for Program Verification.

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Modular Information Hiding and Type-Safe Linking for C.

Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins

IEEE Trans. Software Eng., 2008

Program analysis as constraint solving.

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007

Modular information hiding and type-safe linking for C.

Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007