Bound Analysis of Imperative Programs with the Size-change Abstraction
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
18th International Static Analysis Symposium, SAS 2011, Venice, Italy, September 14-16, 2011 | September 2011
Publications
Publications by Year
-
-
The Reachability-Bound Problem
Sumit Gulwani, Florian Zuleger
PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
-
Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
Oregon Summer School | July 2009
Publication Publication Publication Publication Video Video Video
SPEED: Symbolic Complexity Bound Analysis
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
Control-flow Refinement and Progress Invariants for Bound Analysis
Sumit Gulwani, Sagar Jain, Eric Koskinen
PLDI '09 Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2009
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
SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
Principles of Programming Languages (POPL) | January 2009
-
A Numerical Abstract Domain based on Expression Abstraction and Max Operator with Application in Timing Analysis
Bhargav S. Gulavani, Sumit Gulwani
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
Publications by Research Area
-
Bound Analysis of Imperative Programs with the Size-change Abstraction
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
18th International Static Analysis Symposium, SAS 2011, Venice, Italy, September 14-16, 2011 | September 2011
Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
Oregon Summer School | July 2009
Publication Publication Publication Publication Video Video Video
SPEED: Symbolic Complexity Bound Analysis
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
Principles of Programming Languages (POPL) | January 2009
A Numerical Abstract Domain based on Expression Abstraction and Max Operator with Application in Timing Analysis
Bhargav S. Gulavani, Sumit Gulwani
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
-
The Reachability-Bound Problem
Sumit Gulwani, Florian Zuleger
PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
Control-flow Refinement and Progress Invariants for Bound Analysis
Sumit Gulwani, Sagar Jain, Eric Koskinen
PLDI '09 Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2009
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
SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
Principles of Programming Languages (POPL) | January 2009
Publications by Type
-
Bound Analysis of Imperative Programs with the Size-change Abstraction
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
18th International Static Analysis Symposium, SAS 2011, Venice, Italy, September 14-16, 2011 | September 2011
The Reachability-Bound Problem
Sumit Gulwani, Florian Zuleger
PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
Oregon Summer School | July 2009
Publication Publication Publication Publication Video Video Video
SPEED: Symbolic Complexity Bound Analysis
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
Control-flow Refinement and Progress Invariants for Bound Analysis
Sumit Gulwani, Sagar Jain, Eric Koskinen
PLDI '09 Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2009
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
SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
Principles of Programming Languages (POPL) | January 2009
A Numerical Abstract Domain based on Expression Abstraction and Max Operator with Application in Timing Analysis
Bhargav S. Gulavani, Sumit Gulwani
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
People
Sumit Gulwani
Distinguished Scientist and Vice President