Qirun Zhang

According to our database, Qirun Zhang authored at least 31 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories.

Benjamin Mikek, Qirun Zhang

Proc. ACM Program. Lang., 2024

Context-Free Language Reachability via Skewed Tabulation.

Yuxiang Lei, Camille Bossut, Yulei Sui, Qirun Zhang

Proc. ACM Program. Lang., 2024

A Note on Dynamic Bidirected Dyck-Reachability with Cycles.

Qirun Zhang

CoRR, 2024

2023

Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming.

Yuanbo Li, Qirun Zhang, Thomas W. Reps

Proc. ACM Program. Lang., January, 2023

Witnessability of Undecidable Problems.

Shuo Ding, Qirun Zhang

Proc. ACM Program. Lang., January, 2023

Recursive State Machine Guided Graph Folding for Context-Free Language Reachability.

Yuxiang Lei, Yulei Sui, Shin Hwei Tan, Qirun Zhang

Proc. ACM Program. Lang., 2023

Speeding up SMT Solving via Compiler Optimization.

Benjamin Mikek, Qirun Zhang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Mutual Refinements of Context-Free Language Reachability.

Shuo Ding, Qirun Zhang

Proceedings of the Static Analysis - 30th International Symposium, 2023

2022

Fast Graph Simplification for Interleaved-Dyck Reachability.

Yuanbo Li, Qirun Zhang, Thomas W. Reps

ACM Trans. Program. Lang. Syst., 2022

Efficient algorithms for dynamic bidirected Dyck-reachability.

Yuanbo Li, Kris Satya, Qirun Zhang

Proc. ACM Program. Lang., 2022

Taming transitive redundancy for context-free language reachability.

Yuxiang Lei, Yulei Sui, Shuo Ding, Qirun Zhang

Proc. ACM Program. Lang., 2022

Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating.

Qi Xin, Qirun Zhang, Alessandro Orso

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Static Inference Meets Deep learning: A Hybrid Type Inference Approach for Python.

Yun Peng, Cuiyun Gao, Zongjie Li, Bowei Gao, David Lo, Qirun Zhang, Michael R. Lyu

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

On the complexity of bidirected interleaved Dyck-reachability.

Yuanbo Li, Qirun Zhang, Thomas W. Reps

Proc. ACM Program. Lang., 2021

2020

Conditional Lower Bound for Inclusion-Based Points-to Analysis.

Qirun Zhang

CoRR, 2020

Debug information validation for optimized code.

Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Subdomain-Based Generality-Aware Debloating.

Qi Xin, Myeongsoo Kim, Qirun Zhang, Alessandro Orso

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Program debloating via stochastic optimization.

Qi Xin, Myeongsoo Kim, Qirun Zhang, Alessandro Orso

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

2019

Practical GUI testing of Android applications via model abstraction and refinement.

Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Calling-to-reference context translation via constraint-guided CFL-reachability.

Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Perses: syntax-guided program reduction.

Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Context-sensitive data-dependence analysis via linear conjunctive language reachability.

Qirun Zhang, Zhendong Su

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Skeletal program enumeration for rigorous compiler testing.

Qirun Zhang, Chengnian Sun, Zhendong Su

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Toward understanding compiler bugs in GCC and LLVM.

Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2014

Persistent pointer information.

Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Efficient subcubic alias analysis for C.

Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Scaling CFL-reachability-based alias analysis: theory and practice.

Qirun Zhang

PhD thesis, 2013

Fast algorithms for Dyck-CFL-reachability with applications to alias analysis.

Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2011

Cross-library API recommendation using web search engines.

Wujie Zheng, Qirun Zhang, Michael R. Lyu

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Flow-Augmented Call Graph: A New Foundation for Taming API Complexity.

Qirun Zhang, Wujie Zheng, Michael R. Lyu

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

Random unit-test generation with MUT-aware sequence recommendation.

Wujie Zheng, Qirun Zhang, Michael R. Lyu, Tao Xie

Proceedings of the ASE 2010, 2010