Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant! - Franck Slama (TAP@STAF, 2016)

Automatically Proving Equivalence by Type-Safe Reflection. - Franck Slama; Edwin C. Brady (CICM, 2017)

Automatic generation of proof terms in dependently typed programming languages. - Franck Slama (2018)