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…