Yue Xue
Orcid: 0009-0004-2141-2044
According to our database1,
Yue Xue
authored at least 19 papers
between 2009 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
CoRR, April, 2025
Dataset, February, 2025
Proc. ACM Softw. Eng., 2025
Beyond Stars and Commits: A Fair and Manipulation-Resistant Framework for Measuring Developer Contributions.
Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.
Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025
Combining Fine-Tuning and LLM-Based Agents for Intuitive Smart Contract Auditing with Justifications.
Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025
Proceedings of the 10th IEEE European Symposium on Security and Privacy, 2025
2024
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Proc. ACM Softw. Eng., 2024
LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning.
CoRR, 2024
DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications.
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.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
2023
IEEE Trans. Veh. Technol., December, 2023
When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan.
CoRR, 2023
Proceedings of the IEEE International Conference on Metaverse Computing, 2023
Proceedings of the IEEE Global Communications Conference, 2023
2022
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.
Memetic Comput., 2019
2017
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017
2009
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence, 2009