Art of Invariant Generation applied to Symbolic Bound Computation (Lecture 1) Opens in a new tab Date: July 1, 2009 Speakers Sumit Gulwani Partner Research Manager Related Links Research Area Algorithms Project SPEED (Symbolic Resource Time/Space Bounds Analysis) Publication Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)