| Pinpoint: Fast and precise sparse value flow analysis for million lines of code Q Shi, X Xiao, R Wu, J Zhou, G Fan, C Zhang Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 135 | 2018 |
| Smoke: scalable path-sensitive memory leak detection for millions of lines of code G Fan, R Wu, Q Shi, X Xiao, J Zhou, C Zhang 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 88 | 2019 |
| Escaping dependency hell: finding build dependency errors with the unified dependency graph G Fan, C Wang, R Wu, X Xiao, Q Shi, C Zhang Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 43 | 2020 |
| Geometric encoding: forging the high performance context sensitive points-to analysis for Java X Xiao, C Zhang Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 43 | 2011 |
| Efficient subcubic alias analysis for C Q Zhang, X Xiao, C Zhang, H Yuan, Z Su OOPSLA, 2014 | 41 | 2014 |
| Stride: Search-based deterministic replay in polynomial time via bounded linkage J Zhou, X Xiao, C Zhang 2012 34th International Conference on Software Engineering (ICSE), 892-902, 2012 | 38 | 2012 |
| Casper: An efficient approach to call trace collection R Wu, X Xiao, SC Cheung, H Zhang, C Zhang ACM SIGACT Symposium on Principles of Programming Languages 51 (1), 678-690, 2016 | 16 | 2016 |
| Uncovering JavaScript performance code smells relevant to type mutations X Xiao, S Han, C Zhang, D Zhang Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015 | 16 | 2015 |
| Tracking data structures for postmortem analysis (nier track) X Xiao, J Zhou, C Zhang Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 15 | 2011 |
| Persistent Pointer Information X XIAO, Z Qirun, Z Jinguo, C Zhang PLDI, 2014 | 9 | 2014 |
| Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation C Wang, W Wang, P Yao, Q Shi, J Zhou, X Xiao, C Zhang ACM Transactions on Software Engineering and Methodology 32 (3), 1-39, 2023 | 8 | 2023 |
| Efficient path-sensitive data-dependence analysis P Yao, J Zhou, X Xiao, Q Shi, R Wu, C Zhang arXiv preprint arXiv:2109.07923, 2021 | 2 | 2021 |
| On the Importance of Program Representations in Static Analysis X Xiao PQE Survey, 2013 | 1 | 2013 |
| Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis P Yao, J Zhou, X Xiao, Q Shi, R Wu, C Zhang Proceedings of the ACM on Programming Languages 8 (PLDI), 567-592, 2024 | | 2024 |
| LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems CZ Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang ... International Conference on Software Engineering, 2024 | | 2024 |
| Defect detection method, device, system and computer readable medium GF Xiao Xiao, Qingkai Shi, Jinguo Zhou US Patent 10,642,584, 2020 | | 2020 |
Charles ZhangProfessor of Computer Science, HKUSTVerified email at cse.ust.hk
