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
1352018
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
892019
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
432020
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
432011
Efficient subcubic alias analysis for C
Q Zhang, X Xiao, C Zhang, H Yuan, Z Su
OOPSLA, 2014
412014
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
382012
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
162015
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
92014
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
82023
Efficient path-sensitive data-dependence analysis
P Yao, J Zhou, X Xiao, Q Shi, R Wu, C Zhang
arXiv preprint arXiv:2109.07923, 2021
22021
Defect detection method, device, system and computer readable medium
GF Xiao Xiao, Qingkai Shi, Jinguo Zhou
US Patent 10,642,584, 2020
12020
On the Importance of Program Representations in Static Analysis
X Xiao
PQE Survey, 2013
12013
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
The system can't perform the operation now. Try again later.
Articles 1–16