[talks] B Guo FPO

[Melissa M Lawson]

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.