Interpretable Program Synthesis-Reference-Cited by-同舟云学术

Interpretable Program Synthesis

Published:2021-05-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems
language:
Short-container-title:

Author:

Zhang Tianyi¹,Chen Zhiyang²,Zhu Yuanli²,Vaithilingam Priyan¹,Wang Xinyu²,Glassman Elena L.¹

Affiliation:

1. Harvard University, United States

2. University of Michigan, United States

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3411764.3445646

Reference73 articles.

1. [n.d.]. Regular expression to check comma separted number values in Flex. https://stackoverflow.com/questions/5262196/regular-expression-to-check-comma-separted-number-values-in-flex. Accessed: 2020-07-21. [n.d.]. Regular expression to check comma separted number values in Flex. https://stackoverflow.com/questions/5262196/regular-expression-to-check-comma-separted-number-values-in-flex. Accessed: 2020-07-21.

2. [n.d.]. SetCoverPy: A heuristic solver for the set cover problem. https://github.com/guangtunbenzhu/SetCoverPy. Accessed: 2020-06-04. [n.d.]. SetCoverPy: A heuristic solver for the set cover problem. https://github.com/guangtunbenzhu/SetCoverPy. Accessed: 2020-06-04.

3. Goal-Directed Debugging of Spreadsheets

4. Recursive Program Synthesis

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Interpretable Network Synthesis via Localized Specifications;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04

2. Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit;ACM Computing Surveys;2024-05-18

3. Insights into Natural Language Database Query Errors: From Attention Misalignment to User Handling Strategies;ACM Transactions on Interactive Intelligent Systems;2024-03-02

4. Explainable Program Synthesis by Localizing Specifications;Proceedings of the ACM on Programming Languages;2023-10-16

5. Using Reactive Synthesis: An End-to-End Exploratory Case Study;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05