Syntax-Guided Synthesis of Datalog Programs. Si, X., Lee, W., Zhang, R., Albarghouthi, A., Koutris, P., & Naik, M. In ACM Symposium on Foundations of Software Engineering (FSE), November, 2018. Paper bibtex @inproceedings{fse18,
author = {Xujie Si and Woosuk Lee and Richard Zhang and Aws Albarghouthi and Paris Koutris and Mayur Naik},
title = {Syntax-Guided Synthesis of Datalog Programs},
booktitle = {ACM Symposium on Foundations of Software Engineering (FSE)},
month = nov,
year = 2018,
url_Paper = {papers/fse18.pdf},
kind = "Conference Papers"
}
Downloads: 0
{"_id":"YEYctZdaBNL9y24ij","bibbaseid":"si-lee-zhang-albarghouthi-koutris-naik-syntaxguidedsynthesisofdatalogprograms-2018","downloads":0,"creationDate":"2018-07-24T13:01:13.255Z","title":"Syntax-Guided Synthesis of Datalog Programs","author_short":["Si, X.","Lee, W.","Zhang, R.","Albarghouthi, A.","Koutris, P.","Naik, M."],"year":2018,"bibtype":"inproceedings","biburl":"https://www.cis.upenn.edu/~mhnaik/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Xujie"],"propositions":[],"lastnames":["Si"],"suffixes":[]},{"firstnames":["Woosuk"],"propositions":[],"lastnames":["Lee"],"suffixes":[]},{"firstnames":["Richard"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Aws"],"propositions":[],"lastnames":["Albarghouthi"],"suffixes":[]},{"firstnames":["Paris"],"propositions":[],"lastnames":["Koutris"],"suffixes":[]},{"firstnames":["Mayur"],"propositions":[],"lastnames":["Naik"],"suffixes":[]}],"title":"Syntax-Guided Synthesis of Datalog Programs","booktitle":"ACM Symposium on Foundations of Software Engineering (FSE)","month":"November","year":"2018","url_paper":"papers/fse18.pdf","kind":"Conference Papers","bibtex":"@inproceedings{fse18,\n author = {Xujie Si and Woosuk Lee and Richard Zhang and Aws Albarghouthi and Paris Koutris and Mayur Naik},\n title = {Syntax-Guided Synthesis of Datalog Programs},\n booktitle = {ACM Symposium on Foundations of Software Engineering (FSE)},\n month = nov,\n year = 2018,\n url_Paper = {papers/fse18.pdf},\n kind = \"Conference Papers\"\n}\n\n","author_short":["Si, X.","Lee, W.","Zhang, R.","Albarghouthi, A.","Koutris, P.","Naik, M."],"key":"fse18","id":"fse18","bibbaseid":"si-lee-zhang-albarghouthi-koutris-naik-syntaxguidedsynthesisofdatalogprograms-2018","role":"author","urls":{" paper":"https://www.cis.upenn.edu/~mhnaik/papers/fse18.pdf"},"downloads":0},"search_terms":["syntax","guided","synthesis","datalog","programs","si","lee","zhang","albarghouthi","koutris","naik"],"keywords":[],"authorIDs":["5b5723190adb611000000063"],"dataSources":["LSKsoTuW2dY5ZcqZF"]}