Assuage: Assembly Synthesis Using A Guided Exploration
Assuage: Assembly Synthesis Using A Guided Exploration
复制标题
Assuage：使用引导探索进行装配合成
DOI：
10.1145/3472749.3474740
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Glassman, Elena L.
中科院分区：
文献类型：
--
作者：
Hu, Jingmei;Vaithilingam, Priyan;Chong, Stephen;Seltzer, Margo;Glassman, Elena L.
汇编编程是一项挑战，即使对专家来说也是如此。程序合成，作为手动实现的替代方案，有可能使专家和非专家用户以自动化的方式生成程序。然而，当前的工具和技术不能合成大于几个指令的汇编程序。我们提出了缓和：使用引导式探索的组装合成，这是一个并行交互式组装合成器，将用户作为积极的合作者，使合成能够超越当前的限制。使用Assuage，用户可以提供两种类型的语义上有意义的提示，加快合成，并允许同时探索多种可能性。Assuage使用多个表示来公开关于底层合成过程的信息，以帮助用户指导合成。我们进行了一项受试者内的研究，21名参与者从事汇编编程任务。使用Assuage，具有广泛专业知识的参与者能够实现显着更高的成功率，感知较少的主观工作量，并且更喜欢Assuage的实用性和可用性，而不是最先进的合成工具。
Assembly programming is challenging, even for experts. Program synthesis, as an alternative to manual implementation, has the potential to enable both expert and non-expert users to generate programs in an automated fashion. However, current tools and techniques are unable to synthesize assembly programs larger than a few instructions. We present Assuage : ASsembly Synthesis Using A Guided Exploration, which is a parallel interactive assembly synthesizer that engages the user as an active collaborator, enabling synthesis to scale beyond current limits. Using Assuage, users can provide two types of semantically meaningful hints that expedite synthesis and allow for exploration of multiple possibilities simultaneously. Assuage exposes information about the underlying synthesis process using multiple representations to help users guide synthesis. We conducted a within-subjects study with twenty-one participants working on assembly programming tasks. With Assuage, participants with a wide range of expertise were able to achieve significantly higher success rates, perceived less subjective workload, and preferred the usefulness and usability of Assuage over a state of the art synthesis tool.
登录
查看更多内容
可解释的程序综合
DOI：
10.1145/3411764.3445646
发表时间：
2021
期刊：
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems
影响因子：
--
作者：
Tianyi Zhang;Zhiyang Chen;Yuanli Zhu;Priyan Vaithilingam;Xinyu Wang;Elena L. Glassman
通讯作者：
Elena L. Glassman
DOI：
--
发表时间：
2012
期刊：
2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
影响因子：
--
作者：
Sumit Gulwani
通讯作者：
Sumit Gulwani
新的教学操作系统
DOI：
--
发表时间：
2002
期刊：
Technical Symposium on Computer Science Education
影响因子：
--
作者：
David A. Holland;Ada T. Lim;M. Seltzer
通讯作者：
M. Seltzer
并行程序综合的自适应具体化
DOI：
10.1007/978-3-319-21668-3_22
发表时间：
2015
期刊：
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Jinseong Jeon;Xiaokang Qiu;Armando Solar;J. Foster
通讯作者：
J. Foster
DOI：
--
发表时间：
2019
期刊：
PLOS@SOSP
影响因子：
--
作者：
Jingmei Hu;Eric Lu;David A. Holland;Ming Kawaguchi;Stephen Chong;M. Seltzer
通讯作者：
M. Seltzer