conftrace_

linux kernel

8 papers

Explore in graph

Co-occurring keywords

logic bug (3) key-value store (21) write dependency (1) nvme ssd (1) io stack (1) flash storage (2) remote memory (6) storage performance (3) nvme driver (2) large language model (13587)

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 NIPS 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
Write Dependency Disentanglement with HORAE OSDI 2020
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel OSDI 2020