{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T04:11:50Z","timestamp":1752984710723,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T00:00:00Z","timestamp":1697760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,20]]},"DOI":"10.1145\/3637792.3637793","type":"proceedings-article","created":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T11:06:17Z","timestamp":1708427177000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Improve Software Development: An Overview of Program Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-2915-3455","authenticated-orcid":false,"given":"Heran","family":"Wang","sequence":"first","affiliation":[{"name":"Beijing Institute of Control Engineering, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-1256-6385","authenticated-orcid":false,"given":"Xiaogang","family":"Dong","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7218-4839","authenticated-orcid":false,"given":"Bin","family":"Gu","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8805-665X","authenticated-orcid":false,"given":"Xiaofeng","family":"Li","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-6208-4088","authenticated-orcid":false,"given":"Ruiming","family":"Zhong","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China"}]}],"member":"320","published-online":{"date-parts":[[2024,2,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","unstructured":"Mengfei Yang Bin Gu Zhenhua Duan Framework and Key Scientific Issues of Embedded Software Intelligent Synthesis. Chinese Journal of Space Science and Technology 2022 42(4):1-7. DOI:10.16708\/j.cnki.1000-758X.2022.0046.","DOI":"10.16708\/j.cnki.1000-758X.2022.0046"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"Bin Gu Bo Yu Xiaogang Dong Research Progress on Program Intelligent Synthesis Technology. Journal of Software 2021 32(5):1373-1384. DOI:10.13328\/j.cnki.jos.006200.","DOI":"10.13328\/j.cnki.jos.006200"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","unstructured":"YInzhu Zhang Wei Dong Binbin Liu. Research Progress on Program Synthesis. Software 2019 40(4):25-30. DOI:10.3969\/j.issn.1003-6970.2019.04.005.","DOI":"10.3969\/j.issn.1003-6970.2019.04.005"},{"key":"e_1_3_2_1_4_1","unstructured":"Binbin Liu\/ Research on Efficient Synthesis Methods Based on Code Big Data Knowledge. National University of Defense Technology 2020."},{"key":"e_1_3_2_1_5_1","volume-title":"Programming by Examples: Applications, Algorithms, and Ambiguity Resolution[C]\/\/ International Joint Conference on Automated Reasoning","author":"Gulwani S","year":"2016","unstructured":"Gulwani S . Programming by Examples: Applications, Algorithms, and Ambiguity Resolution[C]\/\/ International Joint Conference on Automated Reasoning. Springer International Publishing, 2016."},{"key":"e_1_3_2_1_6_1","volume-title":"Teaching GP to program like a human software developer: using perplexity pressure to guide program synthesis approaches[C]\/\/ the Genetic and Evolutionary Computation Conference","author":"Sobania D","year":"2019","unstructured":"Sobania D , Rothlauf F . Teaching GP to program like a human software developer: using perplexity pressure to guide program synthesis approaches[C]\/\/ the Genetic and Evolutionary Computation Conference. 2019."},{"key":"e_1_3_2_1_7_1","volume-title":"On domain knowledge and novelty to improve program synthesis performance with grammatical evolution[C]\/\/ the Genetic and Evolutionary Computation Conference","author":"Hemberg E","year":"2019","unstructured":"Hemberg E , Kelly J , O'Reilly U M . On domain knowledge and novelty to improve program synthesis performance with grammatical evolution[C]\/\/ the Genetic and Evolutionary Computation Conference. 2019."},{"key":"e_1_3_2_1_8_1","volume-title":"Getting a Head Start on Program Synthesis with Genetic Programming[J]","author":"Wick J","year":"2021","unstructured":"Wick J , Hemberg E , O'Reilly U M . Getting a Head Start on Program Synthesis with Genetic Programming[J]. 2021."},{"key":"e_1_3_2_1_9_1","volume-title":"General Program Synthesis Benchmark Suite. ACM","author":"Helmuth T","year":"2015","unstructured":"Helmuth T , Spector L , Silva S , General Program Synthesis Benchmark Suite. ACM, 2015."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Helmuth T Mcphee N F Spector L . Program synthesis using uniform mutation by addition and deletion[C]\/\/ Genetic & Evolutionary Computation Conference. 2018:1127-1134.","DOI":"10.1145\/3205455.3205603"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520304.3528891"},{"key":"e_1_3_2_1_12_1","unstructured":"Yifan He Claus Aranha Tersuya Sakurai. Knpwledge-Driven Program Synthesis via Adaptive Replacement Mutation and Auto-constructed Subprogram Archives. arXiv:2209.03736."},{"key":"e_1_3_2_1_13_1","volume-title":"Program synthesis by sketching.[D]","author":"Solar-Lezama A","year":"2008","unstructured":"Solar-Lezama A . Program synthesis by sketching.[D]. University of California, Berkeley. 2008."},{"key":"e_1_3_2_1_14_1","first-page":"1","volume-title":"Formal Methods in Computer-Aided Design: 2013 Conference on Formal Methods in Computer-Aided Design (FMCAD)","author":"ALUR, RAJEEV, BODIK, RASTISLAV, JUNIWAL, GARVIT","year":"2013","unstructured":"ALUR, RAJEEV, BODIK, RASTISLAV, JUNIWAL, GARVIT, Syntax-guided synthesis[C]. \/\/2013 Formal Methods in Computer-Aided Design: 2013 Conference on Formal Methods in Computer-Aided Design (FMCAD), 20-23 Oct. 2013, Portland, OR, USA.:Institute of Electrical and Electronics Engineers, 2013:1-17."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451150"},{"key":"e_1_3_2_1_17_1","unstructured":"Rajeev Alur Dana Fisman Saswat Padhi Rishabh Singh Abhishek Udupa. SyGuS-Comp 2018: Results and Analysis.[J]. CoRR 2019 abs\/1904.07146."},{"key":"e_1_3_2_1_18_1","volume-title":"CVC4SY for SyGuS-COMP","author":"Reynolds Andrew","year":"2019","unstructured":"Andrew Reynolds,Haniel Barbosa,Andres N\u00f6tzli,Clark W. Barrett,Cesare Tinelli. CVC4SY for SyGuS-COMP 2019.[J]. CoRR,2019,abs\/1907.10175."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009851"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371080"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331554.3342608"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523450"},{"key":"e_1_3_2_1_23_1","volume-title":"Type-Directed Synthesis of Products:, 10.48550\/arXiv.1510.08121[P]","author":"Frankle J","year":"2015","unstructured":"Frankle J . Type-Directed Synthesis of Products:, 10.48550\/arXiv.1510.08121[P]. 2015."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133887"},{"key":"e_1_3_2_1_25_1","volume-title":"Type- and Content-Driven Synthesis of SQL Queries from Natural Language[J]","author":"Yaghmazadeh N","year":"2017","unstructured":"Yaghmazadeh N , Wang Y , Dillig I , Type- and Content-Driven Synthesis of SQL Queries from Natural Language[J]. 2017."},{"key":"e_1_3_2_1_26_1","volume-title":"An Encoder-Decoder Framework Translating Natural Language to Database Queries[J]","author":"Cai R","year":"2018","unstructured":"Cai R , Xu B , Zhang Z , An Encoder-Decoder Framework Translating Natural Language to Database Queries[J]. 2018."},{"key":"e_1_3_2_1_27_1","volume-title":"Domain Specific Language[M]","author":"Fowler Martin","year":"2013","unstructured":"Martin Fowler. Domain Specific Language[M]. Mechanical Industry Press, 2013."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993536"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2893873.2893919"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/3298239.3298368"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"volume-title":"Program Synthesis. Foundations and Trends\u00ae in Programming Languages","author":"Gulwani S.","key":"e_1_3_2_1_32_1","unstructured":"S. Gulwani, O. Polozov and R. Singh. Program Synthesis. Foundations and Trends\u00ae in Programming Languages, vol. 4, no. 1-2, pp. 1\u2013119, 2017."},{"key":"e_1_3_2_1_33_1","unstructured":"Akiba T Imajo K Iwami H Calibrating Research in Program Synthesis Using 72 000 Hours of Programmer Time."},{"key":"e_1_3_2_1_34_1","unstructured":"Katayama S . MagicHaskeller on the Web: Automated Programming as a Service."},{"key":"e_1_3_2_1_35_1","volume-title":"The SMT-LIB Standard Version 2.6","author":"Barrett Clark","year":"2010","unstructured":"Clark Barrett, Pascal Fontaine, and Cesare Tinelli. The SMT-LIB Standard Version 2.6, 2010."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451150"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00175355"},{"key":"e_1_3_2_1_39_1","volume-title":"Control & Artificial Intelligence","author":"Holland J","year":"1975","unstructured":"Holland J . Adaptation in natural and artificial systems : an introductory analysis with application to biology[J]. Control & Artificial Intelligence, 1975."},{"key":"e_1_3_2_1_40_1","volume-title":"Omnipress","author":"Liang P","year":"2010","unstructured":"Liang P , Jordan M I , Dan K . Learning Programs: A Hierarchical Bayesian Approach[C]\/\/ International Conference on Machine Learning. Omnipress, 2010."},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the 30th International Conference on International Conference on Machine Learning -","volume":"28","author":"Menon Aditya Krishna","year":"2013","unstructured":"Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, and Adam Tauman Kalai. 2013. A machine learning framework for programming by example. In Proceedings of the 30th International Conference on International Conference on Machine Learning - Volume 28 (ICML'13). JMLR.org, I\u2013187\u2013I\u2013195."}],"event":{"name":"ICSED 2023: 2023 5th International Conference on Software Engineering and Development","acronym":"ICSED 2023","location":"Singapore Singapore"},"container-title":["2023 5th International Conference on Software Engineering and Development (ICSED)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3637792.3637793","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3637792.3637793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:18Z","timestamp":1750286958000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3637792.3637793"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,20]]},"references-count":41,"alternative-id":["10.1145\/3637792.3637793","10.1145\/3637792"],"URL":"https:\/\/doi.org\/10.1145\/3637792.3637793","relation":{},"subject":[],"published":{"date-parts":[[2023,10,20]]},"assertion":[{"value":"2024-02-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}