[talks] B Guo FPO

Melissa M Lawson mml at CS.Princeton.EDU
Thu May 1 14:07:09 EDT 2008

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.

More information about the talks mailing list