Syntax-guided synthesis. Alur, R., Bodík, R., Juniwal, G., Martin, M. M. K., Raghothaman, M., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., & Udupa, A. In Proceedings of Formal Methods in Computer-Aided Design (FMCAD), pages 1-8, 2013. Paper bibtex @inproceedings{ dblp2167052,
title = {Syntax-guided synthesis},
author = {Rajeev Alur and Rastislav Bodík and Garvit Juniwal and Milo M. K. Martin and Mukund Raghothaman and Sanjit A. Seshia and Rishabh Singh and Armando Solar-Lezama and Emina Torlak and Abhishek Udupa},
author_short = {Alur, R. and Bodík, R. and Juniwal, G. and Martin, M. M. K. and Raghothaman, M. and Seshia, S. A. and Singh, R. and Solar-Lezama, A. and Torlak, E. and Udupa, A.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2013},
key = {dblp2167052},
id = {dblp2167052},
biburl = {http://www.dblp.org/rec/bibtex/conf/fmcad/AlurBJMRSSSTU13},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679385},
conference = {FMCAD},
pages = {1-8},
text = {FMCAD 2013:1-8},
booktitle = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD)}
}
Downloads: 0
{"_id":"ZbCJzpc5ASCYdAvKf","bibbaseid":"alur-bodk-juniwal-martin-raghothaman-seshia-singh-solarlezama-torlak-udupa-syntaxguidedsynthesis-2013","downloads":0,"creationDate":"2015-05-13T06:23:45.263Z","title":"Syntax-guided synthesis","author_short":["Alur, R.","Bodík, R.","Juniwal, G.","Martin, M. M. K.","Raghothaman, M.","Seshia, S. A.","Singh, R.","Solar-Lezama, A.","Torlak, E.","Udupa, A."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fmcad/AlurBJMRSSSTU13","bibdata":{"title":"Syntax-guided synthesis","author":["Rajeev Alur","Rastislav Bodík","Garvit Juniwal","Milo M. K. Martin","Mukund Raghothaman","Sanjit A. Seshia","Rishabh Singh","Armando Solar-Lezama","Emina Torlak","Abhishek Udupa"],"author_short":["Alur, R.","Bodík, R.","Juniwal, G.","Martin, M. M. K.","Raghothaman, M.","Seshia, S. A.","Singh, R.","Solar-Lezama, A.","Torlak, E.","Udupa, A."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2167052","id":"dblp2167052","biburl":"http://www.dblp.org/rec/bibtex/conf/fmcad/AlurBJMRSSSTU13","url":"http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679385","conference":"FMCAD","pages":"1-8","text":"FMCAD 2013:1-8","booktitle":"Proceedings of Formal Methods in Computer-Aided Design (FMCAD)","bibtex":"@inproceedings{ dblp2167052,\n title = {Syntax-guided synthesis},\n author = {Rajeev Alur and Rastislav Bodík and Garvit Juniwal and Milo M. K. Martin and Mukund Raghothaman and Sanjit A. Seshia and Rishabh Singh and Armando Solar-Lezama and Emina Torlak and Abhishek Udupa},\n author_short = {Alur, R. and Bodík, R. and Juniwal, G. and Martin, M. M. K. and Raghothaman, M. and Seshia, S. A. and Singh, R. and Solar-Lezama, A. and Torlak, E. and Udupa, A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2167052},\n id = {dblp2167052},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fmcad/AlurBJMRSSSTU13},\n url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679385},\n conference = {FMCAD},\n pages = {1-8},\n text = {FMCAD 2013:1-8},\n booktitle = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD)}\n}","bibbaseid":"alur-bodk-juniwal-martin-raghothaman-seshia-singh-solarlezama-torlak-udupa-syntaxguidedsynthesis-2013","role":"author","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679385"},"downloads":0},"search_terms":["syntax","guided","synthesis","alur","bodík","juniwal","martin","raghothaman","seshia","singh","solar-lezama","torlak","udupa"],"keywords":[],"authorIDs":["5552edf1c9f7b7de4a0007f0"],"dataSources":["DpLGE3TLFHsn6Mraj"]}