Author:
Wang Xinyu,Anderson Greg,Dillig Isil,McMillan K. L.
Publisher
Springer International Publishing
Reference35 articles.
1. Gulwani, S.: Automating string processing in spreadsheets using input-output examples. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, pp. 317–330. ACM (2011)
2. Singh, R., Gulwani, S.: Transforming spreadsheet data types using examples. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, pp. 343–356. ACM (2016)
3. Wang, X., Gulwani, S., Singh, R.: FIDEX: filtering spreadsheet data using examples. In: OOPSLA, pp. 195–213. ACM (2016)
4. Feng, Y., Martins, R., Van Geffen, J., Dillig, I., Chaudhuri, S.: Component-based synthesis of table consolidation and transformation tasks from examples. In: PLDI, pp. 422–436. ACM (2017)
5. Wang, X., Dillig, I., Singh, R.: Synthesis of data completion scripts using finite tree automata. Proc. ACM Program. Lang. 1(OOPSLA), 62:1–62:26 (2017)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Bottom-Up Synthesis for Programs with Local Variables;Proceedings of the ACM on Programming Languages;2024-01-05
2. Survey of intelligent program synthesis techniques;International Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 2023);2023-12-07
3. Programming by Example Made Easy;ACM Transactions on Software Engineering and Methodology;2023-11-24
4. Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-06-06
5. Synthesizing abstract transformers;Proceedings of the ACM on Programming Languages;2022-10-31