程序设计语言实验室的论文 《Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms》 被程序语言领域的顶级期刊 TOPLAS 接收，详情如下。

标题：Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms

作者：Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu

摘要：算法模式，如分治法（D&C），旨在指导开发者设计高效的算法。然而在实践中，应用算法模式对于大多时程序员来说仍然是困难的。为了简化算法模式的使用，已经有许多研究关注于自动应用算法模式。然而，大多数现有方法依赖于基于语法的程序转换，因此对原始程序施加了显著的限制。

在本文中，我们研究了分治法（D&C）及若干类似模式的自动应用，称之为D&C类算法模式，并旨在消除语法上的限制。为实现这一目标，我们提出了一种高效的合成器，名为AutoLifter。具体而言，应用算法范式的主要挑战在于综合程序的规模庞大，AutoLifter通过应用两种新颖的分解方法——组件消除和变量消除，这两种方法不依赖于输入程序的语法，能够合理地将整个问题划分为更简单的子任务，每个子任务综合最终程序的一个子程序，并且可以被现有的合成器有效处理，从而解决了合成规模上的挑战。

我们在96个与六种不同算法范式相关的编程任务上评估了AutoLifter。AutoLifter解决了96个任务中的82个，平均耗时20.17秒，显著优于现有方法。