1. Explicit Effects and Effect Constraints in ReML;Proceedings of the ACM on Programming Languages;2024-01-05
2. VST-A: A Foundationally Sound Annotation Verifier;Proceedings of the ACM on Programming Languages;2024-01-05
3. Focusing on Refinement Typing;ACM Transactions on Programming Languages and Systems;2023-12-20
4. Approximate normalization for gradual dependent types;Proceedings of the ACM on Programming Languages;2019-07-26
5. Occurrence typing modulo theories;ACM SIGPLAN Notices;2016-08