Faking proofs is better than having no proofs

Post date: Oct 30, 2008 8:13:46 PM

In this rather informal talk, I will share with you some experience I gathered when doing system's programming in ATS. In particular, I will walk you through some examples where we see that faked proofs can play a surprisingly efficient role in eliminating program bugs.

Date: November 19, 2008