{"_id":"uKLH5jYX3FiAdzNcK","bibbaseid":"alur-bodik-juniwal-martin-raghothaman-seshia-singh-solarlezama-etal-syntaxguidedsynthesis-2013","author_short":["Alur, R.","Bodik, R.","Juniwal, G.","Martin, M. M. K.","Raghothaman, M.","Seshia, S. A.","Singh, R.","Solar-Lezama, A.","Torlak, E.","Udupa, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Syntax-guided synthesis","doi":"10.1109/FMCAD.2013.6679385","booktitle":"2013 Formal Methods in Computer-Aided Design","author":[{"propositions":[],"lastnames":["Alur"],"firstnames":["Rajeev"],"suffixes":[]},{"propositions":[],"lastnames":["Bodik"],"firstnames":["Rastislav"],"suffixes":[]},{"propositions":[],"lastnames":["Juniwal"],"firstnames":["Garvit"],"suffixes":[]},{"propositions":[],"lastnames":["Martin"],"firstnames":["Milo","M.","K."],"suffixes":[]},{"propositions":[],"lastnames":["Raghothaman"],"firstnames":["Mukund"],"suffixes":[]},{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A."],"suffixes":[]},{"propositions":[],"lastnames":["Singh"],"firstnames":["Rishabh"],"suffixes":[]},{"propositions":[],"lastnames":["Solar-Lezama"],"firstnames":["Armando"],"suffixes":[]},{"propositions":[],"lastnames":["Torlak"],"firstnames":["Emina"],"suffixes":[]},{"propositions":[],"lastnames":["Udupa"],"firstnames":["Abhishek"],"suffixes":[]}],"month":"October","year":"2013","keywords":"Concrete, Grammar, Heuristic algorithms, Libraries, Production, Search problems, Syntactics","pages":"1–8","author_short":["Alur, R.","Bodik, R.","Juniwal, G.","Martin, M. M. K.","Raghothaman, M.","Seshia, S. A.","Singh, R.","Solar-Lezama, A.","Torlak, E.","Udupa, A."],"key":"alur_syntax-guided_2013","id":"alur_syntax-guided_2013","bibbaseid":"alur-bodik-juniwal-martin-raghothaman-seshia-singh-solarlezama-etal-syntaxguidedsynthesis-2013","role":"author","urls":{},"keyword":["Concrete","Grammar","Heuristic algorithms","Libraries","Production","Search problems","Syntactics"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/benjamin-spiegel","dataSources":["rQFxZQs78YQJ9m34s"],"keywords":["concrete","grammar","heuristic algorithms","libraries","production","search problems","syntactics"],"search_terms":["syntax","guided","synthesis","alur","bodik","juniwal","martin","raghothaman","seshia","singh","solar-lezama","torlak","udupa"],"title":"Syntax-guided synthesis","year":2013}