conf.researchr.org / Qirun Zhang
Registered user since Thu 14 Aug 2014
Name:Qirun Zhang
Country:United States
Affiliation:Georgia Institute of Technology
Personal website: http://helloqirun.github.io/
Research interests:Program analysis
Contributions
2025
SPLASH
2024
SPLASH
Vivek Sarkar Festschrift Symposium
Static Analysis Symposium
PLDI
- Session Chair of SIGPLAN + TOPLAS (part of PLDI Research Papers)
- Author of SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories within the PLDI Research Papers-track
- Author of Context-Free Language Reachability via Skewed Tabulation within the PLDI Research Papers-track
- Committee Member in PLDI Review Committee within the PLDI Research Papers-track
2023
ESEC/FSE
Static Analysis Symposium
2022
ASE
PLDI
POPL
- Author of Program Analysis via Graph Reachability: Past, Present, and Future [Part B] within the TutorialFest-track
- Session Chair of Algorithmic Verification 1 (part of POPL)
- Session Chair of Algorithmic Verification 2 (part of POPL)
- Committee Member in Program Committee within the POPL-track
- Author of Efficient Algorithms for Dynamic Bidirected Dyck-Reachability within the POPL-track
2021
2020
PLDI
- Author of Debug Information Validation for Optimized Code within the PLDI Research Papers-track
- Author of Fast Graph Simplification for Interleaved Dyck-Reachability within the PLDI Research Papers-track
- Session Chair of Symbolic Execution (part of PLDI Research Papers)
- Committee Member in Program Committee within the PLDI Research Papers-track