conf.researchr.org / Cheng Wen
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
- Author of VerusSeek: Retrieval-Augmented LLM-Based Proof Synthesis for Rust Programs within the Tools and Datasets-track
- Author of Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd within the Industry Showcase-track
- Author of TLCrafter: Peeling the Layers of Natural Language to Reveal Temporal Logic Specifications within the Tools and Datasets-track
- Author of Understanding Real-World Ordering-Related Concurrency Bugs under Weak-Memory and Cross-Architecture Settings within the Industry Showcase-track
- Author of ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis within the Tools and Datasets-track
- Author of NL2VBench: A Benchmark for End-to-End Natural-Language to Verifiable Rust Generation within the Tools and Datasets-track
- Author of Understanding the Performance-Effectiveness Trade-Offs of AddressSanitizer in Real-World Programs: An Empirical Study within the Industry Showcase-track
ESEM
- Author of An Empirical Study of Problem-Aligned Multilingual Code Generation and Directed Code Translation by Large Language Models within the ESEM - Technical Track-track
- Author of A Direction-Aware Study of LLM-Based Code Translation Across Eight Programming Languages within the ESEM - Emerging Results, Vision, and Reflection Papers Track-track
ESEC/FSE
- Author of IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints within the Ideas, Visions and Reflections-track
- Author of DevGen: Automated Generation of Virtual Device Models for Kernel Drivers via Large Language Models within the Ideas, Visions and Reflections-track
SANER
- Author of Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation within the Early Research Achievement (ERA) Track -track
- Author of Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysis for Enhanced Vulnerability Detection within the Early Research Achievement (ERA) Track -track
- Author of How Well Does Knowledge Injection Enhance LLM-aided Formal Protocol Modeling? within the Early Research Achievement (ERA) Track -track