Xiao Cheng

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

Collaborative distances:

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

2024

Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search.

Jiawei Ren, Yulei Sui, Xiao Cheng, Yuan Feng, Jianjun Zhao

ACM Trans. Softw. Eng. Methodol., June, 2024

Refining and Scaling Path-Sensitive Abstract Execution.

Xiao Cheng

PhD thesis, 2024

How About Bug-Triggering Paths? - Understanding and Characterizing Learning-Based Vulnerability Detectors.

Xiao Cheng, Xu Nie, Ningke Li, Haoyu Wang, Zheng Zheng, Yulei Sui

IEEE Trans. Dependable Secur. Comput., 2024

Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing.

Xiao Cheng, Jiawei Ren, Yulei Sui

Proc. ACM Softw. Eng., 2024

Precise Sparse Abstract Execution via Cross-Domain Interaction.

Xiao Cheng, Jiawei Wang, Yulei Sui

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

2023

Vulnerability Detection via Typestate-Guided Code Representation Learning.

Xiao Cheng

Proceedings of the Formal Methods and Software Engineering, 2023

2022

Path-sensitive code embedding via contrastive learning for software vulnerability detection.

Xiao Cheng, Guanqin Zhang, Haoyu Wang, Yulei Sui

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network.

Xiao Cheng, Haoyu Wang, Jiayi Hua, Guoai Xu, Yulei Sui

ACM Trans. Softw. Eng. Methodol., 2021

2020

Flow2Vec: value-flow-based precise code embedding.

Yulei Sui, Xiao Cheng, Guanqin Zhang, Haoyu Wang

Proc. ACM Program. Lang., 2020

2019

Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding.

Xiao Cheng, Haoyu Wang, Jiayi Hua, Miao Zhang, Guoai Xu, Li Yi, Yulei Sui

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2017

<i>CLCMiner</i>: Detecting Cross-Language Clones without Intermediates.

Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao

IEICE Trans. Inf. Syst., 2017

2016

Supporting Selective Undo for Refactoring.

Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Mining revision histories to detect cross-language clones without intermediates.

Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

On the feasibility of detecting cross-platform code clones via identifier similarity.

Xiao Cheng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao

Proceedings of the 5th International Workshop on Software Mining, 2016

Rule-directed code clone synchronization.

Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016