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

2026

SPLASH

Author of Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation within the OOPSLA-track

PLDI

Author of [TOPLAS] Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors within the PLDI Research Papers-track

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