Kaixuan Li

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 26

Top Topics

Resource Allocation

Hierarchical Clustering Algorithm

Top Venues

ESEC/SIGSOFT FSE

IEEE Trans. Syst. Man Cybern. Syst.

Publications

Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? CoRR (2024)
Lyuye Zhang, Kaixuan Li, Kairan Sun, Daoyuan Wu, Ye Liu, Haoye Tian, Yang Liu
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts. CoRR (2024)
Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? Proc. ACM Softw. Eng. 1 (FSE) (2024)
Han Liu, Daoyuan Wu, Yuqiang Sun, Haijun Wang, Kaixuan Li, Yang Liu, Yixiang Chen
Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts. USENIX Security Symposium (2024)
Jianfeng Qiu, Qi Tang, Ming Tan, Kaixuan Li, Juan Xie, Xiaoqiang Cai, Fan Cheng
A multi-objective evolutionary algorithm for robust positive-unlabeled learning. Inf. Sci. 678 (2024)
Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu
FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools. CoRR (2024)
Jiaqi Xing, Kaixuan Li, Yuheng Wu, Zhizezhang Gao, Xingyu Liu, Xia Sun, Jun Feng
Convolution Attentive Knowledge Tracing with comprehensive behavioral features. ACM TUR-C (2024)
Kaixuan Li, Qilong Hu, Qingshan Liu, Zhigang Zeng, Fan Cheng
A Predefined-Time Consensus Algorithm of Multi-Agent System for Distributed Constrained Optimization. IEEE Trans. Netw. Sci. Eng. 11 (1) (2024)
Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen
A Comprehensive Study on Quality Assurance Tools for Java. ISSTA (2023)
Hua Zhang, Kaixuan Li, Teng Huang, Xin Zhang, Wenmin Li, Zhengping Jin, Fei Gao, Minghui Gao
Publishing locally private high-dimensional synthetic data efficiently. Inf. Sci. 633 (2023)
Kan Yu, Kaixuan Li, Zhiyong Feng, Xiao Zhao, Chuanwen Luo, Ting Chen, Dong Li
Secure URLLC Empowered by UAV in 6G: An Interference Engineering Perspective. iThings/GreenCom/CPSCom/SmartData/Cybermatics (2023)
Kaixuan Li, Sen Chen, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, Yixiang Chen
Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java. ESEC/SIGSOFT FSE (2023)
Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li, Yang Liu
Demystifying the Composition and Code Reuse in Solidity Smart Contracts. ESEC/SIGSOFT FSE (2023)
Yongiin Lu, Wei-bang Chen, Zanyah Ailsworth, Xiaoliang Wang, Chengcui Zhang, Kaixuan Li
Hybrid Convolutional Autoencoder-Hierarchical Clustering Algorithm To Reveal Image Spam Sources. IRI (2023)
Kaixuan Li, Qingshan Liu, Zhigang Zeng
Multiagent System With Periodic and Event-Triggered Communications for Solving Distributed Resource Allocation Problem. IEEE Trans. Syst. Man Cybern. Syst. 53 (10) (2023)
Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen
A Comprehensive Study on Quality Assurance Tools for Java. CoRR (2023)
Yun Jing, Siye Guo, Fangqiu Chen, Xuan Wang, Kaixuan Li
Dynamic Differential Pricing of High-Speed Railway Based on Improved GBDT Train Classification and Bootstrap Time Node Determination. IEEE Trans. Intell. Transp. Syst. 23 (9) (2022)
Jinyi Xu, Kaixuan Li, Yixiang Chen
Real-time task scheduling for FPGA-based multicore systems with communication delay. Microprocess. Microsystems 90 (2022)
Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen
Quantitative BAN Logic Based on Belief Degree. AILA (2022)
Kaixuan Li, Qingshan Liu, Zhigang Zeng
Quantized event-triggered communication based multi-agent system for distributed resource allocation optimization. Inf. Sci. 577 (2021)
Lin Cao, Kaixuan Li, Kangning Du, Yanan Guo, Peiran Song, Tao Wang, Chong Fu
FL-GAN: Feature Learning Generative Adversarial Network for High-Quality Face Sketch Synthesis. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (10) (2021)
Kaixuan Li, Ding Li, Yan Zhang
Terahertz Spectral Properties of 5-Substituted Uracils. Sensors 21 (24) (2021)
Qingshan Liu, Xinyi Le, Kaixuan Li
A Distributed Optimization Algorithm Based on Multiagent Network for Economic Dispatch With Region Partitioning. IEEE Trans. Cybern. 51 (5) (2021)
Kaixuan Li, Qingshan Liu, Shaofu Yang, Jinde Cao, Guoping Lu
Cooperative Optimization of Dual Multiagent System for Optimal Resource Allocation. IEEE Trans. Syst. Man Cybern. Syst. 50 (11) (2020)
Qingshan Liu, Jiang Xiong, Jing Zhong, Hong Ying, Kaixuan Li
A Distributed Algorithm Based on Multi-agent Network for Solving Linear Algebraic Equation. ISNN (2018)
Qingshan Liu, Kaixuan Li
A continuous-time algorithm based on multi-agent system for distributed least absolute deviation subject to hybrid constraints. IECON (2017)