{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:22Z","timestamp":1750219762680,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T00:00:00Z","timestamp":1701302400000},"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,11,30]]},"DOI":"10.1145\/3611643.3613076","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T23:14:38Z","timestamp":1701386078000},"page":"2072-2076","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9105-5423","authenticated-orcid":false,"given":"Jian","family":"Gu","sequence":"first","affiliation":[{"name":"Monash University, Melbourne, Australia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3874-5628","authenticated-orcid":false,"given":"Harald C.","family":"Gall","sequence":"additional","affiliation":[{"name":"University of Zurich, Zurich, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2023,11,30]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Leslie Pack Kaelbling, and Joshua B. Tenenbaum","author":"Alet Ferran","year":"2021","unstructured":"Ferran Alet, Javier Lopez-Contreras, James Koppel, Maxwell Nye, Armando Solar-Lezama, Tomas Lozano-Perez, Leslie Pack Kaelbling, and Joshua B. Tenenbaum. 2021. A large-scale benchmark for few-shot program induction and synthesis. In ICML."},{"key":"e_1_3_2_2_2_1","volume-title":"Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts. ArXiv, abs\/1809.05193","author":"Bavishi Rohan","year":"2018","unstructured":"Rohan Bavishi, Michael Pradel, and Koushik Sen. 2018. Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts. ArXiv, abs\/1809.05193 (2018)."},{"key":"e_1_3_2_2_3_1","volume-title":"StoryDroid: Automated Generation of Storyboard for Android Apps. 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), 596\u2013607","author":"Chen Sen","year":"2019","unstructured":"Sen Chen, Lingling Fan, Chunyang Chen, Ting Su, Wenhe Li, Yang Liu, and Lihua Xu. 2019. StoryDroid: Automated Generation of Storyboard for Android Apps. 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), 596\u2013607."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3524610.3527889"},{"volume-title":"Bit Cloud: How Teams Build Composable Software Together. https:\/\/bit.cloud (Approved Use of the Illustration for Academic Purposes on","year":"2023","key":"e_1_3_2_2_5_1","unstructured":"Cocycles. 2023. Bit Cloud: How Teams Build Composable Software Together. https:\/\/bit.cloud (Approved Use of the Illustration for Academic Purposes on August 20, 2023 by the Head of Product @ Bit)"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642982"},{"key":"e_1_3_2_2_7_1","volume-title":"Baker","author":"Fillmore Charles J.","year":"2001","unstructured":"Charles J. Fillmore and Collin F. Baker. 2001. Frame semantics for text understanding."},{"key":"e_1_3_2_2_8_1","volume-title":"Gall","author":"Gu Jian","year":"2022","unstructured":"Jian Gu, Pasquale Salza, and Harald C. Gall. 2022. Assemble Foundation Models for Automatic Code Summarization."},{"key":"e_1_3_2_2_9_1","volume-title":"Deep Code Search. 2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE), 933\u2013944","author":"Gu Xiaodong","year":"2018","unstructured":"Xiaodong Gu, Hongyu Zhang, and Sunghun Kim. 2018. Deep Code Search. 2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE), 933\u2013944."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950334"},{"key":"e_1_3_2_2_11_1","volume-title":"PyART: Python API Recommendation in Real-Time. 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE), 1634\u20131645","author":"He Xincheng","year":"2021","unstructured":"Xincheng He, Lei Xu, X. Zhang, Rui Hao, Yang Feng, and Baowen Xu. 2021. PyART: Python API Recommendation in Real-Time. 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE), 1634\u20131645."},{"key":"e_1_3_2_2_12_1","volume-title":"Taxonomy of Real Faults in Deep Learning Systems. 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE), 1110\u20131121","author":"Humbatova Nargiz","year":"2020","unstructured":"Nargiz Humbatova, Gunel Jahangirova, Gabriele Bavota, Vincenzo Riccio, Andrea Stocco, and Paolo Tonella. 2020. Taxonomy of Real Faults in Deep Learning Systems. 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE), 1110\u20131121."},{"key":"e_1_3_2_2_13_1","volume-title":"Yu","author":"Ji Shaoxiong","year":"2021","unstructured":"Shaoxiong Ji, Shirui Pan, E. Cambria, Pekka Marttinen, and Philip S. Yu. 2021. A Survey on Knowledge Graphs: Representation, Acquisition and Applications. IEEE transactions on neural networks and learning systems, PP (2021)."},{"key":"e_1_3_2_2_14_1","volume-title":"Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules. ArXiv, abs\/2109.10476","author":"Kommrusch Steven J","year":"2021","unstructured":"Steven J Kommrusch, Monperrus Martin, and Louis-No\u00ebl Pouchet. 2021. Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules. ArXiv, abs\/2109.10476 (2021)."},{"key":"e_1_3_2_2_15_1","volume-title":"Unsupervised Translation of Programming Languages. ArXiv, abs\/2006.03511","author":"Lachaux Marie-Anne","year":"2020","unstructured":"Marie-Anne Lachaux, Baptiste Rozi\u00e8re, Lowik Chanussot, and Guillaume Lample. 2020. Unsupervised Translation of Programming Languages. ArXiv, abs\/2006.03511 (2020)."},{"key":"e_1_3_2_2_16_1","first-page":"1","article-title":"Deep Learning for Source Code Modeling and Generation","volume":"53","author":"Minh Le Triet Huynh","year":"2020","unstructured":"Triet Huynh Minh Le, Hao Chen, and Muhammad Ali Babar. 2020. Deep Learning for Source Code Modeling and Generation. ACM Computing Surveys (CSUR), 53 (2020), 1 \u2013 38.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"e_1_3_2_2_17_1","volume-title":"Dan Roth Intel Labs, and University of Pennsylvania.","author":"Lee Celine","year":"2021","unstructured":"Celine Lee, Justin Emile Gottschlich, Dan Roth Intel Labs, and University of Pennsylvania. 2021. Toward Code Generation: A Survey and Lessons from Semantic Parsing. ArXiv, abs\/2105.03317 (2021)."},{"key":"e_1_3_2_2_18_1","volume-title":"SkCoder: A Sketch-based Approach for Automatic Code Generation. 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE), 2124\u20132135","author":"Li Jia","year":"2023","unstructured":"Jia Li, Yongming Li, Ge Li, Zhi Jin, Yiyang Hao, and Xing Hu. 2023. SkCoder: A Sketch-based Approach for Automatic Code Generation. 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE), 2124\u20132135. https:\/\/api.semanticscholar.org\/CorpusID:256826931"},{"key":"e_1_3_2_2_19_1","unstructured":"Yujia Li David Choi Junyoung Chung Nate Kushman Julian Schrittwieser R\u00e9mi Leblond Tom Eccles James Keeling Felix Gimeno and Agustin Dal Lago. 2022. Competition-Level Code Generation with AlphaCode. arXiv preprint arXiv:2203.07814."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591280"},{"key":"e_1_3_2_2_21_1","volume-title":"CodeQA: A Question Answering Dataset for Source Code Comprehension. ArXiv, abs\/2109.08365","author":"Liu Chenxiao","year":"2021","unstructured":"Chenxiao Liu and Xiaojun Wan. 2021. CodeQA: A Question Answering Dataset for Source Code Comprehension. ArXiv, abs\/2109.08365 (2021)."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468618"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360578"},{"key":"e_1_3_2_2_24_1","unstructured":"Sungwon Lyu. 2019. Text Generation From Knowledge Graphs With Graph Transformers. https:\/\/lyusungwon.github.io\/studies\/2019\/09\/19\/graphwriter\/"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/219717.219748"},{"key":"e_1_3_2_2_26_1","volume-title":"CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis. In International Conference on Learning Representations. https:\/\/api.semanticscholar.org\/CorpusID:252668917","author":"Nijkamp Erik","year":"2022","unstructured":"Erik Nijkamp, Bo Pang, Hiroaki Hayashi, Lifu Tu, Haiquan Wang, Yingbo Zhou, Silvio Savarese, and Caiming Xiong. 2022. CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis. In International Conference on Learning Representations. https:\/\/api.semanticscholar.org\/CorpusID:252668917"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386001"},{"key":"e_1_3_2_2_28_1","volume-title":"Leveraging Automated Unit Tests for Unsupervised Code Translation. ArXiv, abs\/2110.06773","author":"Rozi\u00e8re Baptiste","year":"2021","unstructured":"Baptiste Rozi\u00e8re, J Zhang, Fran\u00e7ois Charton, Mark Harman, Gabriel Synnaeve, and Guillaume Lample. 2021. Leveraging Automated Unit Tests for Unsupervised Code Translation. ArXiv, abs\/2110.06773 (2021)."},{"key":"e_1_3_2_2_29_1","unstructured":"Josef Ruppenhofer Michael Ellsworth Miriam R. L. Petruck Christopher R. Johnson and Jan Scheffczyk. 2006. FrameNet II: Extended theory and practice."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-015-0816-y"},{"volume-title":"Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII.","author":"Solar-Lezama Armando","key":"e_1_3_2_2_31_1","unstructured":"Armando Solar-Lezama, Liviu Tancau, Rastislav Bod\u00edk, Sanjit A. Seshia, and Vijay A. Saraswat. 2006. Combinatorial sketching for finite programs. Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180236"},{"key":"e_1_3_2_2_33_1","volume-title":"Massimiliano Di Penta, and Sebastiano Panichella","author":"Vassallo Carmine","year":"2017","unstructured":"Carmine Vassallo, Gerald Schermann, Fiorella Zampetti, Daniele Romano, Philipp Leitner, Andy Zaidman, Massimiliano Di Penta, and Sebastiano Panichella. 2017. A Tale of CI Build Failures: An Open Source and a Financial Organization Perspective. In ICSME."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3524842.3528477"},{"key":"e_1_3_2_2_35_1","volume-title":"Hoi","author":"Wang Yue","year":"2021","unstructured":"Yue Wang, Weishi Wang, Shafiq R. Joty, and Steven C. H. Hoi. 2021. CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation. ArXiv, abs\/2109.00859 (2021)."},{"key":"e_1_3_2_2_36_1","volume-title":"A Systematic Literature Review on the Use of Deep Learning in Software Engineering Research. ArXiv, abs\/2009.06520","author":"Watson Cody","year":"2020","unstructured":"Cody Watson, Nathan Cooper, David Nader-Palacio, Kevin Moran, and Denys Poshyvanyk. 2020. A Systematic Literature Review on the Use of Deep Learning in Software Engineering Research. ArXiv, abs\/2009.06520 (2020)."},{"key":"e_1_3_2_2_37_1","unstructured":"Steven Euijong Whang Yuji Roh Hwanjun Song and Jae-Gil Lee. 2021. Data Collection and Quality Challenges in Deep Learning: A Data-Centric AI Perspective."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409731"},{"key":"e_1_3_2_2_39_1","volume-title":"Modeling and Discovering Vulnerabilities with Code Property Graphs. 2014 IEEE Symposium on Security and Privacy, 590\u2013604","author":"Yamaguchi Fabian","year":"2014","unstructured":"Fabian Yamaguchi, Nico Golde, Dan Arp, and Konrad Rieck. 2014. Modeling and Discovering Vulnerabilities with Code Property Graphs. 2014 IEEE Symposium on Security and Privacy, 590\u2013604."},{"key":"e_1_3_2_2_40_1","volume-title":"TRANX: A Transition-based Neural Abstract Syntax Parser for Semantic Parsing and Code Generation. In EMNLP.","author":"Yin Pengcheng","year":"2018","unstructured":"Pengcheng Yin and Graham Neubig. 2018. TRANX: A Transition-based Neural Abstract Syntax Parser for Semantic Parsing and Code Generation. In EMNLP."},{"key":"e_1_3_2_2_41_1","volume-title":"The Development and Prospect of Code Clone. ArXiv, abs\/2202.08497","author":"Zhang Xunhui","year":"2022","unstructured":"Xunhui Zhang, Tao Wang, Yue Yu, Yanzhi Zhang, Yan Zhong, and Huaimin Wang. 2022. The Development and Prospect of Code Clone. ArXiv, abs\/2202.08497 (2022)."},{"key":"e_1_3_2_2_42_1","volume-title":"Semantic Scaffolds for Pseudocode-to-Code Generation. ArXiv, abs\/2005.05927","author":"Zhong Ruiqi","year":"2020","unstructured":"Ruiqi Zhong, Mitchell Stern, and Dan Klein. 2020. Semantic Scaffolds for Pseudocode-to-Code Generation. ArXiv, abs\/2005.05927 (2020)."}],"event":{"name":"ESEC\/FSE '23: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"San Francisco CA USA","acronym":"ESEC\/FSE '23"},"container-title":["Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3613076","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611643.3613076","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:10Z","timestamp":1750178230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3613076"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,30]]},"references-count":42,"alternative-id":["10.1145\/3611643.3613076","10.1145\/3611643"],"URL":"https:\/\/doi.org\/10.1145\/3611643.3613076","relation":{},"subject":[],"published":{"date-parts":[[2023,11,30]]},"assertion":[{"value":"2023-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}