How Well Static Type Checkers Work with Gradual Typing? A Case Study on Python. - Wenjie Xu; Lin Chen 015; Chenghao Su; Yimeng Guo; Yanhui Li; Yuming Zhou; Baowen Xu (ICPC, 2023)

Static Blame for gradual typing. - Chenghao Su; Lin Chen 015; Yanhui Li; Yuming Zhou (J. Funct. Program., 2024)

Binding of C++ and JavaScript through automated glue code generation. - Yijie Ou; Chenghao Su; Lin Chen; Yanhui Li; Yuming Zhou (J. Syst. Softw., 2025)