1 citations · 1 across the 11 of their papers we have counts for
4 papers · 1 filter
SkillFuzz: Fuzzing Skill Composition for Implicit Intents Discovery in Open Skill Marketplaces
Jinwei Hu, Yi Dong, Youcheng Sun +1
Large Language Model (LLM)-based agents increasingly automate software engineering tasks through reusable skills, natural-language instruction documents that guide planning and exe…
Agentic Model Checking
Youcheng Sun, Jiawen Liu, Daniel Kroening +1
Verifying LLM-generated systems code is hard: bugs are prevalent, formal specifications are missing, and safety contracts are encoded implicitly at call sites rather than enforced…
SWE-Skills-Bench: Do Agent Skills Actually Help in Real-World Software Engineering?
Tingxu Han, Yi Zhang, Wei Song +4
Agent skills, structured procedural knowledge packages injected at inference time, are increasingly used to augment LLM agents on software engineering tasks. However, their real ut…
LLM-Driven Kernel Evolution: Automating Driver Updates in Linux
Arina Kharlamova, Jiawen Liu, Tianyi Zhang +4
Linux kernel evolution breaks drivers through API/ABI changes, semantic shifts, and security-hardening updates. We introduce DRIVEBENCH, an executable corpus of kernel…