2016
COGENT: Certified Compilation for a Functional Systems Language.
CoRR, 2016

CoGENT: Verifying High-Assurance File System Implementations.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016