Qirun
Zhang

General Information

Email:
qrzhang@gatech.edu
Phone:
4048942000
Location - Building:
KACB
Location - Room:
2324
Roles:
Professor (any rank)
Primary Unit:
School of Computer Science
Website URL
https://faculty.cc.gatech.edu/~qrzhang/

Details

Degrees with subject and Postdoc Experience:
Degree Type
Ph.D
Subject
Computer Science
Year
2013
Institution
The Chinese University of Hong Kong
Location
Hong Kong, China
Degree Type
B. Eng.
Subject
Computer Science
Year
2009
Institution
Zhejiang University
Location
Hangzhou, China
Statement of Research Interests:

My research interests are in programming languages, compilers, and software engineering.

Statement of Teaching Interests:

I teach programming languages (CS6390), compilers (CS4240), and software analysis (CS6340) at GT.

Selection of recent research, scholarly, and creative activities:

My main publication venues are ACM SIGPLAN conferences. I also actively contribute to SIGPLAN activities and events.

1. [PLDI 2025] Robustifying Debug Information Updates in LLVM via Control Flow Conformance Analysis
2. [OOPSLA 2025] Fast Constraint Synthesis for C++ Function Templates
3. [PLDI 2024] SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories
4. [PLDI 2024] Context-Free Language Reachability via Skewed Tabulation
5. [PLDI 2023] Recursive State Machine Guided Graph Folding for Context-Free Language Reachability
6. [POPL 2023] Witnessability of Undecidable Problems
7. [POPL 2023] Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming
8. [OOPSLA 2022] Taming Transitive Redundancy for Context-Free Language Reachability
9. [POPL 2022] Efficient Algorithms for Dynamic Bidirected Dyck-Reachability
10. [POPL 2021] On the Complexity of Bidirected Interleaved Dyck-Reachability
11. [PLDI 2020] Debug Information Validation for Optimized Code
12. [PLDI 2020] Fast Graph Simplification for Interleaved Dyck-Reachability