27 citations · 70 across the 44 of their papers we have counts for
25 papers · 1 filter
Mobile App Analysis in the New Era: Challenges and the Road Ahead
Jiale Wu, Tianming Liu, Yanjie Zhao +1
Mobile applications (apps) have grown into complex, multi-platform systems that support diverse services and operate within varying regulatory and distribution contexts. Traditiona…
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle
Minghui Long, Yanjie Zhao, Haoyu Wang
Large Language Model (LLM) agent frameworks such as LangChain, LlamaIndex, and CrewAI have become critical infrastructure powering production AI systems, yet they remain severely u…
Neuro-Symbolic Reasoning for Vulnerability Detection
Yanjie Zhao, Hongjie Chen, Li Lu +3
Ask a large language model (LLM) whether a pointer dereference is safe, and it can often produce a plausible justification for ``yes''. The difficulty is that a fluent justificatio…
When Agents Do Not Stop: Uncovering Infinite Agentic Loops in LLM Agents
Xinyi Hou, Shenao Wang, Yanjie Zhao +1
LLM agents increasingly rely on iterative execution to solve tasks through planning, tool use, state updates, and agent collaboration. While this design enables flexible automation…
AgentFlow: Building Agent Dependency Graphs for Static Analysis of Agent Programs
Shenao Wang, Xinyi Hou, Yanjie Zhao +2
LLM agents are increasingly developed as source-code applications built on agent frameworks. These agent programs combine conventional host-language code with framework-defined sem…
Acoda: Adversarial Code Obfuscation for Defending against LLM-based Analysis
Hongzhou Rao, Zikan Dong, Yanjie Zhao +2
With the widespread adoption of Large Language Models (LLMs) in software engineering (SE) tasks such as code understanding, debugging, and vulnerability detection, their powerful s…
Not All RAGs Are Created Equal: A Component-Wise Empirical Study for Software Engineering Tasks
Qiang Ke, Yanjie Zhao, Hongjin Leng +2
While Retrieval-Augmented Generation (RAG) is increasingly adopted to ground Large Language Models (LLMs) in software artifacts, the optimal configuration of its components remains…
Unsafe by Flow: Uncovering Bidirectional Data-Flow Risks in MCP Ecosystem
Xinyi Hou, Yanjie Zhao, Haoyu Wang
Model Context Protocol (MCP) have quickly become the interface layer between LLM agents and external tools, yet they also introduce unsafe data flows that existing analyzers handle…
CommitSuite: A Comprehensive Benchmark for Commit Classification and Message Generation
Zirui Wan, Zhaonan Wu, Xinyi Hou +3
High-quality commit messages are critical for maintaining software projects, yet ensuring their consistency and informativeness remains a practical challenge. While the Conventiona…
Agent-Based Software Artifact Evaluation
Zhaonan Wu, Yanjie Zhao, Zhenpeng Chen +2
Artifact Evaluation (AE) has become a standard mechanism for linking software engineering papers to their supporting artifacts, but growing submission volume makes purely manual AE…
YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group
Yayi Wang, Shenao Wang, Jian Zhao +7
Modern enterprises increasingly adopt diverse technology stacks with various programming languages, posing significant challenges for static application security testing (SAST). Ex…
LaQual: An Automated Framework for LLM App Quality Evaluation
Yan Wang, Xinyi Hou, Junjun Si +3
Representing a new paradigm in software distribution, LLM app stores are rapidly emerging, offering users diverse choices for content generation, coding assistance, education, and…
Software Engineering for Large Language Models: Research Status, Challenges and the Road Ahead
Hongzhou Rao, Yanjie Zhao, Xinyi Hou +2
The rapid advancement of large language models (LLMs) has redefined artificial intelligence (AI), pushing the boundaries of AI research and enabling unbounded possibilities for bot…
CodeMorph: Mitigating Data Leakage in Large Language Model Assessment
Hongzhou Rao, Yanjie Zhao, Wenjie Zhu +3
Concerns about benchmark leakage in large language models for code (Code LLMs) have raised issues of data contamination and inflated evaluation metrics. The diversity and inaccessi…
Toward Understanding Bugs in Vector Database Management Systems
Yinglin Xie, Xinyi Hou, Yanjie Zhao +3
Vector database management systems (VDBMSs) play a crucial role in facilitating semantic similarity searches over high-dimensional embeddings from diverse data sources. While VDBMS…
Unveiling Large Language Model Supply Chain: Structure, Domain, and Vulnerabilities
Yanzhe Hu, Shenao Wang, Tianyuan Nie +2
Large Language Models (LLMs) have revolutionized artificial intelligence (AI), driving breakthroughs in natural language understanding, text generation, and autonomous systems. How…
LLM Applications: Current Paradigms and the Next Frontier
Xinyi Hou, Yanjie Zhao, Haoyu Wang
The development of large language models (LLMs) has given rise to four major application paradigms: LLM app stores, LLM agents, self-hosted LLM services, and LLM-powered devices. E…
Towards Reliable Vector Database Management Systems: A Software Testing Roadmap for 2030
Shenao Wang, Yanjie Zhao, Yinglin Xie +4
The rapid growth of Large Language Models (LLMs) and AI-driven applications has propelled Vector Database Management Systems (VDBMSs) into the spotlight as a critical infrastructur…
CommitShield: Tracking Vulnerability Introduction and Fix in Version Control Systems
Zhaonan Wu, Yanjie Zhao, Chen Wei +3
Version control systems are commonly used to manage open-source software, in which each commit may introduce new vulnerabilities or fix existing ones. Researchers have developed va…
Bridging Design and Development with Automated Declarative UI Code Generation
Ting Zhou, Yanjie Zhao, Xinyi Hou +3
Declarative UI frameworks have gained widespread adoption in mobile app development, offering benefits such as improved code readability and easier maintenance. Despite these advan…
Voices from the Frontier: A Comprehensive Analysis of the OpenAI Developer Forum
Xinyi Hou, Yanjie Zhao, Haoyu Wang
OpenAI's advanced large language models (LLMs) have revolutionized natural language processing and enabled developers to create innovative applications. As adoption grows, understa…
WaDec: Decompiling WebAssembly Using Large Language Model
Xinyu She, Yanjie Zhao, Haoyu Wang
WebAssembly (abbreviated Wasm) has emerged as a cornerstone of web development, offering a compact binary format that allows high-performance applications to run at near-native spe…
GPTZoo: A Large-scale Dataset of GPTs for the Research Community
Xinyi Hou, Yanjie Zhao, Shenao Wang +1
The rapid advancements in Large Language Models (LLMs) have revolutionized natural language processing, with GPTs, customized versions of ChatGPT available on the GPT Store, emergi…
LLM App Store Analysis: A Vision and Roadmap
Yanjie Zhao, Xinyi Hou, Shenao Wang +1
The rapid growth and popularity of large language model (LLM) app stores have created new opportunities and challenges for researchers, developers, users, and app store managers. A…