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

Speakers : Sumit Gulwani

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

July 1, 2009

Speakers : Sumit Gulwani

a screen shot of a person

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

July 1, 2009

Speakers : Sumit Gulwani

People

Sumit Gulwani

Partner Research Manager

Learn more