1. Garbage-Collection Safety for Region-Based Type-Polymorphic Programs;Proceedings of the ACM on Programming Languages;2023-06-06
2. Inlining-Benefit Prediction with Interprocedural Partial Escape Analysis;Proceedings of the 14th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages;2022-11-29
3. Analyzing binding extent in 3CPS;Proceedings of the ACM on Programming Languages;2022-08-29
4. Integrating region memory management and tag-free generational garbage collection;Journal of Functional Programming;2021
5. Escape from escape analysis of Golang;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice;2020-06-27