SPEED (Symbolic Resource Time/Space Bounds Analysis)

Established: December 1, 2008

Videos

a screen shot of a person

Art of Invariant Generation applied to Symbolic Bound Computation (Lecture 2)

July 1, 2009

Art of Invariant Generation applied to Symbolic Bound Computation (Lecture 3)

July 1, 2009

a screen shot of a person

Art of Invariant Generation applied to Symbolic Bound Computation (Lecture 1)

July 1, 2009

People

Sumit Gulwani

Distinguished Scientist and Vice President

Learn more