4 citations · 5 across the 10 of their papers we have counts for
10 papers
Towards Fully Automated Medical Imaging Code Generation via Validation-based Context Engineering
Zixiao Zhao, Jing Sun, Zhe Hou +5
Large language models (LLMs) have demonstrated considerable promise in program generation for small-scale and conventional application development; however, they remain limited whe…
Beyond Detection: Agentic Attack Synthesis and Simulation for Smart Contracts
Xianhao Zhang, Jing Sun, Zijian Zhang +4
Smart contract vulnerabilities pose severe financial risks, yet existing security tools largely stop at vulnerability detection, offering limited support for explaining whether rep…
Distilling Lightweight Language Models for C/C++ Vulnerabilities
Zhiyuan Wei, Xiaoxuan Yang, Jing Sun +1
The increasing complexity of modern software systems exacerbates the prevalence of security vulnerabilities, posing risks of severe breaches and substantial economic loss. Conseque…
Adaptive Plan-Execute Framework for Smart Contract Security Auditing
Zhiyuan Wei, Jing Sun, Zijian Zhang +2
Large Language Models (LLMs) have shown great promise in code analysis and auditing; however, they still struggle with hallucinations and limited context-aware reasoning. We introd…
SoK: Detection and Repair of Accessibility Issues
Liming Nie, Hao Liu, Jing Sun +6
There is an increasing global emphasis on information accessibility, with numerous researchers actively developing automated tools to detect and repair accessibility issues, thereb…
LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
Zhiyuan Wei, Jing Sun, Zijiang Zhang +3
The immutable nature of blockchain technology, while revolutionary, introduces significant security challenges, particularly in smart contracts. These security issues can lead to s…
MaCTG: Multi-Agent Collaborative Thought Graph for Automatic Programming
Zixiao Zhao, Jing Sun, Zhe Hou +4
With the rapid advancement of Large Language Models (LLMs), LLM-based approaches have demonstrated strong problem-solving capabilities across various domains. However, in automatic…
FTSmartAudit: A Knowledge Distillation-Enhanced Framework for Automated Smart Contract Auditing Using Fine-Tuned LLMs
Zhiyuan Wei, Jing Sun, Zijian Zhang +2
The rapid growth of blockchain technology has driven the widespread adoption of smart contracts. However, their inherent vulnerabilities have led to significant financial losses. T…
Survey on Quality Assurance of Smart Contracts
Zhiyuan Wei, Jing Sun, Zijian Zhang +3
With the increasing adoption of smart contracts, ensuring their security has become a critical concern. Numerous vulnerabilities and attacks have been identified and exploited, res…
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts
Zhiyuan Wei, Xianhao Zhang, Jing Sun +2
Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across v…