Bolei Guo will present her FPO on Thursday May 8 at 9AM in Room 302 (note room). The members of her committee are: David August, advisor; Andrew Appel and Michael Hind (IBM), readers; Brian Kernighan and Vivek Pai, nonreaders. A copy of her thesis, "Shape Analysis with Inductive Recursion Synthesis", is on display in Room 310. Everyone is invited to attend her talk.