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
-
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
-
-
-
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
-
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
-
-
-
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
-
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
-
人员
Sumit Gulwani
Distinguished Scientist and Vice President