Saurabh Srivastava

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