FMitF: Track I: End-User Programming with Synthesis-Guided Interaction Models

电子表格和其他数据分析工具等软件的最终用户通常希望解决超出这些工具内置功能的问题。这样的用户面临着一个“可编程性差距”：为了解决他们的问题，他们需要编写一个程序，但他们缺乏设计算法并在特定编程语言中实现算法所需的多方面专业知识。这个项目是关于通过开发帮助人们编写程序的工具来平坦化编程的陡峭学习曲线。工具和用户之间的交互将围绕演示编程，用户提供程序在看到特定输入时应该做什么的示例，工具将此演示推广到工作程序中。该项目将通过演示将编程扩展为用户和工具之间的双向通信。首先，该工具将向用户解释合成的程序，使用户不必学习新的编程语言。其次，当工具错误地概括了用户的演示时，工具将向用户提出问题以生成正确的程序。 最后，该工具将帮助教师为新手用户编写所谓的编程练习微观世界。该团队汇集了编程语言和人机交互方面的专业知识，以开发底层合成技术和有效的界面供人们使用，专注于数据可视化和创造性人工智能编程领域。 通过开发新的最终用户交互模型和最终用户编程工具，该项目旨在提高人们解决问题的能力，并有可能扩大对计算的参与，以包括那些以前认为编程是不可访问的人。这项工作是围绕基本的挑战，使迭代探索与代码时，规范是不知道的先验。 拟议的工作直接针对这些开放的挑战，设想合成的方法，以实现更灵活，迭代和探索性的工作流程。 要做到这一点，该项目将首先开发一个基础的交互式合成作为一个扩展的求解器辅助编程技术，使自动建设的验证器和合成器。 该基础将包括一小部分原始查询，在此基础上可以实现常见的交互式任务，例如计算合成程序的替代解释。接下来，利用语言结构合成的最新成果，研究人员将开发出在给定领域中可解释的、足够强大的、逐渐可教的编程原语合成方法。 这些技术将在团队开发的现有工具的背景下进行评估，以支持数据分析和创造性编程。该奖项反映了NSF的法定使命，并被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估。

End users of software such as spreadsheets and other data-analysis tools often want to solve problems that go beyond the features built into those tools. Such users face a "programmability gap": to solve their problem, they need to write a program, but they lack the multi-faceted expertise necessary to design an algorithm and implement it in a particular programming language. This project is about flattening the steep learning curve of programming by developing tools that assist people in writing programs. The interaction between the tools and users will revolve around programming by demonstration, where the user provides examples of what the program should do when it sees a particular input and the tool generalizes this demonstration into a working program. The project will extend programming by demonstration into a bidirectional communication between the user and the tool. First, the tool will explain the synthesized program to the user, freeing the user from having to learn a new programming language. Second, when the tool incorrectly generalizes the user's demonstration, the tool will ask the user questions to produce a correct program. Finally, the tool will help teachers author so-called microworlds of programming exercises for novice users. The team brings together expertise in programming languages and human-computer interaction to develop both the underlying synthesis techniques and effective interfaces for people to use them, focusing on the domains of data visualization and creative AI programming. By developing new end-user interaction models and end-user programming tools, the project aims to increase people's ability to solve problems and potentially broadening participation in computing to include those who previously viewed programming as inaccessible. The work is framed around fundamental challenges of enabling iterative exploration with code when the specification is not known a priori. The proposed work targets these open challenges directly, envisioning ways for synthesis to enable more flexible, iterative, and exploratory workflows. To do this, this project will first develop a foundation for interactive synthesis as an extension to solver-aided programming techniques that have enabled automatic construction of verifiers and synthesizers. The foundation will include a small set of primitive queries on top of which one can implement common interactive tasks such as computing alternative explanations of a synthesized program. Next, leveraging the recent results in synthesis of language constructs, the researchers will develop methods for synthesis of programming primitives that are explainable in a given domain, are sufficiently powerful, and gradually teachable. These techniques will be evaluated in the context of existing tools the team has developed to support data analysis and creative programming.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.