Mike Gordon
-
A Trustworthy Proof Checker
Journal of Automated Reasoning
Certified assembly programming with embedded code pointers
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages