Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks
Published in OOPSLA, 2024
Download here
鄢振宇
Zhenyu Yan
A third-year Ph.D. candidate at Programming Languages Lab, School of Computer Science, Peking University
- Beijing, China
- zhenyuyan ÂŤ stu.pku.edu.cn
- Github