A Combination Framework for Tracking Partition Sizes
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
POPL'09, January 18-24, 2009, Savannah, Georgia, USA | January 2009
Publications
-
-
-
-
Logical Abstract Interpretation
Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
-
Lifting Abstract Interpreters to Quantified Logical Domains
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
POPL'08, January 7-12, 2008, San Francisco, California, USA | January 2008
-
-
-
Computing Procedure Summaries for Interprocedural Analysis
Sumit Gulwani, Ashish Tiwari
ESOP'07 Proceedings of the 16th European Symposium on Programming | March 2007
ISBN: 978-3-540-71314-2
-
Assertion Checking Unified
Sumit Gulwani, Ashish Tiwari
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
-
-
-
Combining Abstract Interpreters
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-25 | March 2006
-
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-01 | January 2006
European Symposium on Programming 2006
-
-
-
Join Algorithms for the Theory of Uninterpreted Functions
Sumit Gulwani, Ashish Tiwari, George C. Necula
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science | December 2004
-
A Polynomial-Time Algorithm for Global Value Numbering
Sumit Gulwani, George C. Necula
Static Analysis Symposium (SAS), 2004 | January 2004
-
-
-
A Combination Framework for Tracking Partition Sizes
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
POPL'09, January 18-24, 2009, Savannah, Georgia, USA | January 2009
-
Logical Abstract Interpretation
Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
-
Computing Procedure Summaries for Interprocedural Analysis
Sumit Gulwani, Ashish Tiwari
ESOP'07 Proceedings of the 16th European Symposium on Programming | March 2007
ISBN: 978-3-540-71314-2
-
Assertion Checking Unified
Sumit Gulwani, Ashish Tiwari
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
-
Combining Abstract Interpreters
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-25 | March 2006
-
-
-
Lifting Abstract Interpreters to Quantified Logical Domains
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
POPL'08, January 7-12, 2008, San Francisco, California, USA | January 2008
-
Assertion Checking Unified
Sumit Gulwani, Ashish Tiwari
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
-
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-01 | January 2006
European Symposium on Programming 2006
-
Join Algorithms for the Theory of Uninterpreted Functions
Sumit Gulwani, Ashish Tiwari, George C. Necula
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science | December 2004
-
A Polynomial-Time Algorithm for Global Value Numbering
Sumit Gulwani, George C. Necula
Static Analysis Symposium (SAS), 2004 | January 2004
-
-
-
A Combination Framework for Tracking Partition Sizes
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
POPL'09, January 18-24, 2009, Savannah, Georgia, USA | January 2009
-
Logical Abstract Interpretation
Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
-
Lifting Abstract Interpreters to Quantified Logical Domains
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
POPL'08, January 7-12, 2008, San Francisco, California, USA | January 2008
-
Computing Procedure Summaries for Interprocedural Analysis
Sumit Gulwani, Ashish Tiwari
ESOP'07 Proceedings of the 16th European Symposium on Programming | March 2007
ISBN: 978-3-540-71314-2
-
Assertion Checking Unified
Sumit Gulwani, Ashish Tiwari
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
-
Join Algorithms for the Theory of Uninterpreted Functions
Sumit Gulwani, Ashish Tiwari, George C. Necula
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science | December 2004
-
A Polynomial-Time Algorithm for Global Value Numbering
Sumit Gulwani, George C. Necula
Static Analysis Symposium (SAS), 2004 | January 2004
-
-
-
Combining Abstract Interpreters
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-25 | March 2006
-
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-01 | January 2006
European Symposium on Programming 2006
-
People
Sumit Gulwani
Distinguished Scientist and Vice President