Qirun Zhang

Registered user since Thu 14 Aug 2014

Name:Qirun Zhang
Country:United States
Affiliation:Georgia Institute of Technology
Research interests:Program analysis

Contributions

ESEC/FSE 2023 Committee Member in Program Committee within the Research Papers-track
SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
PLDI 2023 Author of Recursive State Machine Guided Graph Folding for Context-Free Language Reachability within the PLDI Research Papers-track
POPL 2023 Author of Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming within the POPL-track
Author of Witnessability of Undecidable Problems within the POPL-track
SPLASH 2022 Author of Taming Transitive Redundancy for Context-Free Language Reachability within the V-OOPSLA-track
ASE 2022 Author of Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating within the Artifact Evaluation-track
Author of Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating within the Research Papers-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
Session Chair of Program Analysis (part of SIGPLAN Track)
ICSE 2022 Author of Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python within the Technical Track-track
POPL 2022 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
APLAS 2021 Committee Member in Program Committee within the Research Papers-track
ICSE 2021 Committee Member in Program Committee within the Technical Track-track
POPL 2021 Author of On the Complexity of Bidirected Interleaved Dyck-Reachability within the POPL-track
ESEC/FSE 2020 Committee Member in Program Committee within the Research Papers-track
ASE 2020 Author of Subdomain-Based Generality-Aware Debloating within the Research Papers-track
ICSE 2020 Author of Program Debloating via Stochastic Optimization within the New Ideas and Emerging Results-track
PLDI 2020 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
ISSTA 2019 Committee Member in Program Committee within the Technical Papers-track
PLDI 2019 Session Chair of Parsing (part of PLDI Research Papers)
Committee Member in External Review Committee within the PLDI Research Papers-track
ICSE 2019 Author of Practical GUI Testing of Android Applications via Model Abstraction and Refinement within the Technical Track-track
ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
PLDI 2018 Committee Member in External Review Committee
Author of Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability within the PLDI Research Papers-track
* ICSE 2018 * Author of Perses: Syntax-Guided Program Reduction within the Technical Papers -track
ISSTA 2017 Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI 2017 Author of Skeletal Program Enumeration for Rigorous Compiler Testing within the PLDI Research Papers-track
Committee Member in Artifact Evaluation Committee
POPL 2017 Committee Member in Selection Committee within the Student Research Competition-track
Session Chair of Poster Session (part of Student Research Competition)
Author of Context-sensitive data dependence analysis via Linear Conjunctive Language Reachability within the POPL-track
SPLASH 2014 Author of Efficient Subcubic Alias Analysis for C within the OOPSLA-track