| 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 | 56 | 2018 |
| 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 | 39 | 2011 |
| 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 | 36 | 2012 |
| 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 | 25 | 2019 |
| Efficient subcubic alias analysis for C Q Zhang, X Xiao, C Zhang, H Yuan, Z Su OOPSLA, 2014 | 23 | 2014 |
| Casper: an efficient approach to call trace collection R Wu, X Xiao, SC Cheung, H Zhang, C Zhang ACM SIGPLAN Notices 51 (1), 678-690, 2016 | 15 | 2016 |
| 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 |
| Uncovering JavaScript performance code smells relevant to type mutations X Xiao, S Han, C Zhang, D Zhang Asian Symposium on Programming Languages and Systems, 335-355, 2015 | 13 | 2015 |
| Persistent Pointer Information X XIAO, Z Qirun, Z Jinguo, C Zhang PLDI, 2014 | 5 | 2014 |
| On the Importance of Program Representations in Static Analysis X Xiao PQE Survey, 2013 | | 2013 |
Charles ZhangProfessor of Computer Science, HKUSTVerified email at cse.ust.hk
