Photo

Qirun Zhang

Assistant Professor
School of Computer Science
Georgia Institute of Technology

Office: Klaus Advanced Computing Building 2324
Email: qrzhang@gatech.edu

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

I am an assistant professor in the School of Computer Science at the Georgia Institute of Technology. I completed my Ph.D. in Computer Science and Engineering at The Chinese University of Hong Kong in 2013, and I received my bachelor's degree in Computer Science from Zhejiang University in 2009.

I am always looking for motivated and talented students to work with. If you are interested, please contact me.

I will be teaching CS 8803 Topics in Program Analysis in Fall 2019.


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.

In particular, I enjoy working on program analysis and compiler optimization problems from perspectives such as computational complexity, analytic combinatorics, graph theory, and formal languages.


Publications

  1. Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu and Zhendong Su
    Practical GUI Testing of Android Applications via Model Abstraction and Refinement In Proceedings of International Conference on Software Engineering (ICSE), 2019 (to appear).
  2. 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).
  3. 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).
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Xiao Xiao, Qirun Zhang, Jinguo Zhou, and Charles Zhang.
    Persistent pointer information. In Proceedings of Programming Language Design and Implementation (PLDI), 2014.
    [Paper][Project]
  9. 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]
  10. 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]
  11. 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]
  12. 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 use helloqirun@gmail.com as my personal email.


Last Updated: 2019-8.   Valid HTML 4.01 Transitional