Photo

Qirun Zhang

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

[Research Interests] [Publications] [Projects] [Course] [Service][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 Hong Kong University of Science and Technology, 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. My Ph.D. adviser was Prof. Michael Lyu.


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