A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.

Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula

Browse the full VMCAI paper archive.