Qiuping Yi

15 papers A* 1A 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dynamic Binary Translation of VLIW Code With Software Pipeline.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hongliang Liang, Kailai Liao, Guohao Wu, Qiuping Yi
2025 J jnl
Data-independent generation of targeted universal adversarial perturbations.
Knowl. Based Syst.
Weihao Zhao, Jinyan Cai, Hongliang Liang, Qiuping Yi
2025 J jnl
LeakGuard: Detecting Memory Leaks Accurately and Scalably.
CoRR
Hongliang Liang, Luming Yin, Guohao Wu, Yuxiang Li, Qiuping Yi, Lei Wang
2025 J jnl
VeriFix: Verifying Your Fix Towards An Atomicity Violation.
CoRR
Zhuang Li, Qiuping Yi, Jeff Huang
2025 J jnl
VeriFix: Verifying your fix towards an atomicity violation.
J. Syst. Softw.
Zhuang Li, Qiuping Yi, Jeff Huang
2024 J jnl
Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding.
Proc. ACM Program. Lang.
Qiuping Yi, Yifan Yu, Guowei Yang
2022 A conf
Feedback-Driven Incremental Symbolic Execution.
ISSRE
Qiuping Yi, Guowei Yang
2022 A* conf
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution.
USENIX Security Symposium
Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi
2020 — conf
Summary-guided incremental symbolic execution.
ICSE (Companion Volume)
Qiuping Yi, Junye Wen, Guowei Yang
2018 — conf
Concurrency verification with maximal path causality.
ESEC/SIGSOFT FSE
Qiuping Yi, Jeff Huang
2018 J jnl
Eliminating Path Redundancy via Postconditioned Symbolic Execution.
IEEE Trans. Software Eng.
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
2015 — conf
A Synergistic Analysis Method for Explaining Failed Regression Tests.
ICSE (1)
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang
2015 J jnl
Explaining Software Failures by Cascade Fault Localization.
ACM Trans. Design Autom. Electr. Syst.
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang
2015 A conf
Postconditioned Symbolic Execution.
ICST
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
2011 — conf
Efficient Loop-Extended Model Checking of Data Structure Methods.
FGIT-ASEA/DRBC/EL
Qiuping Yi, Jian Liu, Wuwei Shen