7 papers
Protecting Floating-Point Computation for DNN Binaries with MBA Obfuscation
Yikun Hu, Zichen Zhao, Peixiang Qin +4
This submission was made prematurely and has been withdrawn by the authors for substantial revision before further dissemination.
Push Your Agent: Measuring and Enforcing Quantitative Goal Persistence in Long-Horizon LLM Agents
Yuandao Cai, Yuzhang Zhu, Liyou Gao +2
Long-horizon language agents can make many plausible local tool calls yet fail to persist until a requested count is actually complete. We study this gap as Quantitative Goal Persi…
ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
Yuandao Cai, Shuhao Fu, Wensheng Tang +3
Concurrency testing is essential to improve the reliability and security of multi-threaded programs. Dynamic analysis tools, such as TSan, depend on high-quality test drivers that…
Ghost in the Agent: Redefining Information Flow Tracking for LLM Agents
Yuandao Cai, Wensheng Tang, Cheng Wen +1
Autonomous Large Language Model (LLM) agents are increasingly deployed to conduct complex tasks by interacting with external tools, APIs, and memory stores. However, processing unt…
Argus: Reorchestrating Static Analysis via a Multi-Agent Ensemble for Full-Chain Security Vulnerability Detection
Zi Liang, Qipeng Xie, Jun He +7
Recent advancements in Large Language Models (LLMs) have sparked interest in their application to Static Application Security Testing (SAST), primarily due to their superior contex…
Deep Learning Based Concurrency Bug Detection and Localization
Zuocheng Feng, Kaiwen Zhang, Miaomiao Wang +4
Concurrency bugs, caused by improper synchronization of shared resources in multi-threaded or distributed systems, are notoriously hard to detect and thus compromise software relia…