鄢振宇

鄢振宇

Zhenyu Yan

A third-year Ph.D. candidate at Programming Languages Lab, School of Computer Science, Peking University

Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks

Published in OOPSLA, 2024