Assuage：使用引导探索的汇编合成

视频

DOI

汇编编程具有挑战性，即使对专家也是如此。程序合成作为手动实现的替代方案，有潜力使专家和非专家用户都能自动生成程序。然而，当前的工具和技术无法合成超过几条指令的汇编程序。我们提出了 Assuage：使用引导探索的汇编合成，这是一个并行交互式汇编合成器，将用户作为主动协作者，使合成能够超出当前限制。使用 Assuage，用户可以提供两类语义上有意义的提示来加速合成，并允许同时探索多种可能性。Assuage 使用多种表示方式公开底层合成过程的信息，帮助用户指导合成。我们对 21 名参与者进行了受试内研究，让他们完成汇编编程任务。使用 Assuage，具有广泛专业知识的参与者能够获得显著更高的成功率，感知到更低的主观工作量，并且相较于最先进的合成工具更偏好 Assuage 的有用性和可用性。