1. VST-A: A Foundationally Sound Annotation Verifier;Proceedings of the ACM on Programming Languages;2024-01-05
2. Asynchronous Probabilistic Couplings in Higher-Order Separation Logic;Proceedings of the ACM on Programming Languages;2024-01-05
3. Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library;Logical Methods in Computer Science;2023-10-23
4. Leveraging Rust Types for Program Synthesis;Proceedings of the ACM on Programming Languages;2023-06-06
5. Understanding Inconsistency in Azure Cosmos DB with TLA+;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2023-05