Xiao Xiao
Xiao Xiao
Ant Group
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
Efficient subcubic alias analysis for C
Q Zhang, X Xiao, C Zhang, H Yuan, Z Su
OOPSLA, 2014
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
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
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
Tracking data structures for postmortem analysis (nier track)
X Xiao, J Zhou, C Zhang
Proceedings of the 33rd International Conference on Software Engineering …, 2011
Persistent Pointer Information
X XIAO, Z Qirun, Z Jinguo, C Zhang
PLDI, 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
Efficient path-sensitive data-dependence analysis
P Yao, J Zhou, X Xiao, Q Shi, R Wu, C Zhang
arXiv preprint arXiv:2109.07923, 2021
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
Defect detection method, device, system and computer readable medium
GF Xiao Xiao, Qingkai Shi, Jinguo Zhou
US Patent 10,642,584, 2020
On the Importance of Program Representations in Static Analysis
X Xiao
PQE Survey, 2013
The system can't perform the operation now. Try again later.
Articles 1–15