TY  - RPRT
TI  - SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction
AU  - Ye Xiong
AU  - Xiangyu Gao
AU  - Qiaochu Chen
AU  - Mingyu Li
AU  - Haibo Chen
PY  - 2026
UR  - https://arxiv.org/abs/2608.08352
ID  - 2608.08352
ER  -