A three-part research series on practical bug detection for the Linux kernel and related systems, spanning LLM-integrated static analysis, taint-style bug report refinement, and LLM-assisted reasoning for systems software.
Research series · 2023-2026