Co-occurring keywords · papers mentioning both
Papers
Taming System Complexity: Demystifying Software Engineering Agents in Diagnosing Linux Kernel Faults
ACL 2026
kGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution
NeurIPS 2024
Validating the eBPF Verifier via State Embedding
OSDI 2024
Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony
NSDI 2023
Operating System Support for Safe and Efficient Auxiliary Execution
OSDI 2022
XRP: In-Kernel Storage Functions with eBPF
OSDI 2022
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel
OSDI 2020
Write Dependency Disentanglement with HORAE
OSDI 2020