Question selection for interactive program synthesis-Reference-Cited by-同舟云学术

Question selection for interactive program synthesis

Published:2020-06-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Ji Ruyi¹,Liang Jingjing¹,Xiong Yingfei¹,Zhang Lu¹,Hu Zhenjiang¹

Affiliation:

1. Peking University, China

Funder

National Natural Science Foundation of China

the National Key Research and Development Program of China

Publisher

ACM

Link

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

Reference64 articles.

1. [n. d.]. Supplementary Material. https://github.com/jiry17/IntSy. [n. d.]. Supplementary Material. https://github.com/jiry17/IntSy.

2. Rajeev Alur Rastislav Bodík Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Rajeev Alur Rastislav Bodík Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013.

3. Scaling Enumerative Program Synthesis via Divide and Conquer

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

1. Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation;Lecture Notes in Computer Science;2024

2. Programming by Example Made Easy;ACM Transactions on Software Engineering and Methodology;2023-11-24

3. Scaling up Program Synthesis to Efficient Algorithms;Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2023-10-22

4. Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates;Proceedings of the ACM on Programming Languages;2023-10-16

5. Fast and Reliable Program Synthesis via User Interaction;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11