2 papers
cs.SE2025
kAgent: An execution-guided crash resolution agent for the Linux kernel
Alex Mathai, Chenxi Huang, Suwei Ma +7
Fuzzing frameworks like syzkaller have uncovered thousands of Linux kernel crashes, many of which are critical and security-sensitive. However, the ability to rapidly repair these…
cs.SE2023
MELT: Mining Effective Lightweight Transformations from Pull Requests
Daniel Ramos, Hailie Mitchell, Inês Lynce +3
Software developers often struggle to update APIs, leading to manual, time-consuming, and error-prone processes. We introduce MELT, a new approach that generates lightweight API mi…