conf.researchr.org / Xinyu Wang
Registered user since Tue 29 May 2018
Name:Xinyu Wang
Affiliation:Zhejiang University
Personal website: http://person.zju.edu.cn/en/wangxinyu_en/0.html
Research interests:Empirical Study, Mining Software Repositories, Model Checking
Contributions
2026
ASE
- Author of Bridging the Gap between Intent and Impact: An Empirical Study of GPU Optimizations in Deep Learning Frameworks within the Research Papers-track
- Author of VARIES: Verification Harness Synthesis and Efficient Scheduling for Unsoundness Detection in Rust Libraries within the Research Papers-track