Hi! I am Wenyuan Xu, a second-year Ph.D. student at Aarhus University, advised by Anders Møller. Previously, I was an Security Engineer at Alibaba Security Department. I spent my happy undergraduate and graduate years at Yangzhou University and Nanjing University.
I have a strong interest in Program Analysis and Software Security.
Interests
- Program Analysis
- Software Security
- Philosophy
Education
PhD in Program Analysis, 2022
Aarhus University
Msc in Software Engineering, 2018
Nanjing University
BSc in Network Engineering, 2014
Yangzhou University
Recent & Upcoming Events
- (2024.05) Our paper titled “Reducing Static Analysis Unsoundness with Approximate Interpretation” got accepted in PLDI 2024. See you in Copenhagen!
- (2023.09) I will attend PLISS 2023 soon!
- (2023.05) Our team won the 1st place in ChalmersGU-KTH-Aarhus CTF competition!
- (2022.08) I will be a Ph.D. Student at Computer Science Department at Aarhus University!
Recent Publications
Quickly discover relevant content by filtering publications.
Service & Teaching
TA
- Compiler, 2022 Autumn
Experience
Ph.D. Student (in CASA, Advisor: Anders Møller)
Security Engineer
Graduate Student in Software Engineering (in iSE Lab, Leader: Zhenyu Chen)
Undergraduate Student in Network Engineering (in RiSAME Group, Leader: Xiaobing Sun)
Projects
Jelly
Jelly is a static analyzer for performing call graphs construction, library usage pattern matching, and vulnerability exposure analysis for JavaScript (and TypeScript) programs that use the Node.js platform.
ML-based SAST
ML-based-SAST is a tool that uses program slicing and BLSTM network to reduce the false positives during taint analysis.
Contact Me
- wenyuan.xu@cs.au.dk
- +45 50 34 19 71
- Turning-222, IT-parken, Aabogade 34, Aarhus, 8200
- DM Me
- Zoom Me