2 papers
cs.CR2026
Code-Augur: Agentic Vulnerability Detection via Specification Inference
Zhengxiong Luo, Mehtab Zafar, Dylan Wolff +1
The advent of agentic vulnerability detection is already becoming a watershed moment for software security. Audits conducted entirely by autonomous LLM agents are uncovering critic…
cs.OS2025
Concurrency Testing in the Linux Kernel via eBPF
Jiacheng Xu, Dylan Wolff, Xing Yi Han +2
Concurrency is indispensable for modern software systems to meet performance and scalability demands, yet concurrency bugs remain notoriously difficult to detect and reproduce. Con…