1. A separation logic for heap space under garbage collection;Proceedings of the ACM on Programming Languages;2022-01-12
2. Non-polynomial Worst-Case Analysis of Recursive Programs;ACM Transactions on Programming Languages and Systems;2019-12-05
3. Type-Driven Verification of Non-functional Properties;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
4. Type-Based Cost Analysis for Lazy Functional Languages;Journal of Automated Reasoning;2017-01-06
5. A type theory for incremental computational complexity with control flow changes;ACM SIGPLAN Notices;2016-12-05