Cheng Wen

According to our database, Cheng Wen authored at least 17 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems.

Guohua Xin, Guangquan Xu, Yao Zhang, Cheng Wen, Cen Zhang, Xiaofei Xie, Neal N. Xiong, Shaoying Liu, Pan Gao

IEEE Trans. Parallel Distributed Syst., June, 2025

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

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2024

Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?

Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian

ACM Trans. Knowl. Discov. Data, August, 2024

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems.

Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu, Cong Tian

CoRR, 2024

CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features.

Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin, Cong Tian

Proceedings of the Theoretical Aspects of Software Engineering, 2024

CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing.

Jiacheng Jiang, Cheng Wen, Shengchao Qin

Proceedings of the Theoretical Aspects of Software Engineering, 2024

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

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

MemSpate: Memory Usage Protocol Guided Fuzzing.

Zhiyuan Fu, Jiacheng Jiang, Cheng Wen, Zhiwu Xu, Shengchao Qin

Proceedings of the Formal Methods and Software Engineering, 2024

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

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2022

Controlled Concurrency Testing via Periodical Scheduling.

Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Extracting automata from neural networks using active learning.

Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He

PeerJ Comput. Sci., 2021

2020

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

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

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

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Type Learning for Binaries and Its Applications.

Zhiwu Xu, Cheng Wen, Shengchao Qin

IEEE Trans. Reliab., 2019

2018

State-taint analysis for detecting resource bugs.

Zhiwu Xu, Cheng Wen, Shengchao Qin

Sci. Comput. Program., 2018

2017

Effective Malware Detection Based on Behaviour and Data Features.

Zhiwu Xu, Cheng Wen, Shengchao Qin, Zhong Ming

Proceedings of the Smart Computing and Communication, 2017

Learning Types for Binaries.

Zhiwu Xu, Cheng Wen, Shengchao Qin

Proceedings of the Formal Methods and Software Engineering, 2017