Allison Lewko is a postdoctoral researcher at Microsoft Research New England. Her personal webpage can be found at http://www.cs.utexas.edu/~alewko