Qirun Zhang

Qirun Zhang is an Assistant Professor in the School of Computer Science at the Georgia Institute of Technology. He holds the Catherine M. and James E. Allchin Early Career academic title. His research focuses on programming languages, software engineering, and compiler optimization, with an emphasis on program analysis, static analysis, and formal methods. He received his Ph.D. in Computer Science and Engineering from The Chinese University of Hong Kong (2013) and a Bachelor's from Zhejiang University (2009).

Research Interests include techniques for improving software reliability/security via program analysis and compiler optimization. His work leverages computational complexity, analytic combinatorics, graph theory, and formal languages. Notable contributions involve debug information validation, context-free language reachability, and compiler testing frameworks like Skeletal Program Enumeration (SPE).

Recent Work spans scalable cryptographic accelerator design, LLVM-based debug validation, and SMT solving optimizations. His papers often address algorithmic improvements for reachability problems and compiler correctness.

Awards include the PLDI Distinguished Paper Award (2020) and Facebook Fellowship (2021). He serves on program committees for top venues like POPL, SAS, and PLDI, and chairs artifact evaluation committees (PLDI'25).

Teaching includes courses on compilers (CS 4240), software analysis (CS 6340), and advanced program analysis (CS 8803). He mentors a research group with current Ph.D. students and MS/undergraduate researchers.

Lab/Team focuses on rigorous compiler validation and program analysis tools. Open positions are available for Fall 2025.