Shuangxiang Kan
The University of New South Wales
Email: [email protected]
GitHub: github.com/shuangxiangkan
About Me
I obtained my Ph.D. from the School of Computer Science and Engineering, University of New South Wales, supervised by Yulei Sui and Yuekang Li. My research interests include static program analysis, software testing, and AI4SE.
Publications
1. [ICSE'26] Shuangxiang Kan, Yuekang Li, Xiao Cheng, Yulei Sui. SpecGuru: Hierarchical LLM-Driven API Points-to Specification Generation with Self-Validation, International Conference on Software Engineering (ICSE), 2026, Accepted.
2. [TOSEM'25] Shuangxiang Kan, Yuekang Li, Weigang He, Zhenchang Xing, Liming Zhu, and Yulei Sui. Spectre: Automated Aliasing Specifications Generation for Library APIs with Fuzzing, ACM Transactions on Software Engineering and Methodology (TOSEM), 2025, Accepted.
3. [TSE'24] Shuangxiang Kan, Yuhao Gao, Zexin Zhong, and Yulei Sui. Cross-Language Taint Analysis: Generating Caller-Sensitive Native Code Specification for Java, IEEE Transactions on Software Engineering (TSE), 2024, 50(6): 1518-1533.
4. [ICSE'25] Chenxi Zhang, Yufei Liang, Tian Tan, Chang Xu, Shuangxiang Kan, Yulei Sui, and Yue Li. Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs, IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, p. 612-612. (Distinguished Paper)
5. [TR'23] Xueli Sun, Jianxi Fan, Shuangxiang Kan, Weibei Fan, and Xiaohua Jia. Component Reliability of a Class of Regular Networks and Its Applications, IEEE Transactions on Reliability (TR), 2023, 72(2): 637-650.
6. [JIT'20] Shuangxiang Kan, Jianxi Fan, Baolei Cheng, Xi Wang, Jingya Zhou. Structure Fault-Tolerance of the Augmented Cube, Journal of Internet Technology (JIT), 2020, 21(6): 1733-1746.
7. [ICCSN'20] Shuangxiang Kan, Jianxi Fan, Baolei Cheng, Xi Wang. The Communication Performance of BCDC Data Center Network, 2020 12th International Conference on Communication Software and Networks (ICCSN), IEEE, 2020: 51-57.
8. [JIT'19] Guijuan Wang, Jianxi Fan, Yali Lv, Baolei Cheng, Shuangxiang Kan. The Constructive Algorithm of Vertex-Disjoint Paths in the Generalized Hypercube Under Restricted Connectivity, Journal of Internet Technology (JIT), 2019, 20(6): 1995-2006.