Yue Xue

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 14

Top Topics

Formal Verification

Bounded Rationality

Scheduling Problem

Top Venues

Memetic Comput.

IEEE Trans. Veh. Technol.

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)
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)
Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, Yang Liu
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis. ICSE (2024)
Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, Yang Liu
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation. CoRR (2024)
Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Wei Ma, Lyuye Zhang, Miaolei Shi, Yang Liu
LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning. CoRR (2024)
Haoyuan Wang, Yue Xue, Xuan Feng, Chao Zhou, Xianghang Mi
Port Forwarding Services Are Forwarding Security Risks. CoRR (2024)
Wei Ma, Daoyuan Wu, Yuqiang Sun, Tianwen Wang, Shangqing Liu, Jian Zhang, Yue Xue, Yang Liu
Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications. CoRR (2024)
Shen Su, Yue Xue, Liansheng Lin, Chao Wang, Hui Lu, Jing Qiu, Yanbin Sun, Yuan Liu, Zhihong Tian
Smart Contract Firewall: Protecting the on-Chain Smart Contract Projects. GLOBECOM (2023)
Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, Yang Liu
When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan. CoRR (2023)
Shen Su, Yuntian Tan, Yue Xue, Chao Wang, Hui Lu, Zhihong Tian, Chun Shan, Xiaojiang Du
Detecting Smart Contract Project Anomalies in Metaverse. MetaCom (2023)
Rongrong Qian, Yuan Qi, Yue Xue, Tianzhi Zhou, Jiyan Zhang
Federated Consensus-Based Algorithm for Stable Recovery of Sparse Signals. IEEE Trans. Veh. Technol. 72 (12) (2023)
Jiyan Zhang, Yue Xue, Yuan Qi, Jiale Wang
The APC Algorithm of Solving Large-Scale Linear Systems: A Generalized Analysis. ChinaCom (2022)
Yue Xue, Zhijian Rui, Xianyu Yu, Xiuzhi Sang, Wenjie Liu
Estimation of distribution evolution memetic algorithm for the unrelated parallel-machine green scheduling problem. Memetic Comput. 11 (4) (2019)
Yue Xue, Liutong Xu, Hai Huang, Yao Cheng
PURE: A Novel Tripartite Model for Review Sentiment Analysis and Recommendation. PAKDD (2) (2017)
Yuefeng Li, Abdulmohsen Algarni, Sheng-Tang Wu, Yue Xue
Mining Negative Relevance Feedback for Information Filtering. Web Intelligence (2009)