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)

Graph IRs for Impure Higher-Order Languages (Technical Report). - Oliver Bracevac; Guannan Wei 001; Songlin Jia; Supun Abeysinghe; Yuxuan Jiang 006; Yuyan Bao; Tiark Rompf (CoRR, 2023)

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies. - Oliver Bracevac; Guannan Wei 001; Songlin Jia; Supun Abeysinghe; Yuxuan Jiang 006; Yuyan Bao; Tiark Rompf (Proc. ACM Program. Lang., 2023)