Qirun Zhang

Department of Computer Science
University of California, Davis
Email: qrzhang at ucdavis edu

[Research Interests] [Publications] [Projects] [Misc] [Contact]

I am currently a postdoc in the Department of Computer Science at UC Davis, working with Prof. Zhendong Su. I was previously a postdoc at HKUST, working with Prof. Charles Zhang. I received my Ph.D. from The Chinese University of Hong Kong in 2013, and my Bachelor's degree from Zhejiang University in 2009.

Research Interests

My research interests are program analysis and verification.


  1. Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, and Zhendong Su.
    Efficient subcubic alias analysis for C. In Proceedings of Object Oriented Programming Systems Languages and Applications (OOPSLA), 2014.
  2. Xiao Xiao, Qirun Zhang, Jinguo Zhou, and Charles Zhang.
    Persistent pointer information. In Proceedings of Programming Language Design and Implementation (PLDI), 2014.
  3. Qirun Zhang, Michael R. Lyu, Hao Yuan, and Zhendong Su.
    Fast Algorithms for Dyck-CFL-Reachability with Applications to Alias Analysis. In Proceedings of Programming Language Design and Implementation (PLDI), 2013.
  4. Qirun Zhang, Wujie Zheng and Michael R. Lyu.
    Flow-Augmented Call Graph: A New Foundation for Taming API Complexity. In Proceedings of Fundamental Approaches to Software Engineering (FASE), 2011.
  5. Wujie Zheng, Qirun Zhang, and Michael R. Lyu.
    Cross-Library API Recommendation Using Web Search Engines. In Proceedings of the Symposium on Foundations of Software Engineering (FSE), New Ideas Track, 2011.
  6. Wujie Zheng, Qirun Zhang, Michael Lyu, and Tao Xie.
    Random Unit-Test Generation with MUT-aware Sequence Recommendation. In Proceedings of the International Conference on Automated Software Engineering (ASE), Short Paper, 2010.


I have been involved in the following projects as an undergraduate student:



I check Qirun gmail address for daily conversations.

Last Updated: 2014-12.   Valid HTML 4.01 Transitional