1 citations · 1 across the 11 of their papers we have counts for
11 papers
Skill Use or Skill Theater? Evaluating the Reasoning Backroom in Skill-Augmented Language Agents
Jinwei Hu, Yi Qi, Xinmiao Huang +3
Reusable skills are becoming a standard interface for extending language agents with task procedures. Yet evaluators usually infer skill use from visible reasoning or the agent's o…
SuperPass: Fast-Tracking Blocking Threads to Mitigate Priority Inversion on Mobile Devices
Lei Li, Yu Liang, Riwei Pan +4
Priority inversion occurs when a high-priority thread is delayed by a lower-priority one. Although well studied in real-time systems, its impact in general-purpose OSes (e.g., Andr…
Skill Coverage: A Test Adequacy Metric for Agent Skills
Boyin Tan, Xiaowei Huang, Youcheng Sun
Agent skills encode reusable procedural knowledge for large language model (LLM) agents, and existing benchmarks show that such skills can improve task-level performance. However,…
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…
Responsible Agentic AI Requires Explicit Provenance
Jinwei Hu, Xinmiao Huang, Qisong He +3
Agentic AI is rapidly proliferating across diverse real-world domains such as software engineering, yet public trust has not kept pace. The central reason is that responsibility, d…
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…
Compartmentalization-Aware Automated Program Repair
Jia Hu, Youcheng Sun, Pierre Olivier
Software compartmentalization breaks down an application into compartments isolated from each other: an attacker taking over a compartment will be confined to it, limiting the dama…
ClawMobile: Rethinking Smartphone-Native Agentic Systems
Hongchao Du, Shangyu Wu, Qiao Li +4
Smartphones represent a uniquely challenging environment for agentic systems. Unlike cloud or desktop settings, mobile devices combine constrained execution contexts, fragmented co…
Exposing Hidden Interfaces: LLM-Guided Type Inference for Reverse Engineering macOS Private Frameworks
Arina Kharlamova, Youcheng Sun, Ting Yu
Private macOS frameworks underpin critical services and daemons but remain undocumented and distributed only as stripped binaries, complicating security analysis. We present MOTIF,…
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…