Follow
Xiao Xiao
Xiao Xiao
Ant Group
Verified email at antgroup.com - Homepage
Title
Cited by
Cited by
Year
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
1102018
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
662019
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
422011
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
372012
Efficient subcubic alias analysis for C
Q Zhang, X Xiao, C Zhang, H Yuan, Z Su
OOPSLA, 2014
362014
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
252020
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
162016
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
152015
Tracking data structures for postmortem analysis (nier track)
X Xiao, J Zhou, C Zhang
Proceedings of the 33rd International Conference on Software Engineering …, 2011
152011
Persistent Pointer Information
X XIAO, Z Qirun, Z Jinguo, C Zhang
PLDI, 2014
82014
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
12023
Efficient path-sensitive data-dependence analysis
P Yao, J Zhou, X Xiao, Q Shi, R Wu, C Zhang
arXiv preprint arXiv:2109.07923, 2021
12021
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
On the Importance of Program Representations in Static Analysis
X Xiao
PQE Survey, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–15