Author:
Drachsler-Cohen Dana,Shoham Sharon,Yahav Eran
Publisher
Springer International Publishing
Reference47 articles.
1. Lecture Notes in Computer Science;A Albarghouthi,2013
2. Alur, R., Bodik, R., Juniwal, G., Martin, M.M.K., Raghothaman, M., Seshia, S.A., Singh, R., Solar-Lezama, A., Torlak, E., Udupa, A.: Syntax-guided synthesis. In: FMCAD 2013 (2013)
3. Alur, R., Fisman, D., Singh, R., Solar-Lezama, A.: SyGuS-Comp 2016: results and analysis. In: SYNT@CAV 2016 (2016)
4. Angluin, D.: Queries and concept learning. Mach. Learn. 2(4), 319–342 (1988)
5. Barowy, D.W., Gulwani, S., Hart, T., Zorn, B.: FlashRelate: extracting relational data from semi-structured spreadsheets using examples. In: PLDI 2015 (2015)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fast and Reliable Program Synthesis via User Interaction;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
2. Deep Reinforcement Learning Guided Decision Tree Learning For Program Synthesis;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03
3. Comparative Synthesis: Learning Near-Optimal Network Designs by Query;Proceedings of the ACM on Programming Languages;2023-01-09
4. Almost correct invariants: synthesizing inductive invariants by fuzzing proofs;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18
5. Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis;Proceedings of the ACM on Programming Languages;2021-10-20