Modular information hiding and type-safe linking for C. - Saurabh Srivastava 001; Michael Hicks 001; Jeffrey S. Foster (TLDI, 2007)

Program analysis as constraint solving. - Sumit Gulwani; Saurabh Srivastava 001; Ramarathnam Venkatesan (PLDI, 2008)

Modular Information Hiding and Type-Safe Linking for C. - Saurabh Srivastava 001; Michael Hicks 001; Jeffrey S. Foster; Patrick Jenkins (IEEE Trans. Software Eng., 2008)

VS3: SMT Solvers for Program Verification. - Saurabh Srivastava 001; Sumit Gulwani; Jeffrey S. Foster (CAV, 2009)

Program verification using templates over predicate abstraction. - Saurabh Srivastava 001; Sumit Gulwani (PLDI, 2009)

Constraint-Based Invariant Inference over Predicate Abstraction. - Sumit Gulwani; Saurabh Srivastava 001; Ramarathnam Venkatesan (VMCAI, 2009)

From program verification to program synthesis. - Saurabh Srivastava 001; Sumit Gulwani; Jeffrey S. Foster (POPL, 2010)

Satisfiability-based Program Reasoning and Program Synthesis. - Saurabh Srivastava 001 (2010)

Synthesis of first-order dynamic programming algorithms. - Yewen Pu; Rastislav Bodík; Saurabh Srivastava 001 (OOPSLA, 2011)

Path-based inductive synthesis for program inversion. - Saurabh Srivastava 001; Sumit Gulwani; Swarat Chaudhuri; Jeffrey S. Foster (PLDI, 2011)

Synthesis of biological models from mutation experiments. - Ali Sinan Köksal; Yewen Pu; Saurabh Srivastava 001; Rastislav Bodík; Jasmin Fisher; Nir Piterman (POPL, 2013)

Template-based program verification and program synthesis. - Saurabh Srivastava 001; Sumit Gulwani; Jeffrey S. Foster (Int. J. Softw. Tools Technol. Transf., 2013)