一句话：提出 Perses，旨在比 Delta Debugging、HDD、C-Reduce 更快速、高质量且通用地缩减触发特定性质的程序。
程序缩减旨在给定表现出性质 Ψ 的程序 P 时，将其最小化为更小的变体 P′，并保持 Ψ(P′) 成立。该技术对测试与调试十分重要，例如编译器/解释器开发中需要缩减引发失败的测试程序以便调试。然而，现有代表性方法 Delta Debugging、Hierarchical Delta Debugging 与 C-Reduce 在缩减速度（时间）和缩减质量（结果程序大小）上表现不佳，或者高度针对特定语言定制而缺乏通用性。为此，论文提出 Perses，目标是在速度、质量和语言通用性上改进程序缩减。摘要未给出其具体方法、实现细节与实验评估结果。
Given a program P that exhibits a certain property Ψ (e.g., a C program that crashes GCC when it is being compiled), the goal of program reduction is to minimize P to a smaller variant P′ that still exhibits the same property, i.e., Ψ(P′). Program reduction is important and widely demanded for testing and debugging. For example, all compiler/interpreter development projects need effective program reduction to minimize failure-inducing test programs to ease debugging. However, state-of-the-art program reduction techniques --- notably Delta Debugging (DD), Hierarchical Delta Debugging (HDD), and C-Reduce --- do not perform well in terms of speed (reduction time) and quality (size of reduced programs), or are highly customized for certain languages and thus lack generality.