Pushing the Limits of Compiler Verification.
PhD thesis, 2018
Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB - (Short Paper).
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
Œuf: minimizing the Coq extraction TCB.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
Continuous Formal Verification of Amazon s2n.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Verified peephole optimizations for CompCert.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011