Yue Xue

According to our database, Yue Xue authored at least 15 papers between 2009 and 2024.

Collaborative distances:

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

2024

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?

Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen

Proc. ACM Softw. Eng., 2024

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.

Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, Yang Liu

CoRR, 2024

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications.

Wei Ma, Daoyuan Wu, Yuqiang Sun, Tianwen Wang, Shangqing Liu, Jian Zhang, Yue Xue, Yang Liu

CoRR, 2024

Port Forwarding Services Are Forwarding Security Risks.

Haoyuan Wang, Yue Xue, Xuan Feng, Chao Zhou, Xianghang Mi

CoRR, 2024

LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning.

Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Wei Ma, Lyuye Zhang, Miaolei Shi, Yang Liu

CoRR, 2024

DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications.

Maoyi Xie, Ming Hu, Ziqiao Kong, Cen Zhang, Yebo Feng, Haijun Wang, Yue Xue, Hao Zhang, Ye Liu, Yang Liu

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis.

Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, Yang Liu

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

2023

Federated Consensus-Based Algorithm for Stable Recovery of Sparse Signals.

Rongrong Qian, Yuan Qi, Yue Xue, Tianzhi Zhou, Jiyan Zhang

IEEE Trans. Veh. Technol., December, 2023

When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan.

Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, Yang Liu

CoRR, 2023

Detecting Smart Contract Project Anomalies in Metaverse.

Shen Su, Yuntian Tan, Yue Xue, Chao Wang, Hui Lu, Zhihong Tian, Chun Shan, Xiaojiang Du

Proceedings of the IEEE International Conference on Metaverse Computing, 2023

Smart Contract Firewall: Protecting the on-Chain Smart Contract Projects.

Shen Su, Yue Xue, Liansheng Lin, Chao Wang, Hui Lu, Jing Qiu, Yanbin Sun, Yuan Liu, Zhihong Tian

Proceedings of the IEEE Global Communications Conference, 2023

2022

The APC Algorithm of Solving Large-Scale Linear Systems: A Generalized Analysis.

Jiyan Zhang, Yue Xue, Yuan Qi, Jiale Wang

Proceedings of the Communications and Networking - 17th EAI International Conference, 2022

2019

Estimation of distribution evolution memetic algorithm for the unrelated parallel-machine green scheduling problem.

Yue Xue, Zhijian Rui, Xianyu Yu, Xiuzhi Sang, Wenjie Liu

Memetic Comput., 2019

2017

PURE: A Novel Tripartite Model for Review Sentiment Analysis and Recommendation.

Yue Xue, Liutong Xu, Hai Huang, Yao Cheng

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

2009

Mining Negative Relevance Feedback for Information Filtering.

Yuefeng Li, Abdulmohsen Algarni, Sheng-Tang Wu, Yue Xue

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence, 2009