5 papers
Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization
Ziqiao Kong, Wanxu Xia, Chong Wang +6
Smart contracts govern billions of dollars in decentralized finance (DeFi), yet automated vulnerability detection remains challenging because many vulnerabilities are tightly coupl…
Promptware Engineering: Software Engineering for Prompt-Enabled Systems
Zhenpeng Chen, Chong Wang, Weisong Sun +3
Large Language Models (LLMs) are increasingly integrated into software applications, giving rise to a broad class of prompt-enabled systems, in which prompts serve as the primary '…
Exploringand Unleashing the Power of Large Language Models in CI/CD Configuration Translation
Chong Wang, Chen Zhang, Jiajun Wu +4
Continuous Integration (CI) is a cornerstone of modern collaborative software development, and numerous CI platforms are available. Differences in maintenance overhead, reliability…
A Taxonomy of Prompt Defects in LLM Systems
Haoye Tian, Chong Wang, BoYang Yang +2
Large Language Models (LLMs) have become key components of modern software, with prompts acting as their de-facto programming interface. However, prompt design remains largely empi…
A Study on Thinking Patterns of Large Reasoning Models in Code Generation
Kevin Halim, Sin G. Teo, Ruitao Feng +4
Currently, many large language models (LLMs) are utilized for software engineering tasks such as code generation. The emergence of more advanced models known as large reasoning mod…