| 2026 | ACL | Bridging Kernel Drivers and Virtual Device Models with LLM-Powered Automation. | Mingyu Wang, Bin Yu, Wenjian Lu, Zhi Wang, Kefeng Gao, Cheng Wen, Xu Lu, Cong Tian |
| 2026 | ACL | Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis. | Cheng Wen, Junjie Hu, YiKun Hu, Jie Su, Bin Yu, Dugang Liu, Zhiwu Xu, Weidi Sun, Shengchao Qin, Cong Tian |
| 2026 | FM | Automated LTL Specification Generation from Industrial Aerospace Requirements. | Zhi Ma, Xiao Liang, Cheng Wen, Rui Chen, Bin Gu, Shengchao Qin, Cong Tian, Mengfei Yang |
| 2026 | ICSE | Atomicity Violation Detection for Interrupt-Driven Programs via Incrementally Exploring Concurrent Paths. | Yuanzhe Liu, Bin Yu, Ruixue Li, Cheng Wen, Xu Lu, Chu Chen, Cong Tian |
| 2026 | SANER | Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation. | Junjie Huang, Cheng Wen, Jie Su, Zhiwu Xu, Bin Yu, Shengchao Qin, Cong Tian |
| 2026 | SANER | How Well Does Knowledge Injection Enhance LLM-Aided Formal Protocol Modeling? | Yajia Lin, Jie Su, Cheng Wen, Rong Wang, Cong Tian, Zhenhua Dun, Shengchao Qin |
| 2026 | SANER | Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysis for Enhanced Vulnerability Detection. | Ying Wang, Jie Su, Cheng Wen, Rong Wang, Cong Tian, Zhenhua Dun, Shengchao Qin |
| 2026 | TASE | Towards Accurate Thread Sharing Analysis via Synchronization-Aware Dynamic Tracing. | Jun Zhang, Xinyin Liao, Cheng Wen, Jie Su, Zhuohua Li, Yuandao Cai, Xiaoxue Ma, Shengchao Qin |
| 2026 | TASE | Enhancing LLM-Based Proof Synthesis for Rust Programs via Semantic Chunking and Hierarchical Context Expansion. | Yuchen Zhang, Cheng Wen, Zhiwu Xu, Dugang Liu, Jialun Cao, Yuwei Liu, Shengchao Qin, Cong Tian |
| 2025 | ACL | From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. | Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian |
| 2024 | CAV | Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. | Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian |
| 2024 | ICASSP | IMFIT: Normal Estimation via Learning Neural Implicit Surface. | Rao Fu, Cheng Wen, Qian Li |
| 2024 | ICASSP | Reference Line Network: On Simultaneous Gaussian Line Detection and Connection Graph Inference. | Qian Li, Rao Fu, Cheng Wen |
| 2024 | ICASSP | Incremental Tensor Decomposition for Few Shot Neural Radiance Field. | Qian Li, Cheng Wen, Rao Fu |
| 2024 | ICFEM | MemSpate: Memory Usage Protocol Guided Fuzzing. | Zhiyuan Fu, Jiacheng Jiang, Cheng Wen, Zhiwu Xu, Shengchao Qin |
| 2024 | ICSE | RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. | Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, Mengda He |
| 2024 | TASE | CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. | Jiacheng Jiang, Cheng Wen, Shengchao Qin |
| 2024 | TASE | CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features. | Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin, Cong Tian |
| 2023 | CVPR | Learnable Skeleton-Aware 3D Point Cloud Sampling. | Cheng Wen, Baosheng Yu, Dacheng Tao |
| 2023 | IJCAI | BPNet: Bzier Primitive Segmentation on 3D Point Clouds. | Rao Fu, Cheng Wen, Qian Li, Xiao Xiao, Pierre Alliez |
| 2022 | AAAI | VITA: A Multi-Source Vicinal Transfer Augmentation Method for Out-of-Distribution Generalization. | Minghui Chen, Cheng Wen, Feng Zheng, Fengxiang He, Ling Shao |
| 2022 | ICASSP | Time Domain Adversarial Voice Conversion for ADD 2022. | Cheng Wen, Tingwei Guo, Xingjun Tan, Rui Yan, Shuran Zhou, Chuandong Xie, Wei Zou, Xiangang Li |
| 2022 | ICASSP | Audio Deepfake Detection System with Neural Stitching for ADD 2022. | Rui Yan, Cheng Wen, Shuran Zhou, Tingwei Guo, Wei Zou, Xiangang Li |
| 2022 | ICSE | Controlled Concurrency Testing via Periodical Scheduling. | Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin |
| 2021 | CVPR | Learning Progressive Point Embeddings for 3D Point Cloud Generation. | Cheng Wen, Baosheng Yu, Dacheng Tao |
| 2021 | ICASSP | Didispeech: A Large Scale Mandarin Speech Corpus. | Tingwei Guo, Cheng Wen, Dongwei Jiang, Ne Luo, Ruixiong Zhang, Shuaijiang Zhao, Wubo Li, Cheng Gong, Wei Zou, Kun Han, Xiangang Li |
| 2020 | ICSE | Typestate-guided fuzzer for discovering use-after-free vulnerabilities. | Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui |
| 2020 | ICSE | MemLock: memory usage guided fuzzing. | Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu |
| 2018 | ICMLC | Nondestructive Detection Of Anchorage Quality Of Rock Bolt Based On DS-DBN-SVM. | Hai-Qing Zheng, Ya-Ru Yang, Xiao-Yun Sun, Cheng Wen |
| 2017 | ICFEM | Learning Types for Binaries. | Zhiwu Xu, Cheng Wen, Shengchao Qin |
| 2016 | AMIA | The Use of a mHealth Decision Tree Support Program for Epinephrine Auto-injector (EAI) Administration Training of Adolescents. | Joel Gallagher, Robert Rivera, Asriani Chiu, Tanvir Roushan, Golam Mushih Tanimul Ahsan, Cheng Wen, Christina Eldredge, Sheikh Iqbal Ahamed |