Qirun Zhang

According to our database, Qirun Zhang authored at least 19 papers between 2010 and 2021.

Collaborative distances:

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

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

Fast graph simplification for interleaved Dyck-reachability.

Yuanbo Li, Qirun Zhang, Thomas W. Reps

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 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