@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15,
  author       = {Rajeev Alur and
                  Rastislav Bod{\'{\i}}k and
                  Eric Dallal and
                  Dana Fisman and
                  Pranav Garg and
                  Garvit Juniwal and
                  Hadas Kress{-}Gazit and
                  P. Madhusudan and
                  Milo M. K. Martin and
                  Mukund Raghothaman and
                  Shambwaditya Saha and
                  Sanjit A. Seshia and
                  Rishabh Singh and
                  Armando Solar{-}Lezama and
                  Emina Torlak and
                  Abhishek Udupa},
  title        = {Syntax-Guided Synthesis},
  booktitle    = {Dependable Software Systems Engineering},
  pages        = {1--25},
  year         = {2015},
  crossref     = {DBLP:series/natosec/40},
  url          = {https://doi.org/10.3233/978-1-61499-495-4-1},
  doi          = {10.3233/978-1-61499-495-4-1},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ikRLY8PjaAYZYRwwQ","bibbaseid":"alur-bodk-dallal-fisman-garg-juniwal-kressgazit-madhusudan-etal-syntaxguidedsynthesis-2015","author_short":["Alur, R.","Bodík, R.","Dallal, E.","Fisman, D.","Garg, P.","Juniwal, G.","Kress-Gazit, H.","Madhusudan, P.","Martin, M. M. K.","Raghothaman, M.","Saha, S.","Seshia, S. A.","Singh, R.","Solar-Lezama, A.","Torlak, E.","Udupa, A."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Rajeev"],"propositions":[],"lastnames":["Alur"],"suffixes":[]},{"firstnames":["Rastislav"],"propositions":[],"lastnames":["Bodík"],"suffixes":[]},{"firstnames":["Eric"],"propositions":[],"lastnames":["Dallal"],"suffixes":[]},{"firstnames":["Dana"],"propositions":[],"lastnames":["Fisman"],"suffixes":[]},{"firstnames":["Pranav"],"propositions":[],"lastnames":["Garg"],"suffixes":[]},{"firstnames":["Garvit"],"propositions":[],"lastnames":["Juniwal"],"suffixes":[]},{"firstnames":["Hadas"],"propositions":[],"lastnames":["Kress-Gazit"],"suffixes":[]},{"firstnames":["P."],"propositions":[],"lastnames":["Madhusudan"],"suffixes":[]},{"firstnames":["Milo","M.","K."],"propositions":[],"lastnames":["Martin"],"suffixes":[]},{"firstnames":["Mukund"],"propositions":[],"lastnames":["Raghothaman"],"suffixes":[]},{"firstnames":["Shambwaditya"],"propositions":[],"lastnames":["Saha"],"suffixes":[]},{"firstnames":["Sanjit","A."],"propositions":[],"lastnames":["Seshia"],"suffixes":[]},{"firstnames":["Rishabh"],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]},{"firstnames":["Emina"],"propositions":[],"lastnames":["Torlak"],"suffixes":[]},{"firstnames":["Abhishek"],"propositions":[],"lastnames":["Udupa"],"suffixes":[]}],"title":"Syntax-Guided Synthesis","booktitle":"Dependable Software Systems Engineering","pages":"1–25","year":"2015","crossref":"DBLP:series/natosec/40","url":"https://doi.org/10.3233/978-1-61499-495-4-1","doi":"10.3233/978-1-61499-495-4-1","timestamp":"Sun, 12 Nov 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15,\n author = {Rajeev Alur and\n Rastislav Bod{\\'{\\i}}k and\n Eric Dallal and\n Dana Fisman and\n Pranav Garg and\n Garvit Juniwal and\n Hadas Kress{-}Gazit and\n P. Madhusudan and\n Milo M. K. Martin and\n Mukund Raghothaman and\n Shambwaditya Saha and\n Sanjit A. Seshia and\n Rishabh Singh and\n Armando Solar{-}Lezama and\n Emina Torlak and\n Abhishek Udupa},\n title = {Syntax-Guided Synthesis},\n booktitle = {Dependable Software Systems Engineering},\n pages = {1--25},\n year = {2015},\n crossref = {DBLP:series/natosec/40},\n url = {https://doi.org/10.3233/978-1-61499-495-4-1},\n doi = {10.3233/978-1-61499-495-4-1},\n timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Alur, R.","Bodík, R.","Dallal, E.","Fisman, D.","Garg, P.","Juniwal, G.","Kress-Gazit, H.","Madhusudan, P.","Martin, M. M. K.","Raghothaman, M.","Saha, S.","Seshia, S. A.","Singh, R.","Solar-Lezama, A.","Torlak, E.","Udupa, A."],"key":"DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15","id":"DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15","bibbaseid":"alur-bodk-dallal-fisman-garg-juniwal-kressgazit-madhusudan-etal-syntaxguidedsynthesis-2015","role":"author","urls":{"Paper":"https://doi.org/10.3233/978-1-61499-495-4-1"},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["BD7bKLMmjzry4ihss","DAnxudWukpMXCtWy8","rGuy4xgsrB7zfgooW","DtMtyfcGfRzFeLRYZ"],"keywords":[],"search_terms":["syntax","guided","synthesis","alur","bodík","dallal","fisman","garg","juniwal","kress-gazit","madhusudan","martin","raghothaman","saha","seshia","singh","solar-lezama","torlak","udupa"],"title":"Syntax-Guided Synthesis","year":2015}