[talks] James Gordon Stewart will present his FPO Thursday, 4/16/2015 at 9AM in 401
ngotsis at CS.Princeton.EDU
Thu Apr 9 10:24:59 EDT 2015
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.
More information about the talks