James Gordon Stewart will present his FPO Thursday, 4/16/2015 at 9AM, 401 Computer Science Building. The members of his committee are: Andrew Appel (advisor), readers: David Walker, and Zhong Shao (Yale) and nonreaders: David August and Sharad Malik (ELE). A copy of his thesis "Verified Separate Compilation for C" is available in rm 310. Everyone is invited to attend his talk.