{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T18:20:32Z","timestamp":1784830832127,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100014718","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1762299,1811865,1712067"],"award-info":[{"award-number":["1762299,1811865,1712067"]}],"id":[{"id":"10.13039\/100014718","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,11]]},"DOI":"10.1145\/3385412.3385988","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:40:10Z","timestamp":1591494010000},"page":"487-502","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":63,"title":["Multi-modal synthesis of regular expressions"],"prefix":"10.1145","author":[{"given":"Qiaochu","family":"Chen","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinyu","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Michigan at Ann Arbor, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xi","family":"Ye","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Greg","family":"Durrett","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Isil","family":"Dillig","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Regexp (Ruby 2.4.0). https:\/\/ruby-doc.org\/core-2.4.0\/Regexp.html","year":"2019","unstructured":"2016. Class: Regexp (Ruby 2.4.0). https:\/\/ruby-doc.org\/core-2.4.0\/Regexp.html. 2019. Pattern (Java Platform SE 8 ). https:\/\/docs.oracle.com\/javase\/7\/docs\/api\/java\/util\/regex\/Pattern.html."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_67"},{"key":"e_1_3_2_1_3_1","volume-title":"Incremental Grammatical Inference From Positive And Negative Data Using Unbiased Finite State Automata. In In Proceedings of the ACL\u00e2\u0102\u017902 Workshop on Unsupervised Lexical Acquisition. 291\u2013300","author":"Alquezar R.","unstructured":"R. Alquezar and A. Sanfeliu. 1994. Incremental Grammatical Inference From Positive And Negative Data Using Unbiased Finite State Automata. In In Proceedings of the ACL\u00e2\u0102\u017902 Workshop on Unsupervised Lexical Acquisition. 291\u2013300."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90683-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D13-1160"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837666"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Bob Carpenter. 1998. Type-logical Semantics. MIT Press Cambridge MA USA.","DOI":"10.7551\/mitpress\/6945.001.0001"},{"key":"e_1_3_2_1_9_1","unstructured":"Qiaochu Chen Xinyu Wang Xi Ye Greg Durrett and Isil Dillig. 2019. Multi-modal Synthesis of Regular Expressions. arXiv: cs.PL\/1908.03316"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338951"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192382"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062351"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737977"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the Twentieth Annual Conference of the Cognitive Science Society. 350\u2013355","author":"Firoiu Laura","unstructured":"Laura Firoiu, Tim Oates, and Paul R. Cohen. 1998. Learning Regular Languages from Positive Evidence. In Proceedings of the Twentieth Annual Conference of the Cognitive Science Society. 350\u2013355."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993506"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2612177"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814295"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462192"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N18-2115"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Association for Computational Linguistics, 826\u2013836","author":"Kushman Nate","year":"2013","unstructured":"Nate Kushman and Regina Barzilay. 2013. Using Semantic Unification to Generate Regular Expressions from Natural Language. In Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Association for Computational Linguistics, 826\u2013836."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594333"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993236.2993244"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC-2018)","author":"Lin Xi Victoria","unstructured":"Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, and Michael D. Ernst. 2018. NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. In Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC-2018). European Language Resource Association. http:\/\/aclweb.org\/anthology\/L18-1491"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D16-1197"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2891460.2891552"},{"key":"e_1_3_2_1_32_1","unstructured":"Anders M\u00f8ller. 2017. dk.brics.automaton \u2013 Finite-State Automata and Regular Expressions for Java. http:\/\/www.brics.dk\/automaton\/."},{"key":"e_1_3_2_1_33_1","volume-title":"Learning a Natural Language Interface with Neural Programmer. CoRR abs\/1611.08945","author":"Neelakantan Arvind","year":"2016","unstructured":"Arvind Neelakantan, Quoc V. Le, Mart\u00edn Abadi, Andrew McCallum, and Dario Amodei. 2016. Learning a Natural Language Interface with Neural Programmer. CoRR abs\/1611.08945 (2016). arXiv: 1611.08945 http:\/\/arxiv.org\/abs\/1611.08945"},{"key":"e_1_3_2_1_34_1","volume-title":"Learning to Infer Program Sketches. CoRR abs\/1902.06349","author":"Nye Maxwell I.","year":"2019","unstructured":"Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, and Armando Solar-Lezama. 2019. Learning to Infer Program Sketches. CoRR abs\/1902.06349 (2019). arXiv: 1902.06349 http:\/\/arxiv.org\/abs\/1902."},{"key":"e_1_3_2_1_35_1","unstructured":"06349 PLDI \u201920 June 15\u201320 2020 London UK Qiaochu Chen Xinyu Wang Xi Ye Greg Durrett and Isil Dillig"},{"key":"e_1_3_2_1_36_1","volume-title":"ACM SIGPLAN Notices","volume":"50","author":"Osera Peter-Michael","year":"2015","unstructured":"Peter-Michael Osera and Steve Zdancewic. 2015. Type-and-exampledirected program synthesis. In ACM SIGPLAN Notices, Vol. 50. ACM, 619\u2013630."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360565"},{"key":"e_1_3_2_1_38_1","volume-title":"Grammatical Interference: Learning Syntax from Sentences, Laurent Miclet and Colin de la Higuera (Eds.)","author":"Parekh Rajesh","unstructured":"Rajesh Parekh and Vasant Honavar. 1996. An incremental interactive algorithm for regular grammar inference. In Grammatical Interference: Learning Syntax from Sentences, Laurent Miclet and Colin de la Higuera (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 238\u2013249."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010822518073"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers)","author":"Quirk Chris","unstructured":"Chris Quirk, Raymond Mooney, and Michel Galley. 2015. Language to Code: Learning Semantic Parsers for If-This-Then-That Recipes. In Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers). Association for Computational Linguistics, 878\u2013888."},{"key":"e_1_3_2_1_41_1","unstructured":"Mohammad Raza Sumit Gulwani and Natasa Milic-Frayling. 2015. Compositional Program Synthesis from Natural Language and Examples. In IJCAI."},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the Twenty-first Annual ACM Symposium on Theory of Computing (STOC \u201989)","author":"Rivest R. L.","unstructured":"R. L. Rivest and R. E. Schapire. 1989. Inference of Finite Automata Using Homing Sequences. In Proceedings of the Twenty-first Annual ACM Symposium on Theory of Computing (STOC \u201989). ACM, 411\u2013420."},{"key":"e_1_3_2_1_43_1","volume-title":"Automated Deduction - CADE- 25, Amy P","author":"Tiwari Ashish","unstructured":"Ashish Tiwari, Adri\u00e0 Gasc\u00f3n, and Bruno Dutertre. 2015. Program Synthesis Using Dual Interpretation. In Automated Deduction - CADE- 25, Amy P. Felty and Aart Middeldorp (Eds.). Springer International Publishing, 482\u2013497."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984030"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908088"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133887"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the Thirteenth National Conference on Artificial Intelligence -","volume":"2","author":"John","unstructured":"John M. Zelle and Raymond J. Mooney. 1996. Learning to Parse Database Queries Using Inductive Logic Programming. In Proceedings of the Thirteenth National Conference on Artificial Intelligence - Volume 2 (AAAI\u201996). AAAI Press, 1050\u20131055."},{"key":"e_1_3_2_1_48_1","volume-title":"Proceedings of the Conference on Uncertainty in Artificial Intelligence.","author":"Luke","unstructured":"Luke S. Zettlemoyer and Michael Collins. 2005. Learning to Map Sentences to Logical Form: Structured Classification with Probabilistic Categorial Grammars. In Proceedings of the Conference on Uncertainty in Artificial Intelligence."}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3385988","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3385988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:14Z","timestamp":1750200074000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3385988"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":46,"alternative-id":["10.1145\/3385412.3385988","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3385988","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}