Login / Signup
Yuxuan Jiang
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Higher Order
Pairwise
Functional Programs
Graph Based Algorithm
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Oliver Bracevac
,
Guannan Wei
,
Songlin Jia
,
Supun Abeysinghe
,
Yuxuan Jiang
,
Yuyan Bao
,
Tiark Rompf
Graph IRs for Impure Higher-Order Languages (Technical Report).
CoRR
(2023)
Oliver Bracevac
,
Guannan Wei
,
Songlin Jia
,
Supun Abeysinghe
,
Yuxuan Jiang
,
Yuyan Bao
,
Tiark Rompf
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.
Proc. ACM Program. Lang.
7 (OOPSLA2) (2023)
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)