Login / Signup
Qiyang He
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Aggregate Queries
Pairwise
Functional Programs
First Order Logic
Top Venues
Proc. ACM Program. Lang.
SIGMOD Conference
</>
Publications
</>
Supun Abeysinghe
,
Qiyang He
,
Tiark Rompf
Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI).
SIGMOD Conference
(2022)
Yuyan Bao
,
Guannan Wei
,
Oliver Bracevac
,
Yuxuan Jiang
,
Qiyang He
,
Tiark Rompf
Reachability types: tracking aliasing and separation in higher-order functional programs.
Proc. ACM Program. Lang.
5 (OOPSLA) (2021)