Qiuping Yi

According to our database, Qiuping Yi authored at least 18 papers between 2011 and 2026.

Collaborative distances:

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

2026

Dynamic Binary Translation of VLIW Code With Software Pipeline.

Hongliang Liang, Kailai Liao, Guohao Wu, Qiuping Yi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2026

One perturbation fools all: An adversarial perturbation can attack different vision models.

Jinyan Cai, Tianhao Yu, Hongliang Liang, Qiuping Yi

Knowl. Based Syst., 2026

An end-to-end approach for fixing concurrency bugs via SHB-based context extractor.

Zhuang Li, Qiuping Yi, Keyang Xiao, Zongcheng Ji, Hongliang Liang

J. Syst. Softw., 2026

BiMarker: Enhancing text watermark detection for large language models with bipolar watermarks.

Zhuang Li, Qiuping Yi, Zongcheng Ji, Yijian Lu, Shun Zou, Yanqi Li, Keyang Xiao, Hongliang Liang

Neurocomputing, 2026

2025

VeriFix: Verifying Your Fix Towards An Atomicity Violation.

Zhuang Li, Qiuping Yi, Jeff Huang

CoRR, April, 2025

LeakGuard: Detecting Memory Leaks Accurately and Scalably.

Hongliang Liang, Luming Yin, Guohao Wu, Yuxiang Li, Qiuping Yi, Lei Wang

CoRR, April, 2025

Data-independent generation of targeted universal adversarial perturbations.

Weihao Zhao, Jinyan Cai, Hongliang Liang, Qiuping Yi

Knowl. Based Syst., 2025

VeriFix: Verifying your fix towards an atomicity violation.

Zhuang Li, Qiuping Yi, Jeff Huang

J. Syst. Softw., 2025

2024

Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding.

Qiuping Yi, Yifan Yu, Guowei Yang

Proc. ACM Program. Lang., 2024

2022

LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution.

Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi

Proceedings of the 31st USENIX Security Symposium, 2022

Feedback-Driven Incremental Symbolic Execution.

Qiuping Yi, Guowei Yang

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2020

Summary-guided incremental symbolic execution.

Qiuping Yi, Junye Wen, Guowei Yang

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

2018

Eliminating Path Redundancy via Postconditioned Symbolic Execution.

Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao

IEEE Trans. Software Eng., 2018

Concurrency verification with maximal path causality.

Qiuping Yi, Jeff Huang

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2015

Explaining Software Failures by Cascade Fault Localization.

Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang

ACM Trans. Design Autom. Electr. Syst., 2015

Postconditioned Symbolic Execution.

Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

A Synergistic Analysis Method for Explaining Failed Regression Tests.

Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2011

Efficient Loop-Extended Model Checking of Data Structure Methods.

Qiuping Yi, Jian Liu, Wuwei Shen

Proceedings of the Software Engineering, Business Continuity, and Education, 2011