J. Gregory Morrisett Invited talk: what's the future for proof-carrying code? 5 2004 conf/ppdp/2004 PPDP http://doi.acm.org/10.1145/1013963.1013966 db/conf/ppdp/ppdp2004.html#Morrisett04