Seuraa
Qirun Zhang
Qirun Zhang
Assistant Professor, Georgia Institute of Technology
Vahvistettu sähköpostiosoite verkkotunnuksessa cc.gatech.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1492019
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
1162016
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
1052018
Skeletal program enumeration for rigorous compiler testing
Q Zhang, C Sun, Z Su
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
1052017
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
912013
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
582017
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
482011
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
412022
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
372010
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
362014
Fast graph simplification for interleaved Dyck-reachability
Y Li, Q Zhang, T Reps
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
342020
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
212020
Program debloating via stochastic optimization
Q Xin, M Kim, Q Zhang, A Orso
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
182020
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
Subdomain-Based Generality-Aware Debloating
Q Xin, M Kim, Q Zhang, A Orso
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
142020
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
132018
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
122022
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
122021
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
92022
Persistent pointer information
X Xiao, Q Zhang, J Zhou, C Zhang
Proceedings of the 35th ACM SIGPLAN conference on Programming Language …, 2014
82014
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20