Zhenyu Yan -

Registered user since Thu 10 Nov 2022

Name:Zhenyu Yan

Country:China

Affiliation:Peking University

Personal website: https://michael1015198808.github.io/

X (Twitter): https://x.com/ZhenyuYan3

GitHub: https://github.com/michael1015198808

Research interests:Program Analysis

Contributions

2025

Static Analysis Symposium

Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track

2024

SPLASH

Author of Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks within the OOPSLA 2024-track