3 papers
cs.CR2026
SyzHarness: Patch-Based Kernel Bug Reproduction with LLM-Synthesized Fuzzing Harnesses
Xingyu Li, Juefei Pu, Haonan Li +4
Automated kernel vulnerability reproduction is essential for bug triage, patch validation, and regression testing, but still lacks an effective and efficient solution. The core cha…
cs.CR2026
Patch-to-PoC: A Systematic Study of Agentic LLM Systems for Linux Kernel N-Day Reproduction
Juefei Pu, Xingyu Li, Zhengchuan Liang +5
Autonomous large language model (LLM) based systems have recently shown promising results across a range of cybersecurity tasks. However, there is no systematic study on their effe…
cs.DS2024
Lower Bounds for Adaptive Relaxation-Based Algorithms for Single-Source Shortest Paths
Sunny Atalig, Alexander Hickerson, Arrdya Srivastav +2
We consider the classical single-source shortest path problem in directed weighted graphs. D.~Eppstein proved recently an lower bound for oblivious algorithms that use rel…