@article{gulwani2017,
  title={Program synthesis},
  author={Gulwani, Sumit and Polozov, Oleksandr and Singh, Rishabh and others},
  journal={Foundations and Trends{\textregistered} in Programming Languages},
  volume={4},
  number={1-2},
  pages={1--119},
  year={2017},
  publisher={Now Publishers, Inc.}
}

{"_id":"2ScL4K2x3bEjS495n","bibbaseid":"gulwani-polozov-singh-others-programsynthesis-2017","author_short":["Gulwani, S.","Polozov, O.","Singh, R.","others"],"bibdata":{"bibtype":"article","type":"article","title":"Program synthesis","author":[{"propositions":[],"lastnames":["Gulwani"],"firstnames":["Sumit"],"suffixes":[]},{"propositions":[],"lastnames":["Polozov"],"firstnames":["Oleksandr"],"suffixes":[]},{"propositions":[],"lastnames":["Singh"],"firstnames":["Rishabh"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["others"],"suffixes":[]}],"journal":"Foundations and Trends® in Programming Languages","volume":"4","number":"1-2","pages":"1–119","year":"2017","publisher":"Now Publishers, Inc.","bibtex":"@article{gulwani2017,\n title={Program synthesis},\n author={Gulwani, Sumit and Polozov, Oleksandr and Singh, Rishabh and others},\n journal={Foundations and Trends{\\textregistered} in Programming Languages},\n volume={4},\n number={1-2},\n pages={1--119},\n year={2017},\n publisher={Now Publishers, Inc.}\n}\n\n","author_short":["Gulwani, S.","Polozov, O.","Singh, R.","others"],"key":"gulwani2017","id":"gulwani2017","bibbaseid":"gulwani-polozov-singh-others-programsynthesis-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/f/mAv4xsa3qE3YSqF2q/biblio.bib","dataSources":["79oQCSkNzzoZHJw69","SC4vtg3To6xYfQL7G"],"keywords":[],"search_terms":["program","synthesis","gulwani","polozov","singh","others"],"title":"Program synthesis","year":2017}