[talks] Rob Dockins FPO

Melissa M. Lawson mml at CS.Princeton.EDU
Fri Aug 17 14:12:44 EDT 2012

Rob Dockins will present his FPO on Friday August 24 at 10AM in Room 402. 
The members of his committee are: Andrew Appel, advisor; David Walker and 
Xavier Leroy (INRIA), readers; David August and Mark Braverman, nonreaders. 
A copy of his thesis, "Operational Refinement for Compiler Correctness", is 
available in Room 310. Everyone is invited to attend his talk. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cs.princeton.edu/pipermail/talks/attachments/20120817/dab8f3f6/attachment.html>

More information about the talks mailing list