I am a Ph.D. student under the supervision of Prof. Na Meng in the Department of Computer Science, Virginia Tech . My research focuses on vulnerability detection through static program analysis, which aims at helping developers eliminate security API misuses. I received my M.S degree from the Missouri S&T Computer Science department in 2018, and my bachelor's degree from Northeastern University, China, in 2016.
[04/2023] I was honored with 2023 Bitshares Fellowship
[08/2022] Our paper on "Automatic Detection of Java Cryptographic API Misuses: Are We There Yet?"
has been selected for presentation at ASE’22
Application Security Team @ ByteDance
Talent Insight Team @ Linkedin
Automatic detection and repair of security vulnerabilities related to API misuses
Dynamic symbolic execution test on Rust
Example-Based Vulnerability Detection and Repair in Java Code [link to paper]
30th IEEE/ACM International Conference on Program Comprehension (ICPC 2022)
Automatic Detection of Java Cryptographic API Misuses: Are We There Yet? [link to paper]
Transactions on Software Engineering (TSE)
Data-Driven Vulnerability Detection and Repair in Java Code [link to paper]
RWS - A Roulette Wheel Scheduler For Preventing Execution Pattern Leakage [link to paper]
Proceedings of the 24th IEEE Real-Time and Embedded Technology and Applications Symposium, BP Session, Porto, Portugal, 2018.