Qirun Zhang
Qirun Zhang
Assistant Professor, Georgia Institute of Technology
Verified email at cc.gatech.edu - Homepage
Title
Cited by
Cited by
Year
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis
Q Zhang, MR Lyu, H Yuan, Z Su
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
462013
Skeletal program enumeration for rigorous compiler testing
Q Zhang, C Sun, Z Su
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
442017
Toward understanding compiler bugs in GCC and LLVM
C Sun, V Le, Q Zhang, Z Su
Proceedings of the 25th International Symposium on Software Testing and …, 2016
402016
Perses: syntax-guided program reduction
C Sun, Y Li, Q Zhang, T Gu, Z Su
Proceedings of the 40th International Conference on Software Engineering …, 2018
382018
Context-sensitive data-dependence analysis via linear conjunctive language reachability
Q Zhang, Z Su
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
372017
Cross-library api recommendation using web search engines
W Zheng, Q Zhang, M Lyu
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
352011
Practical GUI testing of Android applications via model abstraction and refinement
T Gu, C Sun, X Ma, C Cao, C Xu, Y Yao, Q Zhang, J Lu, Z Su
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
322019
Random unit-test generation with MUT-aware sequence recommendation
W Zheng, Q Zhang, M Lyu, T Xie
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
312010
Efficient subcubic alias analysis for C
Q Zhang, X Xiao, C Zhang, H Yuan, Z Su
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
192014
Flow-augmented call graph: A new foundation for taming api complexity
Q Zhang, W Zheng, MR Lyu
International Conference on Fundamental Approaches to Software Engineering …, 2011
112011
Fast graph simplification for interleaved Dyck-reachability
Y Li, Q Zhang, T Reps
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
92020
Calling-to-reference context translation via constraint-guided CFL-reachability
C Cai, Q Zhang, Z Zuo, K Nguyen, G Xu, Z Su
ACM SIGPLAN Notices 53 (4), 196-210, 2018
82018
Debug information validation for optimized code
Y Li, S Ding, Q Zhang, D Italiano
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
62020
Persistent pointer information
X Xiao, Q Zhang, J Zhou, C Zhang
Proceedings of the 35th ACM SIGPLAN conference on Programming Language …, 2014
52014
Program debloating via stochastic optimization
Q Xin, M Kim, Q Zhang, A Orso
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
32020
On the complexity of bidirected interleaved Dyck-reachability
Y Li, Q Zhang, T Reps
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
12021
Subdomain-Based Generality-Aware Debloating
Q Xin, M Kim, Q Zhang, A Orso
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
12020
Conditional Lower Bound for Inclusion-Based Points-to Analysis
Q Zhang
arXiv preprint arXiv:2007.05569, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–18