Qirun Zhang

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 26

Top Venues

Proc. ACM Program. Lang.

PLDI

CoRR

ICSE

Chinese University of Hong Kong, Hong Kong (PHD)

Education History

Chinese University of Hong Kong, Hong Kong

PHD

Publications

Yuxiang Lei, Camille Bossut, Yulei Sui, Qirun Zhang
Context-Free Language Reachability via Skewed Tabulation. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Benjamin Mikek, Qirun Zhang
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Qirun Zhang
A Note on Dynamic Bidirected Dyck-Reachability with Cycles. CoRR (2024)
Yuxiang Lei, Yulei Sui, Shin Hwei Tan, Qirun Zhang
Recursive State Machine Guided Graph Folding for Context-Free Language Reachability. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Benjamin Mikek, Qirun Zhang
Speeding up SMT Solving via Compiler Optimization. ESEC/SIGSOFT FSE (2023)
Shuo Ding, Qirun Zhang
Mutual Refinements of Context-Free Language Reachability. SAS (2023)
Yuanbo Li, Qirun Zhang, Thomas W. Reps
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming. Proc. ACM Program. Lang. 7 (POPL) (2023)
Shuo Ding, Qirun Zhang
Witnessability of Undecidable Problems. Proc. ACM Program. Lang. 7 (POPL) (2023)
Yuanbo Li, Qirun Zhang, Thomas W. Reps
Fast Graph Simplification for Interleaved-Dyck Reachability. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Yuanbo Li, Kris Satya, Qirun Zhang
Efficient algorithms for dynamic bidirected Dyck-reachability. Proc. ACM Program. Lang. 6 (POPL) (2022)
Yun Peng, Cuiyun Gao, Zongjie Li, Bowei Gao, David Lo, Qirun Zhang, Michael R. Lyu
Static Inference Meets Deep learning: A Hybrid Type Inference Approach for Python. ICSE (2022)
Yuxiang Lei, Yulei Sui, Shuo Ding, Qirun Zhang
Taming transitive redundancy for context-free language reachability. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Qi Xin, Qirun Zhang, Alessandro Orso
Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating. ASE (2022)
Yuanbo Li, Qirun Zhang, Thomas W. Reps
On the complexity of bidirected interleaved Dyck-reachability. Proc. ACM Program. Lang. 5 (POPL) (2021)
Qirun Zhang
Conditional Lower Bound for Inclusion-Based Points-to Analysis. CoRR (2020)
Qi Xin, Myeongsoo Kim, Qirun Zhang, Alessandro Orso
Program debloating via stochastic optimization. ICSE (NIER) (2020)
Yuanbo Li, Qirun Zhang, Thomas W. Reps
Fast graph simplification for interleaved Dyck-reachability. PLDI (2020)
Qi Xin, Myeongsoo Kim, Qirun Zhang, Alessandro Orso
Subdomain-Based Generality-Aware Debloating. ASE (2020)
Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano
Debug information validation for optimized code. PLDI (2020)
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su
Practical GUI testing of Android applications via model abstraction and refinement. ICSE (2019)
Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su
Calling-to-reference context translation via constraint-guided CFL-reachability. PLDI (2018)
Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su
Perses: syntax-guided program reduction. ICSE (2018)
Qirun Zhang, Zhendong Su
Context-sensitive data-dependence analysis via linear conjunctive language reachability. POPL (2017)
Qirun Zhang, Chengnian Sun, Zhendong Su
Skeletal program enumeration for rigorous compiler testing. PLDI (2017)
Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su
Toward understanding compiler bugs in GCC and LLVM. ISSTA (2016)
Qirun Zhang, Chengnian Sun, Zhendong Su
Skeletal Program Enumeration for Rigorous Compiler Testing. CoRR (2016)
Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang
Persistent pointer information. PLDI (2014)
Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su
Efficient subcubic alias analysis for C. OOPSLA (2014)
Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. PLDI (2013)
Qirun Zhang, Wujie Zheng, Michael R. Lyu
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity. FASE (2011)
Wujie Zheng, Qirun Zhang, Michael R. Lyu
Cross-library API recommendation using web search engines. SIGSOFT FSE (2011)
Wujie Zheng, Qirun Zhang, Michael R. Lyu, Tao Xie
Random unit-test generation with MUT-aware sequence recommendation. ASE (2010)

Qirun Zhang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Qirun Zhang