Xiao Xiao

According to our database, Xiao Xiao authored at least 15 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis.

Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang

Proc. ACM Program. Lang., 2024

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations.

Xiaoheng Xie, Gang Fan, Xiaojun Lin, Ang Zhou, Shijie Li, Xunjin Zheng, Yinan Liang, Yu Zhang, Na Yu, Haokun Li, Xinyu Chen, Yingzhuang Chen, Yi Zhen, Dejun Dong, Xianjin Fu, Jinzhou Su, Fuxiong Pan, Pengshuai Luo, Youzheng Feng, Ruoxiang Hu, Jing Fan, Jinguo Zhou, Xiao Xiao, Peng Di

CoRR, 2024

LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems.

Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation.

Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang

ACM Trans. Softw. Eng. Methodol., May, 2023

2021

Efficient Path-Sensitive Data-Dependence Analysis.

Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang

CoRR, 2021

2020

Escaping dependency hell: finding build dependency errors with the unified dependency graph.

Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Smoke: scalable path-sensitive memory leak detection for millions of lines of code.

Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, Charles Zhang

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Pinpoint: fast and precise sparse value flow analysis for million lines of code.

Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016

Casper: an efficient approach to call trace collection.

Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, Charles Zhang

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Uncovering JavaScript Performance Code Smells Relevant to Type Mutations.

Xiao Xiao, Shi Han, Charles Zhang, Dongmei Zhang

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Persistent pointer information.

Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Efficient subcubic alias analysis for C.

Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2012

Stride: Search-based deterministic replay in polynomial time via bounded linkage.

Jinguo Zhou, Xiao Xiao, Charles Zhang

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Geometric encoding: forging the high performance context sensitive points-to analysis for Java.

Xiao Xiao, Charles Zhang

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Tracking data structures for postmortem analysis.

Xiao Xiao, Jinguo Zhou, Charles Zhang

Proceedings of the 33rd International Conference on Software Engineering, 2011