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 2020Committee Member in Program Committee within the Research Papers-track
PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-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 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