| 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 | 143 | 2019 |
| 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 | 113 | 2016 |
| Skeletal program enumeration for rigorous compiler testing Q Zhang, C Sun, Z Su Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 105 | 2017 |
| 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 | 103 | 2018 |
| 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 | 89 | 2013 |
| 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 | 58 | 2017 |
| 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 | 48 | 2011 |
| 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 | 40 | 2022 |
| 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 | 37 | 2010 |
| 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 | 36 | 2014 |
| Fast graph simplification for interleaved Dyck-reachability Y Li, Q Zhang, T Reps Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 33 | 2020 |
| 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 | 21 | 2020 |
| Program debloating via stochastic optimization Q Xin, M Kim, Q Zhang, A Orso Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 18 | 2020 |
| 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 | 16 | 2011 |
| Subdomain-Based Generality-Aware Debloating Q Xin, M Kim, Q Zhang, A Orso 2020 35th IEEE/ACM International Conference on Automated Software …, 2020 | 14 | 2020 |
| 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 | 13 | 2018 |
| 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 | 12 | 2022 |
| 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 | 12 | 2021 |
| 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 | 8 | 2022 |
| Persistent pointer information X Xiao, Q Zhang, J Zhou, C Zhang Proceedings of the 35th ACM SIGPLAN conference on Programming Language …, 2014 | 8 | 2014 |
Zhendong SuProfessor of Computer Science, ETH ZurichDirección de correo verificada de inf.ethz.ch
