Linux kernel

Papers using Linux kernel (14)

KernelGPT: Enhanced Kernel Fuzzing via Large Language Models2024 · 7 citesThe Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs2025 · 1 citesLemma Discovery in Agentic Program Verification2026One Bug, Hundreds Behind: LLMs for Large-Scale Bug Discovery2025What Do They Fix? LLM-Aided Categorization of Security Patches for Critical Memory Bugs2025BugScope: Learn to Find Bugs Like Human2025KNighter: Transforming Static Analysis with LLM-Synthesized Checkers2025Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces2018 · 50 citesThe Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models2023 · 11 citesMultimodal Deep Learning for Flaw Detection in Software Programs2020 · 8 citesMaximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times2024 · 7 citesTowards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation2023 · 1 citesBinGo: Identifying Security Patches in Binary Code with Graph Representation Learning2023Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases2024