[talks] James Gordon Stewart will present his FPO Thursday, 4/16/2015 at 9AM in 401

Nicki Gotsis 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 mailing list