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

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