Saurabh Srivastava

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2013
Template-based program verification and program synthesis.
Int. J. Softw. Tools Technol. Transf., 2013

Synthesis of biological models from mutation experiments.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2011
Path-based inductive synthesis for program inversion.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Synthesis of first-order dynamic programming algorithms.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010
Satisfiability-based Program Reasoning and Program Synthesis.
PhD thesis, 2010

From program verification to program synthesis.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009
Constraint-Based Invariant Inference over Predicate Abstraction.
Proceedings of the Verification, 2009

Program verification using templates over predicate abstraction.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

VS3: SMT Solvers for Program Verification.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Modular Information Hiding and Type-Safe Linking for C.
IEEE Trans. Software Eng., 2008

Program analysis as constraint solving.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007
Modular information hiding and type-safe linking for C.
Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007


  Loading...