2 papers
cs.SE2026
Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries
Xinran Zheng, Alfredo Pesoli, Marco Valleri +2
Frontier LLM agents are increasingly capable of localizing suspicious code, but vulnerability reasoning requires more than access to program artifacts. An agent must carry forward…
cs.CR2026
Challenges and Design Considerations for Finding CUDA Bugs Through GPU-Native Fuzzing
Mingkai Li, Joseph Devietti, Suman Jana +1
Modern computing is shifting from homogeneous CPU-centric systems to heterogeneous systems with closely integrated CPUs and GPUs. While the CPU software stack has benefited from de…