Qirun Zhang

Registered user since Thu 14 Aug 2014

Name: Qirun Zhang

Affiliation: Georgia Institute of Technology, USA

Personal website: http://helloqirun.github.io/

Research interests: Program analysis

Contributions

ASE 2020Author of Subdomain-Based Generality-Aware Debloating within the Research Papers-track
ESEC/FSE 2020Committee Member in Program Committee within the Research Papers-track
PLDI 2020Author 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
ICSE 2021Committee Member in Program Committee within the Technical Track-track
ISSTA 2019Committee Member in Program Committee within the Technical Papers-track
PLDI 2019Session Chair of Parsing (part of PLDI Research Papers)
Committee Member in External Review Committee within the PLDI Research Papers-track
ICSE 2020Author of Program Debloating via Stochastic Optimization within the New Ideas and Emerging Results-track
ICSE 2019Author of Practical GUI Testing of Android Applications via Model Abstraction and Refinement within the Technical Track-track
PLDI 2018Committee Member in External Review Committee
Author of Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability within the PLDI Research Papers-track
ISSTA 2017Committee Member in Artifact Evaluation Committee within the Artifacts-track
POPL 2017Committee 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
ISSTA 2018Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
PLDI 2017Author of Skeletal Program Enumeration for Rigorous Compiler Testing within the PLDI Research Papers-track
Committee Member in Artifact Evaluation Committee
* ICSE 2018 *Author of Perses: Syntax-Guided Program Reduction within the Technical Papers -track
SPLASH 2014Author of Efficient Subcubic Alias Analysis for C within the OOPSLA-track