Zheyuan Wu -

Registered user since Tue 17 Sep 2024

Name:Zheyuan Wu

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

Contributions

2025

ESEC/FSE

Author of Expressing and Checking Statistical Assumptions within the Research Papers-track

2024

SPLASH

Author of Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities within the Student Research Competition-track