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] [Students] [Misc] [Contact]

newsTwo REU positions are available starting Fall 2020. Please drop me an email (with your transcript) if you are interested.

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


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. On the Complexity of Bidirected Interleaved Dyck-Reachability
    Yuanbo Li, Qirun Zhang, Thomas Reps
    In Proceedings of Symposium on Principles of Programming Languages (POPL), 2021 (conditionally accepted).
  2. Subdomain-Based Generality-Aware Debloating
    Qi Xin, Myeongsoo Kim, Qirun Zhang, Alex Orso
    In Proceedings of International Conference on Automated Software Engineering (ASE), 2020.
  3. Debug Information Validation for Optimized Code
    Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano
    In Proceedings of Programming Language Design and Implementation (PLDI), 2020.
  4. Fast Graph Simplification for Interleaved Dyck-Reachability.
    Yuanbo Li, Qirun Zhang, Thomas Reps
    In Proceedings of Programming Language Design and Implementation (PLDI), 2020. (PLDI Distinguished Paper Award)
  5. Program Debloating via Stochastic Optimization
    Qi Xin, Myeongsoo Kim, Qirun Zhang, Alex Orso
    In Proceedings of International Conference on Software Engineering (ICSE), NIER Paper, 2020.
  6. Practical GUI Testing of Android Applications via Model Abstraction and Refinement
    Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu and Zhendong Su
    In Proceedings of International Conference on Software Engineering (ICSE), 2019.
  7. Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
    Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Harry Xu and Zhendong Su
    In Proceedings of Programming Language Design and Implementation (PLDI), 2018.
  8. Perses: Syntax-Guided Program Reduction
    Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu and Zhendong Su
    In Proceedings of International Conference on Software Engineering (ICSE), 2018.
  9. Skeletal Program Enumeration for Rigorous Compiler Testing
    Qirun Zhang, Chengnian Sun and Zhendong Su
    In Proceedings of Programming Language Design and Implementation (PLDI), 2017.
  10. Context-Sensitive Data-Dependence Analysis via Linear Conjunctive Language Reachability
    Qirun Zhang and Zhendong Su
    In Proceedings of Symposium on Principles of Programming Languages (POPL), 2017.
  11. Toward Understanding Compiler Bugs in GCC and LLVM
    Chengnian Sun, Vu Le, Qirun Zhang, and Zhendong Su
    In Proceedings of International Symposium on Software Testing and Analysis (ISSTA), 2016.
  12. Efficient Subcubic Alias Analysis for C
    Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, and Zhendong Su
    In Proceedings of Object Oriented Programming Systems Languages and Applications (OOPSLA), 2014.
  13. Persistent pointer information
    Xiao Xiao, Qirun Zhang, Jinguo Zhou, and Charles Zhang
    In Proceedings of Programming Language Design and Implementation (PLDI), 2014.
  14. Fast Algorithms for Dyck-CFL-Reachability with Applications to Alias Analysis
    Qirun Zhang, Michael R. Lyu, Hao Yuan, and Zhendong Su
    In Proceedings of Programming Language Design and Implementation (PLDI), 2013.
  15. Flow-Augmented Call Graph: A New Foundation for Taming API Complexity
    Qirun Zhang, Wujie Zheng and Michael R. Lyu
    In Proceedings of Fundamental Approaches to Software Engineering (FASE), 2011.
  16. Cross-Library API Recommendation Using Web Search Engines
    Wujie Zheng, Qirun Zhang, and Michael R. Lyu
    In Proceedings of the Symposium on Foundations of Software Engineering (FSE), New Ideas Track, 2011.
  17. Random Unit-Test Generation with MUT-aware Sequence Recommendation
    Wujie Zheng, Qirun Zhang, Michael Lyu, and Tao Xie
    In Proceedings of the International Conference on Automated Software Engineering (ASE), Short Paper, 2010.

Projects


Course


Service


Students

Current students

Former students


Misc


Contact

I use helloqirun@gmail.com as my personal email.


Valid HTML 4.01 Transitional