SPEED (Symbolic Resource Time/Space Bounds Analysis)

Établi : December 1, 2008

Publications

Afficher par:

- 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
  
  Publication Publication Publication Vidéo
- The Reachability-Bound Problem
  
  Sumit Gulwani, Florian Zuleger
  
  PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
  
  Publication
- Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
  
  Sumit Gulwani
  
  Oregon Summer School | July 2009
  
  Publication Publication Publication Publication Vidéo Vidéo Vidéo
- SPEED: Symbolic Complexity Bound Analysis
  
  Sumit Gulwani
  
  Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
  
  Publication Publication Publication
- 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
  
  Publication
- 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
  
  Publication Publication Publication Projet
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  Publication Publication
- 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
  
  Publication Publication Publication

- 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
  
  Publication Publication Publication Vidéo
- Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
  
  Sumit Gulwani
  
  Oregon Summer School | July 2009
  
  Publication Publication Publication Publication Vidéo Vidéo Vidéo
- SPEED: Symbolic Complexity Bound Analysis
  
  Sumit Gulwani
  
  Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
  
  Publication Publication Publication
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  Publication Publication
- 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
  
  Publication Publication Publication
- The Reachability-Bound Problem
  
  Sumit Gulwani, Florian Zuleger
  
  PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
  
  Publication
- 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
  
  Publication
- 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
  
  Publication Publication Publication Projet
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  Publication Publication

- 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
  
  Publication Publication Publication Vidéo
- The Reachability-Bound Problem
  
  Sumit Gulwani, Florian Zuleger
  
  PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
  
  Publication
- Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
  
  Sumit Gulwani
  
  Oregon Summer School | July 2009
  
  Publication Publication Publication Publication Vidéo Vidéo Vidéo
- SPEED: Symbolic Complexity Bound Analysis
  
  Sumit Gulwani
  
  Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
  
  Publication Publication Publication
- 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
  
  Publication
- 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
  
  Publication Publication Publication Projet
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  Publication Publication
- 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
  
  Publication Publication Publication

Personne

Sumit Gulwani

Distinguished Scientist and Vice President