4 papers
SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction
Ye Xiong, Xiangyu Gao, Qiaochu Chen +2
Compiler bugs are pervasive in modern compiler systems, but the test programs that trigger them are often too large for practical debugging. Program reduction addresses this by min…
A Case for Agentic Tuning: From Documentation to Action in PostgreSQL
Hongyu Lin, Mingyu Li, Weichen Zhang +4
Documentation has long guided computer system tuning by distilling expert knowledge into per-parameter recommendations. Yet such guides capture only what experts conclude, discardi…
Determinism-Preserving GPU Spatial Sharing with Vitamin-E
Zhenyuan Yang, Wenxin Zheng, Mingyu Li +1
GPU sharing faces a determinism--utilization tradeoff: fixed bindings can strand capacity as demand fluctuates, while resource-driven kernel reshaping improves utilization by alter…
From Imperative to Declarative: Towards LLM-friendly OS Interfaces for Boosted Computer-Use Agents
Yuan Wang, Mingyu Li, Haibo Chen
Computer-use agents (CUAs) powered by large language models (LLMs) have emerged as a promising approach to automating computer tasks, yet they struggle with the existing human-orie…