Follow
Qirun Zhang
Qirun Zhang
Assistant Professor, Georgia Institute of Technology
Verified email at cc.gatech.edu - Homepage
Title
Cited by
Cited by
Year
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
1822019
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
1362016
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
1302018
Skeletal program enumeration for rigorous compiler testing
Q Zhang, C Sun, Z Su
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
1142017
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
1012013
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
632017
Static inference meets deep learning: a hybrid type inference approach for Python
Y Peng, C Gao, Z Li, B Gao, D Lo, Q Zhang, M Lyu
Proceedings of the 44th International Conference on Software Engineering …, 2022
572022
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
472011
Fast graph simplification for interleaved Dyck-reachability
Y Li, Q Zhang, T Reps
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
422020
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
422010
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
412014
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
272020
Subdomain-Based Generality-Aware Debloating
Q Xin, M Kim, Q Zhang, A Orso
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
192020
Program debloating via stochastic optimization
Q Xin, M Kim, Q Zhang, A Orso
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
192020
Studying and understanding the tradeoffs between generality and reduction in software debloating
Q Xin, Q Zhang, A Orso
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
172022
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
162011
Taming transitive redundancy for context-free language reachability
Y Lei, Y Sui, S Ding, Q Zhang
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1556-1582, 2022
142022
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
142018
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
132021
Recursive State Machine Guided Graph Folding for Context-Free Language Reachability
Y Lei, Y Sui, SH Tan, Q Zhang
Proceedings of the ACM on Programming Languages 7 (PLDI), 318-342, 2023
112023
The system can't perform the operation now. Try again later.
Articles 1–20