The Verifying Compiler, a Grand Challenge for Computing Research.

C. A. R. Hoare

Browse the full VMCAI paper archive.