Qiuping Yi

Associate Professor
PhD Supervisor
School of Computer Science at Beijing University of Posts and Telecommunications (BUPT)
Email: yiqiuping@bupt.edu.cn

I'm always looking for highly motivated PhD/master students, visiting students, and BUPT undergraduate interns to work in my team. Please feel free to contact me for any further information!

Research Interests

My research is in the broad areas of software engineering and formal methods. The primary focus is to develop techniques for principled design of systems to improve safety and security, including supporting the debugging, analysis, and verification of complex or concurrent programs/systems. Currently, I am mainly focused on:

Some concrete topics of interest to me are:

Program analysis to support the debugging, analysis, and verification
Concurrent program testing and verification
Combining AI with program analysis techniques

I have published several full papers published in top-tier venues (including USENIX Security/FSE/ICSE/TSE).

Publications

Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi. "LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution". In Proceeding of the 31st USENIX Security Symposium(USENIX Security). 2021.
Qiuping Yi, Junye Wen, Guowei Yang. "Summary-guided incremental symbolic execution". IEEE/ACM International Conference on Software Engineering (ICSE)(Companion Volume). 2020.
Qiuping Yi, Jeff Huang. "Concurrency Verification with Maximal Path Causality". In Proceeding of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering(ESEC/FSE), FL, USA. 2018.[paper]
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, and Chen Zhao. "Eliminating Path Redundancy via Postconditioned Symbolic Execution". In IEEE Transactions on Software Engineering(TSE), 2017, 44(1), pp.25-43.[paper]
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, and Chao Wang, "A synergistic analysis method for explaining failed regression tests,". IEEE/ACM International Conference on Software Engineering (ICSE), Florence, Italy. May 2015.[paper]
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, and Chao Wang, "Explaining software failures by cascade fault localization,". ACM Transactions on Design Automation of Electronic Systems(TODEAS), 2015, 20(3), 41:1–41:28.[paper]
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, and Chen Zhao, "Post conditioned symbolic execution,". IEEE International Conference on Software Testing, Verification and Validation (ICST), Austria. April 2015.[paper]
Qiuping Yi, Jian Liu, and Wuwei Shen, "Efficient Loop-Extended Model Checking of Data Structure Methods,". International Conferences ASEA,2011.
Hongliang Liang, Qiuping Yi, Shuo Tian, "Specifying and building a formal secure Virtual Monitor Machine prototype". International Conference on Broadband Network and Multimedia Technology (IC-BNMT), 2010
Sunlv Wang, Jian Liu, Qiuping Yi, Jun Yan , "Model Checking a Secure Hypervisor,". World Congress on Software Engineering(WCSE), 2010.

Short Biography

2020~Now, School of Computer Science Beijing University of Posts and Telecommunications
2018.02~2019.05, Postdoc at Texas State University.
2016.06~2017.06, Postdoc at Texas A&M University.
2008.09~2016.01, Ph.D. at Institute of Software, Chinese Academy of Sciences(ISCAS).
2004.09~2008.06, Bachelor of College of Computer Science, Sichuan University.

Honors and Awards

National Scholarships of China, 2015
The First Prize Winner of Special Contribution Award, 2015
Outstanding Student Award of Chinese Academy of Sciences, Jun. 2010
Outstanding Student Award of Chinese Academy of Sciences, Jun. 2009
Outstanding Student Award of Sichuan University, Dec. 2006
National scholarships of China, 2005
Scholarship of Sichuan University (three times), 2005 ~ 2007