Personal tools
You are here: Home Events Lab lunch speakers 2010 Kenneth MacKenzie

Kenneth MacKenzie

Resource Analysis and Polyhedra

I'll describe a remarkable theorem of Barvinok which allows one to calculate the number of integer points in a multidimensional polyhedron. I'll also demonstrate an application of this to the analysis of memory bounds for Java programs with complex loop structures.

Document Actions