3 papers
cs.CR2026
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned
Cen Zhang, Younggi Park, Fabian Fleischer +18
DARPA's AI Cyber Challenge (AIxCC, 2023--2025) is the largest competition to date for building fully autonomous cyber reasoning systems (CRSs) that leverage recent advances in AI -…
cs.DC2025
Challenging GPU Dominance: When CPUs Outperform for On-Device LLM Inference
Haolin Zhang, Jeff Huang
The common assumption in on-device AI is that GPUs, with their superior parallel processing, always provide the best performance for large language model (LLM) inference. In this w…
cs.SE2025
VeriFix: Verifying Your Fix Towards An Atomicity Violation
Zhuang Li, Qiuping Yi, Jeff Huang
Atomicity violation is one of the most serious types of bugs in concurrent programs. Synchronizations are commonly used to enforce atomicity. However, it is very challenging to pla…