Photo
This photo needs update.

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.


Research Interests

My research interests are program analysis and verification.


Publications

  1. Qirun Zhang, Chengnian Sun and Zhendong Su.
    Skeletal Program Enumeration for Rigorous Compiler Testing. In Proceedings of Programming Language Design and Implementation (PLDI), 2017.
    [Paper]
  2. Qirun Zhang and Zhendong Su.
    Context-Sensitive Data-Dependence Analysis via Linear Conjunctive Language Reachability. In Proceedings of Symposium on Principles of Programming Languages (POPL), 2017.
    [Paper]
  3. Chengnian Sun, Vu Le, Qirun Zhang, and Zhendong Su
    Toward Understanding Compiler Bugs in GCC and LLVM. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA), 2016.
    [Paper][Project]
  4. 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.
    [Paper]
  5. Xiao Xiao, Qirun Zhang, Jinguo Zhou, and Charles Zhang.
    Persistent pointer information. In Proceedings of Programming Language Design and Implementation (PLDI), 2014.
    [Paper][Project]
  6. 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.
    [Paper]
  7. 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.
    [Paper][Project]
  8. 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.
    [Paper]
  9. 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.
    [Paper][Project]

Projects

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


Course


Misc


Contact

I check Qirun gmail address for daily conversations.


Last Updated: 2017-7.   Valid HTML 4.01 Transitional