Reachability types: tracking aliasing and separation in higher-order functional programs. - Yuyan Bao; Guannan Wei 001; Oliver Bracevac; Yuxuan Jiang 006; Qiyang He; Tiark Rompf (Proc. ACM Program. Lang., 2021)

Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI). - Supun Abeysinghe; Qiyang He; Tiark Rompf (SIGMOD Conference, 2022)

Adaptive Security Tracking Control of Constrained Unmanned Surface Vehicles. - Enjun Liu; Shuang Liu; Qiyang He; Hanzhang Cai; Shanling Dong (ASCC, 2024)

A Survey of Learned Indexes for the Multi-dimensional Space. - Abdullah Al-Mamun 003; Hao Wu; Qiyang He; Jianguo Wang 001; Walid G. Aref (CoRR, 2024)

Aircraft Target Detection in Remote Sensing Images Based on Improved YOLOv7-Tiny Network. - Ruizhe Zhu; Hai Jin 004; Yonghua Han; Qiyang He; Haibo Mu (IEEE Access, 2025)

The Effect of Social Media on Corporate Innovation: Evidence from Seeking Alpha Coverage. - Qiyang He; Henry Leung; Buhui Qiu; Zhou Zhou (Manag. Sci., 2025)