Registered user since Sat 25 Jan 2020
Name:Cheng Wen
Bio:
Cheng Wen is currently a lecturer at the Guangzhou Institute of Technology, Xidian University. Cheng Wen’s research interests are in the areas of Software Engineering (SE), Artificial Intelligence for SE (AI4SE), and Formal Methods (FM). In particular, he focuses on the use of program analysis, testing, verification, and AI techniques to make software systems more secure and reliable. His research has led to the discovery of hundreds of real-world security-critical bugs, assigning 83 CVEs.
Country:China
Affiliation:Xidian University
Personal website: https://wcventure.github.io/
GitHub: https://github.com/wcventure
Research interests:Software Engineering, Security
Contributions
2026
ASE
- VerusSeek: Retrieval-Augmented LLM-Based Proof Synthesis for Rust Programs
- Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd
- TLCrafter: Peeling the Layers of Natural Language to Reveal Temporal Logic Specifications
- Understanding Real-World Ordering-Related Concurrency Bugs under Weak-Memory and Cross-Architecture Settings
- ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis
- NL2VBench: A Benchmark for End-to-End Natural-Language to Verifiable Rust Generation
- Understanding the Performance-Effectiveness Trade-Offs of AddressSanitizer in Real-World Programs: An Empirical Study
Using general profile