{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:01:36Z","timestamp":1760043696192,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ONR","award":["N00014-18-1-2021"],"award-info":[{"award-number":["N00014-18-1-2021"]}]},{"name":"AFRL","award":["FA8750-20-2-0501"],"award-info":[{"award-number":["FA8750-20-2-0501"]}]},{"name":"NSF","award":["1836822"],"award-info":[{"award-number":["1836822"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454098","type":"proceedings-article","created":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T16:58:49Z","timestamp":1624553929000},"page":"1110-1125","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Example-guided synthesis of relational queries"],"prefix":"10.1145","author":[{"given":"Aalok","family":"Thakkar","sequence":"first","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Aaditya","family":"Naik","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Nathaniel","family":"Sands","sequence":"additional","affiliation":[{"name":"University of Southern California, USA"}]},{"given":"Rajeev","family":"Alur","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Mayur","family":"Naik","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Mukund","family":"Raghothaman","sequence":"additional","affiliation":[{"name":"University of Southern California, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"volume-title":"Foundations of Databases","author":"Abiteboul Serge","key":"e_1_3_2_1_1_1","unstructured":"Serge Abiteboul , Richard Hull , and Victor Vianu . 1995. Foundations of Databases . Addison-Wesley . isbn:0-201-53771-0 Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases. Addison-Wesley. isbn:0-201-53771-0"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66158-2_44"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/fmcad.2013.6679385"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_18"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208071"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90683-6"},{"key":"e_1_3_2_1_7_1","unstructured":"Behnaz Arzani Kevin Hsieh and Haoxian Chen. 2021. Interpret-able feedback for AutoML systems. arXiv preprint arXiv:2102.11267.  Behnaz Arzani Kevin Hsieh and Haoxian Chen. 2021. Interpret-able feedback for AutoML systems. arXiv preprint arXiv:2102.11267."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2016.2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737952"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-51565-1_136"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/359094.359101"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/673"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23708-4_5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9226-0_5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3340531.3411949"},{"volume-title":"Advances in Neural Information Processing Systems","author":"Ellis Kevin","key":"e_1_3_2_1_17_1","unstructured":"Kevin Ellis , Lucas Morales , Mathias Sabl\u00e9-Meyer , Armando Solar-Lezama , and Josh Tenenbaum . 2018. Learning Libraries of Subroutines for Neurally\u2013 Guided Bayesian Program Induction . In Advances in Neural Information Processing Systems , S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi, and R. Garnett (Eds.). 31, Curran Associates, Inc. . Kevin Ellis, Lucas Morales, Mathias Sabl\u00e9-Meyer, Armando Solar-Lezama, and Josh Tenenbaum. 2018. Learning Libraries of Subroutines for Neurally\u2013 Guided Bayesian Program Induction. In Advances in Neural Information Processing Systems, S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi, and R. Garnett (Eds.). 31, Curran Associates, Inc.."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/3241691.3241692"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062351"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3190657"},{"key":"e_1_3_2_1_21_1","volume-title":"Complexity of automaton identification from given data. Information and Control, 37, 3","author":"Gold E Mark","year":"1978","unstructured":"E Mark Gold . 1978. Complexity of automaton identification from given data. Information and Control, 37, 3 ( 1978 ). E Mark Gold. 1978. Complexity of automaton identification from given data. Information and Control, 37, 3 (1978)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745754.2745780"},{"key":"e_1_3_2_1_23_1","volume-title":"Selected Algorithms of Machine Learning from Examples. Fundam. Informaticae, 18","author":"Grzymala-Busse J.","year":"1993","unstructured":"J. Grzymala-Busse . 1993. Selected Algorithms of Machine Learning from Examples. Fundam. Informaticae, 18 ( 1993 ). J. Grzymala-Busse. 1993. Selected Algorithms of Machine Learning from Examples. Fundam. Informaticae, 18 (1993)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240260"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/261342.571216"},{"volume-title":"Proving Unrealizability for Syntax-Guided Synthesis","author":"Hu Qinheping","key":"e_1_3_2_1_27_1","unstructured":"Qinheping Hu , Jason Breck , John Cyphert , Loris D\u2019Antoni , and Thomas Reps . 2019. Proving Unrealizability for Syntax-Guided Synthesis . In Computer Aided Verification, Isil Dillig and Serdar Tasiran (Eds.). Springer International Publishing , Cham . 335\u2013352. isbn:978-3-030-25540-4 Qinheping Hu, Jason Breck, John Cyphert, Loris D\u2019Antoni, and Thomas Reps. 2019. Proving Unrealizability for Syntax-Guided Synthesis. In Computer Aided Verification, Isil Dillig and Serdar Tasiran (Eds.). Springer International Publishing, Cham. 335\u2013352. isbn:978-3-030-25540-4"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009758919736"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11558-0_22"},{"key":"e_1_3_2_1_32_1","volume-title":"The ILASP system for Inductive Learning of Answer Set Programs. CoRR, abs\/2005.00904","author":"Law Mark","year":"2020","unstructured":"Mark Law , Alessandra Russo , and Krysia Broda . 2020. The ILASP system for Inductive Learning of Answer Set Programs. CoRR, abs\/2005.00904 ( 2020 ). Mark Law, Alessandra Russo, and Krysia Broda. 2020. The ILASP system for Inductive Learning of Answer Set Programs. CoRR, abs\/2005.00904 (2020)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594333"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192410"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2980983.2908096"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786851"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1103845.1094840"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the International Conference on Machine Learning (ICML).","author":"Menon Aditya","year":"2013","unstructured":"Aditya Menon , Omer Tamuz , Sumit Gulwani , Butler Lampson , and Adam Kalai . 2013 . A Machine Learning Framework for Programming by Example . In Proceedings of the International Conference on Machine Learning (ICML). Aditya Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, and Adam Kalai. 2013. A Machine Learning Framework for Programming by Example. In Proceedings of the International Conference on Machine Learning (ICML)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037089"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037227"},{"volume-title":"New Generation Computing","author":"Muggleton Stephen","key":"e_1_3_2_1_41_1","unstructured":"Stephen Muggleton and Cao Feng . 1990. Efficient Induction Of Logic Programs . In New Generation Computing . Academic Press . Stephen Muggleton and Cao Feng. 1990. Efficient Induction Of Logic Programs. In New Generation Computing. Academic Press."},{"key":"e_1_3_2_1_42_1","volume-title":"Semantics and Complexity of SPARQL. 34, 3","author":"P\u00e9rez Jorge","year":"2009","unstructured":"Jorge P\u00e9rez , Marcelo Arenas , and Claudio Gutierrez . 2009. Semantics and Complexity of SPARQL. 34, 3 ( 2009 ). Jorge P\u00e9rez, Marcelo Arenas, and Claudio Gutierrez. 2009. Semantics and Complexity of SPARQL. 34, 3 (2009)."},{"key":"e_1_3_2_1_43_1","first-page":"153","article-title":"A Note on Inductive Generalization","volume":"5","author":"Plotkin Gordon D.","year":"1970","unstructured":"Gordon D. Plotkin . 1970 . A Note on Inductive Generalization . Machine Intelligence , 5 (1970), 153 \u2013 163 . Gordon D. Plotkin. 1970. A Note on Inductive Generalization. Machine Intelligence, 5 (1970), 153\u2013163.","journal-title":"Machine Intelligence"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858965.2814310"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022643204877"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192417"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373112"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_12"},{"key":"e_1_3_2_1_49_1","unstructured":"Tim Rockt\u00e4schel and Sebastian Riedel. 2017. End-to-end Differentiable Proving. In Advances in Neural Information Processing Systems (NeurIPS).  Tim Rockt\u00e4schel and Sebastian Riedel. 2017. End-to-end Differentiable Proving. In Advances in Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_50_1","volume-title":"Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP).","author":"Schoenmackers Stefan","year":"2010","unstructured":"Stefan Schoenmackers , Oren Etzioni , Daniel S. Weld , and Jesse Davis . 2010 . Learning First-Order Horn Clauses from Web Text . In Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP). Stefan Schoenmackers, Oren Etzioni, Daniel S. Weld, and Jesse Davis. 2010. Learning First-Order Horn Clauses from Web Text. In Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP)."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2593664"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236034"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462174"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062365"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00079"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133886"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3022671.2984030"},{"key":"e_1_3_2_1_61_1","unstructured":"Fan Yang Zhilin Yang and William Cohen. 2017. Differentiable learning of logical rules for knowledge base reasoning. In Advances in Neural Information Processing Systems (NeurIPS).  Fan Yang Zhilin Yang and William Cohen. 2017. Differentiable learning of logical rules for knowledge base reasoning. In Advances in Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_62_1","volume-title":"Proceedings of the USENIX Security Symposium.","author":"Yun Insu","year":"2016","unstructured":"Insu Yun , Changwoo Min , Xujie Si , Yeongjin Jang , Taesoo Kim , and Mayur Naik . 2016 . APISan: Sanitizing API Usages through Semantic Cross-checking . In Proceedings of the USENIX Security Symposium. Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, and Mayur Naik. 2016. APISan: Sanitizing API Usages through Semantic Cross-checking. In Proceedings of the USENIX Security Symposium."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133881"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Canada","acronym":"PLDI '21"},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454098","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454098","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:48Z","timestamp":1750193268000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":61,"alternative-id":["10.1145\/3453483.3454098","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454098","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}