CAREER: Synthesis in a Live Programming Environment

职业：实时编程环境中的综合

• 批准号: 1553168
• 负责人: Ruzica Piskac
• 金额: $ 46.33万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-01-15 至 2021-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1553168&HistoricalAwards=false
• 关键词: CAREER; Synthesis; Live; Programming; Environment

A live programming environment allows a programmer to immediately see the effects of changes to a program on its outputs and effectively eliminates the edit-run-debug cycle that dominates programming work flows today. Live programming is an emerging paradigm that is promising a vast change in the techniques used to develop modern software. This project combines live programming and software synthesis. By generating representative examples to illustrate code behavior, the user can more easily understand the code. If the user notices examples that do not match the intended behavior, the user can either modify the source code, or change the examples to correctly convey the behavior. Invoking a programming by example synthesis algorithm on those updated examples will automatically generate code, which is then merged with the original source code. We call this concept cooperative programming.The intellectual merits of this project include: devising novel real-time algorithms to synthesize code, investigating new fault localization techniques, and developing code repair that is intuitive and natural for the user. In addition, the project is focused on establishing a formal theoretical framework for synthesis in a feedback loop. These ideas will be evaluated in a modern, major programming language, thus making it readily accessible to programmers. In this way, the broader impact of cooperative programming is to increase programmer productivity while simultaneously lowering the barriers to entry for novice programmers, such as secondary school students.

实时编程环境允许程序员立即看到对程序的更改对其输出的影响，并有效地消除了当今主导编程工作流程的编辑-运行-调试周期。实时编程是一种新兴的范式，它有望在用于开发现代软件的技术中带来巨大的变化。该项目结合了实时编程和软件合成。通过生成代表性示例来说明代码行为，用户可以更容易地理解代码。如果用户注意到示例与预期行为不匹配，则用户可以修改源代码，或者更改示例以正确地传达行为。在这些更新的示例上通过示例合成算法来编程将自动生成代码，然后将其与原始源代码合并。我们称之为合作programming.The智力项目的优点包括：设计新的实时算法来合成代码，研究新的故障定位技术，并开发代码修复，这是直观和自然的用户。此外，该项目的重点是建立一个正式的理论框架，在反馈回路的综合。这些想法将在一个现代的，主要的编程语言进行评估，从而使其易于访问的程序员。通过这种方式，合作编程的更广泛的影响是提高程序员的生产力，同时降低新手程序员（如中学生）的进入门槛。

项目成果

Towards checkpoint placement for dynamic memory allocation in intermittent computing

间歇性计算中动态内存分配的检查点放置

• DOI: 10.1145/3427764.3428323
• 发表时间: 2020
• 期刊: TAPAS 2020: Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis
• 作者: Shoemaker, Nicholas;Piskac, Ruzica;Santolucito, Mark
• 通讯作者: Santolucito, Mark

Live Programming By Example

现场编程示例

• DOI: 10.1145/3290607.3313266
• 发表时间: 2019
• 期刊: CHI EA '19 Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems
• 作者: Santolucito, Mark;Hallahan, William T.;Piskac, Ruzica
• 通讯作者: Piskac, Ruzica

Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers

为早期研究人员提供基于身份的形式方法和计算指导

• DOI: 10.1145/3328778.3366957
• 发表时间: 2020
• 期刊: SIGCSE '20: Proceedings of the 51st ACM Technical Symposium on Computer Science Education
• 作者: Santolucito, Mark;Piskac, Ruzica
• 通讯作者: Piskac, Ruzica

Check before You Change: Preventing Correlated Failures in Service Updates

更改前检查：防止服务更新中出现相关故障

• 发表时间: 2020
• 期刊: The 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2020
• 作者: Zhai, Ennan;Chen, Ang;Piskac, Ruzica;Balakrishnan, Mahesh;Tian, Bingchuan;Song, Bo;Zhang, Haoliang
• 通讯作者: Zhang, Haoliang

Programming by Example: Efficient, but Not "Helpful"

实例编程：高效，但不“有帮助”

• 发表时间: 2018
• 期刊: 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018
• 作者: Santolucito, Mark;Goldman, Drew;Weseley, Allyson;Piskac, Ruzica
• 通讯作者: Piskac, Ruzica