Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs

Yuyan Bao, Guannan Wei, Oliver Bračevac, Yuxuan Jiang, Qiyang He, Tiark Rompf Proceedings of the ACM on Programming Languages, Volume 5 (OOPSLA 2021). Online/Chicago, IL, USA
[pdf] [acm dl] [artifact]

Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI)

Supun Abeysinghe, Qiyang He, Tiark Rompf Proceedings of the 2022 International Conference on Management of Data (SIGMOD 2022). Philadelphia, PA, USA
[pdf] [acm dl]