{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:35:22Z","timestamp":1791459322637,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":72,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["#1253867,#1526270,#1652140"],"award-info":[{"award-number":["#1253867,#1526270,#1652140"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["#FA8750-15-2- 0009"],"award-info":[{"award-number":["#FA8750-15-2- 0009"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,26]]},"DOI":"10.1145\/3236024.3236034","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"515-527","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Syntax-guided synthesis of Datalog programs"],"prefix":"10.1145","author":[{"given":"Xujie","family":"Si","sequence":"first","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Woosuk","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA \/ Hanyang University, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Richard","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aws","family":"Albarghouthi","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paraschos","family":"Koutris","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mayur","family":"Naik","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"BDD-Based Deductive Database. http:\/\/bddbddb.sourceforge.net\/.  BDD-Based Deductive Database. http:\/\/bddbddb.sourceforge.net\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Datomic. https:\/\/www.datomic.com\/.  Datomic. https:\/\/www.datomic.com\/."},{"key":"e_1_3_2_1_3_1","unstructured":"IRIS (Integrated Rule Inference System) Reasoner. http:\/\/repo.roscidus.com\/java\/ iris.  IRIS (Integrated Rule Inference System) Reasoner. http:\/\/repo.roscidus.com\/java\/ iris."},{"key":"e_1_3_2_1_4_1","unstructured":"LogicBlox. http:\/\/www.logicblox.com\/.  LogicBlox. http:\/\/www.logicblox.com\/."},{"key":"e_1_3_2_1_5_1","unstructured":"Righting Code. http:\/\/rightingcode.org\/.  Righting Code. http:\/\/rightingcode.org\/."},{"key":"e_1_3_2_1_6_1","unstructured":"Semmle. https:\/\/semmle.com\/.  Semmle. https:\/\/semmle.com\/."},{"key":"e_1_3_2_1_7_1","volume-title":"Foundations of databases","author":"Abiteboul Serge","unstructured":"Serge Abiteboul , Richard Hull , and Victor Vianu . 1995. Foundations of databases . Addison-Wesley . Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of databases. Addison-Wesley."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Aws Albarghouthi Sumit Gulwani and Zachary Kincaid. 2013. Recursive Program Synthesis. In CAV.  Aws Albarghouthi Sumit Gulwani and Zachary Kincaid. 2013. Recursive Program Synthesis. In CAV.","DOI":"10.1007\/978-3-642-39799-8_67"},{"key":"e_1_3_2_1_9_1","volume-title":"CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings.","author":"Albarghouthi Aws","unstructured":"Aws Albarghouthi , Paraschos Koutris , Mayur Naik , and Calvin Smith . {n. d.}. Constraint-Based Synthesis of Datalog Programs. In Principles and Practice of Constraint Programming - 23rd International Conference , CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings. Aws Albarghouthi, Paraschos Koutris, Mayur Naik, and Calvin Smith. {n. d.}. Constraint-Based Synthesis of Datalog Programs. In Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"R. Alur R. Bodik G. Juniwal M. M. K. Martin M. Raghothaman S. A. Seshia R. Singh A. Solar-Lezama E. Torlak and A. Udupa. 2013. Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design.  R. Alur R. Bodik G. Juniwal M. M. K. Martin M. Raghothaman S. A. Seshia R. Singh A. Solar-Lezama E. Torlak and A. Udupa. 2013. Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design.","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_3_2_1_11_1","volume-title":"Marczak","author":"Alvaro Peter","year":"2011","unstructured":"Peter Alvaro , Neil Conway , Joseph M. Hellerstein , and William R . Marczak . 2011 . Consistency Analysis in Bloom: a CALM and Collected Approach. In CIDR. Peter Alvaro, Neil Conway, Joseph M. Hellerstein, and William R. Marczak. 2011. Consistency Analysis in Bloom: a CALM and Collected Approach. In CIDR."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951948"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201993)","author":"Bergadano Francesco","year":"1993","unstructured":"Francesco Bergadano and Daniele Gunetti . 1993 . An interactive system to learn functional logic programs . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201993) . Francesco Bergadano and Daniele Gunetti. 1993. An interactive system to learn functional logic programs. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201993)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Pavol Bielik Veselin Raychev and Martin Vechev. 2017. Learning a Static Analyzer from Data. In CAV.  Pavol Bielik Veselin Raychev and Martin Vechev. 2017. Learning a Static Analyzer from Data. In CAV.","DOI":"10.1007\/978-3-319-63387-9_12"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_18_1","volume-title":"Pac-Learning Recursive Logic Programs: Negative Results. Journal of Artificial Intelligence Research 2","author":"Cohen William W.","year":"1995","unstructured":"William W. Cohen . 1995. Pac-Learning Recursive Logic Programs: Negative Results. Journal of Artificial Intelligence Research 2 ( 1995 ). William W. Cohen. 1995. Pac-Learning Recursive Logic Programs: Negative Results. Journal of Artificial Intelligence Research 2 (1995)."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 24th International Conference on Inductive Logic Programming.","author":"Cropper Andrew","year":"2015","unstructured":"Andrew Cropper , Alireza Tamaddoni-Nezhad , and Stephen H Muggleton . 2015 . Meta-interpretive learning of data transformation programs . In Proceedings of the 24th International Conference on Inductive Logic Programming. Andrew Cropper, Alireza Tamaddoni-Nezhad, and Stephen H Muggleton. 2015. Meta-interpretive learning of data transformation programs. In Proceedings of the 24th International Conference on Inductive Logic Programming."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Jacek Czerniak and Hubert Zarzycki. 2003. Artificial Intelligence and Security in Computing Systems. Chapter Application of Rough Sets in the Presumptive Diagnosis of Urinary System Diseases.   Jacek Czerniak and Hubert Zarzycki. 2003. Artificial Intelligence and Security in Computing Systems. Chapter Application of Rough Sets in the Presumptive Diagnosis of Urinary System Diseases.","DOI":"10.1007\/978-1-4419-9226-0_5"},{"key":"e_1_3_2_1_21_1","volume-title":"Probabilistic Inductive Logic Programming","author":"Raedt Luc De","unstructured":"Luc De Raedt and Kristian Kersting . 2008. Probabilistic inductive logic programming . In Probabilistic Inductive Logic Programming . Springer , 1\u201327. Luc De Raedt and Kristian Kersting. 2008. Probabilistic inductive logic programming. In Probabilistic Inductive Logic Programming. Springer, 1\u201327."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635869"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837629"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007330508534"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055560"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254112"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745754.2745780"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240260"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2736282"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2594530"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Kry\u0161tof Hoder Nikolaj Bj\u00f8rner and Leonardo De Moura. 2011. \u00b5Z\u2013an efficient engine for fixed points with constraints. In CAV.   Kry\u0161tof Hoder Nikolaj Bj\u00f8rner and Leonardo De Moura. 2011. \u00b5Z\u2013an efficient engine for fixed points with constraints. In CAV.","DOI":"10.1007\/978-3-642-22110-1_36"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_33_1","first-page":"1","article-title":"Applying Inductive Logic Programming to Predicting Gene Function","volume":"25","author":"King Ross D.","year":"2004","unstructured":"Ross D. King . 2004 . Applying Inductive Logic Programming to Predicting Gene Function . AI Magazine 25 , 1 (March 2004). Ross D. King. 2004. Applying Inductive Logic Programming to Predicting Gene Function. AI Magazine 25, 1 (March 2004).","journal-title":"AI Magazine"},{"key":"e_1_3_2_1_34_1","volume-title":"Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. JMLR","author":"Kitzelmann Emanuel","year":"2006","unstructured":"Emanuel Kitzelmann and Ute Schmid . 2006. Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. JMLR ( 2006 ). Emanuel Kitzelmann and Ute Schmid. 2006. Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. JMLR (2006)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509555"},{"key":"e_1_3_2_1_36_1","unstructured":"Tessa A Lau Pedro M Domingos and Daniel S Weld. 2000. Version Space Algebra and its Application to Programming by Demonstration.. In ICML. 527\u2013534.   Tessa A Lau Pedro M Domingos and Daniel S Weld. 2000. Version Space Algebra and its Application to Programming by Demonstration.. In ICML. 527\u2013534."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738002"},{"key":"e_1_3_2_1_38_1","unstructured":"Dianhuan Lin Eyal Dechter Kevin Ellis Joshua B. Tenenbaum and Stephen Muggleton. 2014. Bias reformulation for one-shot function induction. In ECAI.   Dianhuan Lin Eyal Dechter Kevin Ellis Joshua B. Tenenbaum and Stephen Muggleton. 2014. Bias reformulation for one-shot function induction. In ECAI."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908096"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786851"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566174"},{"key":"e_1_3_2_1_43_1","volume-title":"Generalization as search. Artificial intelligence 18, 2","author":"Mitchell Tom M","year":"1982","unstructured":"Tom M Mitchell . 1982. Generalization as search. Artificial intelligence 18, 2 ( 1982 ), 203\u2013226. Tom M Mitchell. 1982. Generalization as search. Artificial intelligence 18, 2 (1982), 203\u2013226."},{"key":"e_1_3_2_1_44_1","volume-title":"Inductive Logic Programming: Selected papers from the 6th International Workshop","author":"Mooney Raymond J.","unstructured":"Raymond J. Mooney . 1996. Inductive Logic Programming for Natural Language Processing . In Inductive Logic Programming: Selected papers from the 6th International Workshop . Springer Verlag . Raymond J. Mooney. 1996. Inductive Logic Programming for Natural Language Processing. In Inductive Logic Programming: Selected papers from the 6th International Workshop. Springer Verlag."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037089"},{"key":"e_1_3_2_1_46_1","volume-title":"Inverse entailment and Progol. New generation computing 13, 3-4","author":"Muggleton Stephen","year":"1995","unstructured":"Stephen Muggleton . 1995. Inverse entailment and Progol. New generation computing 13, 3-4 ( 1995 ). Stephen Muggleton. 1995. Inverse entailment and Progol. New generation computing 13, 3-4 (1995)."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/319382.319390"},{"key":"e_1_3_2_1_48_1","volume-title":"Proceedings of the International Conference on Machine Learning (ICML\u201988)","author":"Muggleton Stephen","unstructured":"Stephen Muggleton and Wray L. Buntine . 1988. Machine Invention of First-order Predicates by Inverting Resolution . In Proceedings of the International Conference on Machine Learning (ICML\u201988) . Stephen Muggleton and Wray L. Buntine. 1988. Machine Invention of First-order Predicates by Inverting Resolution. In Proceedings of the International Conference on Machine Learning (ICML\u201988)."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-011-5259-2"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-014-5471-y"},{"key":"e_1_3_2_1_51_1","unstructured":"Mayur Naik. Chord: A Program Analysis Platform for Java. http:\/\/jchord. googlecode.com\/.  Mayur Naik. Chord: A Program Analysis Platform for Java. http:\/\/jchord. googlecode.com\/."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814309"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738007"},{"key":"e_1_3_2_1_54_1","volume-title":"A note on inductive generalization. Machine intelligence 5, 1","author":"Plotkin Gordon D","year":"1970","unstructured":"Gordon D Plotkin . 1970. A note on inductive generalization. Machine intelligence 5, 1 ( 1970 ). Gordon D Plotkin. 1970. A note on inductive generalization. Machine intelligence 5, 1 (1970)."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_3_2_1_56_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201995)","author":"Poole David","year":"1995","unstructured":"David Poole . 1995 . Logic Programming for Robot Control . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201995) . David Poole. 1995. Logic Programming for Robot Control. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201995)."},{"key":"e_1_3_2_1_57_1","unstructured":"Mukund Raghothaman Sulekha Kulkarni Kihong Heo and Mayur Naik. 2018.  Mukund Raghothaman Sulekha Kulkarni Kihong Heo and Mayur Naik. 2018."},{"key":"e_1_3_2_1_58_1","volume-title":"Automated identification of protein-ligand interaction features using Inductive Logic Programming: a hexose binding case study. BMC BIOINFORMATICS 13","author":"Santos JCA","year":"2012","unstructured":"JCA Santos , H Nassif , D Page , SH Muggleton , and MJE Sternberg . 2012. Automated identification of protein-ligand interaction features using Inductive Logic Programming: a hexose binding case study. BMC BIOINFORMATICS 13 ( 2012 ). JCA Santos, H Nassif, D Page, SH Muggleton, and MJE Sternberg. 2012. Automated identification of protein-ligand interaction features using Inductive Logic Programming: a hexose binding case study. BMC BIOINFORMATICS 13 (2012)."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892226"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"crossref","unstructured":"Jiwon Seo Stephen Guo and Monica S Lam. 2013. SociaLite: Datalog extensions for efficient social network analysis. In ICDE.  Jiwon Seo Stephen Guo and Monica S Lam. 2013. SociaLite: Datalog extensions for efficient social network analysis. In ICDE.","DOI":"10.1109\/ICDE.2013.6544832"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.5555\/3019233"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/130385.130417"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2915229"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462195"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_14"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926390"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0223-4"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062365"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_71_1","unstructured":"Yang Wu Ang Chen Andreas Haeberlen Wenchao Zhou and Boon Thau Loo. 2017. Automated Bug Removal for Software-Defined Networks. In NSDI.   Yang Wu Ang Chen Andreas Haeberlen Wenchao Zhou and Boon Thau Loo. 2017. Automated Bug Removal for Software-Defined Networks. In NSDI."},{"key":"e_1_3_2_1_72_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_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133881"}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236034","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236034","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:25Z","timestamp":1750208245000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":72,"alternative-id":["10.1145\/3236024.3236034","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3236034","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}