Photo

Qirun Zhang

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

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

Starting December 2018, I will be joining the faculty of Computer Science at Georgia Tech as an Assistant Professor.

[[This website is currently under construction..]]


Research Interests

My research interests are in the areas of programming languages and software engineering, specifically focusing on techniques for improving software reliability and security.


Publications

  1. Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Harry Xu and Zhendong Su
    Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability. In Proceedings of Programming Language Design and Implementation (PLDI), 2018 (to appear).
  2. Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu and Zhendong Su.
    Perses: Syntax-Guided Program Reduction. In Proceedings of International Conference on Software Engineering (ICSE), 2018 (to appear).
  3. 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][Project]
  4. 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]
  5. 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]
  6. 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]
  7. Xiao Xiao, Qirun Zhang, Jinguo Zhou, and Charles Zhang.
    Persistent pointer information. In Proceedings of Programming Language Design and Implementation (PLDI), 2014.
    [Paper][Project]
  8. 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]
  9. 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]
  10. 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]
  11. 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]

Ph.D. Thesis


Projects

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


Course


Service


Misc


Contact

I check Qirun gmail address for daily conversations.


Last Updated: 2017-12.   Valid HTML 4.01 Transitional