1. Cogent: uniqueness types and certifying compilation;Journal of Functional Programming;2021
2. Automatic Verification of Intermittent Systems;Lecture Notes in Computer Science;2017-12-29
3. CoGENT;ACM SIGOPS Operating Systems Review;2016-03-25
4. Using Crash Hoare logic for certifying the FSCQ file system;Proceedings of the 25th Symposium on Operating Systems Principles;2015-10-04
5. Verification of a Transactional Memory Manager under Hardware Failures and Restarts;Lecture Notes in Computer Science;2014