Kaixuan Li is now a Ph.D. candidate in the Software Engineering Institute at East China Normal University (ECNU), under the supervision of Prof. Yixiang Chen. Before that, I received my B.S. degree in Software Engineering Institute from ECNU in 2020. I am also a visiting Ph.D. student and research assistant at Nanyang Technological University under the supervision of Prof. Yang Liu during 2022-2025.

My research interests revolve around Trustworthy Software, encompassing various aspects such as Open Source Security and Smart Contract Security.

🔥 News

July 2024: I am selected as a Shadow Research Track Program Committee Member within ICSE 2025!
July 2024: Our paper “PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software” was accepted by ISSTA 2024.
June 2024: Our paper “Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?” has won an ACM SIGSOFT Distinguished Paper award! 🏆
May 2024: Our paper “Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts” was accepted by Usenix Security 2024.
April 2024: Our paper “Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?” was accepted by FSE 2024.
July 2023: Our paper “Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java” was accepted by ESEC/FSE 2023.
July 2023: Our paper “Demystifying the Composition and Code Reuse in Solidity Smart Contracts” was accepted by ESEC/FSE 2023.
January 2023: Our paper “A Comprehensive Study on Quality Assurance Tools for Java” was accepted by ISSTA 2023.

📝 Selected Publications

^ indicates equal contribution.

(ISSTA 2024, CCF-A) Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, and Yixiang Chen. 2024. “PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software.” In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA ’24), September 16–20, 2024, Vienna, Austria. ACM, New York, NY, USA, 13 pages.
(Preprint) Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, and Yang Liu. 2024. “FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools.” arXiv preprint arXiv:2403.16032 (2024), https://arxiv.org/pdf/2403.16032.pdf
(Preprint) Lyueye Zhang^, Kaixuan Li^, Kairan Sun, Daoyuan Wu, Ye Liu, Haoye Tian, and Yang Liu. 2024. “Acfix: Guiding LLMs with mined common RBAC practices for context-aware repair of access control vulnerabilities in smart contracts.” arXiv preprint arXiv:2403.06838 (2024), https://arxiv.org/pdf/2403.06838.pdf
(Usenix Security 2024, CCF-A) Han Liu, Daoyuan Wu, Yuqiang Sun, Haijun Wang, Kaixuan Li, Yang Liu, and Yixiang Chen. 2024. “Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts”. In Proceedings of the 2024 USENIX Security Symposium (USENIX Security’24).
(FSE 2024, CCF-A) Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, and Yixiang Chen. 2024. Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?. Proc. ACM Softw. Eng. 1, FSE, Article 65 (July 2024), 24 pages. https://doi.org/10.1145/3660772. Preprint. ACM SIGSOFT Distinguished Paper award 🏆
(ESEC/FSE 2023, CCF-A) Kaixuan Li^, Sen Chen^, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, and Yixiang Chen. 2023. “Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java”. United States, In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023); 3 December-9 December 2023, Pages:921–933, https://doi.org/10.1145/3611643.3616262.
(ESEC/FSE 2023, CCF-A) Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li, and Yang Liu. 2023. “Demystifying the Composition and Code Reuse in Solidity Smart Contracts.” United States, In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023); December 3-9 2023, Pages:796-807, https://dl.acm.org/doi/pdf/10.1145/3611643.3616270.
(ISSTA 2023, CCF-A) Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, and Yixiang Chen. 2023. “A Comprehensive Study on Quality Assurance Tools for Java”, United States, In Proceedings of the 32nd International Symposium on Software Testing and Analysis (ISSTA); 17 July-21 July 2023, Pages:285–297, https://doi.org/10.1145/3597926.3598056.
(JoS, CCF-A in Chinese) Han Liu, Kaixuan Li, and Yixiang Chen. “Survey on Trustworthiness Measurement for Artificial Intelligence Systems”. Ruan Jian Xue Bao/Journal of Software, 2023, 34(8): 3774–3792 (in Chinese), http://www.jos.org.cn/1000-9825/6592.htm.

📖 Educations

2020.09 - 2025.06 (expected), Ph.D. student/candidate, Software Engineering Institute, East China Normal University.
2023.09 - 2025.04, Research assistant, Continental-NTU Corporate Lab, Nanyang Technological University.
2022.09 - 2023.09, Visiting Ph.D. student, School of Computer Science and Engineering, Nanyang Technological University.
2016.09 - 2020.06, Bachelor of Software Engineering, Software Engineering Institute, East China Normal University.

📚 Academic Services

Reviewer:

Shadow Research Track Program Committee Member:

ICSE 2025

Junior Program Committee Member:

MSR 2024

Co-reviewer:

🎖 Honors and Awards

“Student Technological Excellence” Award (学生科技英才) @SEI, East China Normal University, 2024.
Merit Student of East China Normal University, 2022-2023.
Visiting Ph.D. Student Scholarship of China Scholarship Council, 2022-2023.
Merit Student of East China Normal University, 2021-2022.
“Boke City” Merit Student Scholarship, 2021-2022.
Merit Student of East China Normal University, 2020-2021.
“HUAWEI CUP” The 18th China Post-Graduate Mathematical Contest in Modelling 3rd Prize, 2021.
“HUAWEI CUP” The 17th China Post-Graduate Mathematical Contest in Modelling 3rd Prize, 2020.
Outstanding Graduate of Shanghai, 2020.
Merit Award for “YOOZOO CUP” Shanghai University Programming Invitational Tournament, 2018.
“ZHIXING CUP” Shanghai Undergraduate Social Practice Project 2nd Prize, 2017.
Advanced Individual Award for Social Practice of East China Normal University, 2017.
Best Project Award for Social Practice in East China Normal University, 2017.
People’s Finance Bank Scholarship, 2017.

Kaixuan Li (李凯旋)