Follow
Qiyang He
Qiyang He
Snowflake, Inc
Verified email at purdue.edu - Homepage
Title
Cited by
Cited by
Year
Reachability types: tracking aliasing and separation in higher-order functional programs
Y Bao, G Wei, O Bračevac, Y Jiang, Q He, T Rompf
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-32, 2021
202021
Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI)
S Abeysinghe, Q He, T Rompf
Proceedings of the 2022 International Conference on Management of Data, 136-149, 2022
102022
A Survey of Learned Indexes for the Multi-dimensional Space
A Al-Mamun, H Wu, Q He, J Wang, WG Aref
arXiv preprint arXiv:2403.06456, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–3