From Program Verification to Program Synthesis
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
Publications
-
-
-
-
VS3: SMT Solvers for Program Verification
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009
-
Program Verification using Templates over Predicate Abstraction
Saurabh Srivastava, Sumit Gulwani
PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
-
-
-
Constraint-Based Invariant Inference Over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
-
Synthesizing Switching Logic Using Constraint Solving
Ankur Taly, Sumit Gulwani, Ashish Tiwari
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
-
Program Analysis as Constraint Solving
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
-
Constraint-Based Approach for Analysis of Hybrid Systems
Sumit Gulwani, Ashish Tiwari
Computer Aided Verification (CAV) | January 2008
-
-
-
From Program Verification to Program Synthesis
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
-
VS3: SMT Solvers for Program Verification
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009
-
Program Verification using Templates over Predicate Abstraction
Saurabh Srivastava, Sumit Gulwani
PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
-
Synthesizing Switching Logic Using Constraint Solving
Ankur Taly, Sumit Gulwani, Ashish Tiwari
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
-
Constraint-Based Invariant Inference Over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
-
Program Analysis as Constraint Solving
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
-
Constraint-Based Approach for Analysis of Hybrid Systems
Sumit Gulwani, Ashish Tiwari
Computer Aided Verification (CAV) | January 2008
-
-
-
Program Verification using Templates over Predicate Abstraction
Saurabh Srivastava, Sumit Gulwani
PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
-
Constraint-Based Invariant Inference Over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
-
Program Analysis as Constraint Solving
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
-
Constraint-Based Approach for Analysis of Hybrid Systems
Sumit Gulwani, Ashish Tiwari
Computer Aided Verification (CAV) | January 2008
-
-
-
From Program Verification to Program Synthesis
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
-
VS3: SMT Solvers for Program Verification
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009
-
Program Verification using Templates over Predicate Abstraction
Saurabh Srivastava, Sumit Gulwani
PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
-
Synthesizing Switching Logic Using Constraint Solving
Ankur Taly, Sumit Gulwani, Ashish Tiwari
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
-
Constraint-Based Invariant Inference Over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
-
Program Analysis as Constraint Solving
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
-
Constraint-Based Approach for Analysis of Hybrid Systems
Sumit Gulwani, Ashish Tiwari
Computer Aided Verification (CAV) | January 2008
-
People
Sumit Gulwani
Distinguished Scientist and Vice President
Ramarathnam Venkatesan
Principal Researcher Microsoft Research, India