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
Publications
Publications by Year
-
-
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
Publications by Research Area
-
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
Publications by Type
-
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
Partner Research Manager