Saurabh Srivastava

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Population Size

Statistical Model

Program Synthesis

Biological Systems

Top Venues

Int. J. Softw. Tools Technol. Transf.

University of Maryland, College Park, MD, USA (PHD)

Education History

University of Maryland, College Park, MD, USA

PHD

Publications

Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman
Synthesis of biological models from mutation experiments. POPL (2013)
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
Template-based program verification and program synthesis. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
Path-based inductive synthesis for program inversion. PLDI (2011)
Yewen Pu, Rastislav Bodík, Saurabh Srivastava
Synthesis of first-order dynamic programming algorithms. OOPSLA (2011)
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
From program verification to program synthesis. POPL (2010)
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
VS3: SMT Solvers for Program Verification. CAV (2009)
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
Constraint-Based Invariant Inference over Predicate Abstraction. VMCAI (2009)
Saurabh Srivastava, Sumit Gulwani
Program verification using templates over predicate abstraction. PLDI (2009)
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins
Modular Information Hiding and Type-Safe Linking for C. IEEE Trans. Software Eng. 34 (3) (2008)
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
Program analysis as constraint solving. PLDI (2008)
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster
Modular information hiding and type-safe linking for C. TLDI (2007)