@inproceedings{DBLP:conf/snapl/SinghK17,
  author       = {Rishabh Singh and
                  Pushmeet Kohli},
  editor       = {Benjamin S. Lerner and
                  Rastislav Bod{\'{\i}}k and
                  Shriram Krishnamurthi},
  title        = {{AP:} Artificial Programming},
  booktitle    = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
                  7-10, 2017, Asilomar, CA, {USA}},
  series       = {LIPIcs},
  volume       = {71},
  pages        = {16:1--16:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.16},
  doi          = {10.4230/LIPICS.SNAPL.2017.16},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/snapl/SinghK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Caj3F6X58kLW6R7cr","bibbaseid":"singh-kohli-apartificialprogramming-2017","author_short":["Singh, R.","Kohli, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Rishabh"],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Pushmeet"],"propositions":[],"lastnames":["Kohli"],"suffixes":[]}],"editor":[{"firstnames":["Benjamin","S."],"propositions":[],"lastnames":["Lerner"],"suffixes":[]},{"firstnames":["Rastislav"],"propositions":[],"lastnames":["Bodík"],"suffixes":[]},{"firstnames":["Shriram"],"propositions":[],"lastnames":["Krishnamurthi"],"suffixes":[]}],"title":"AP: Artificial Programming","booktitle":"2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA","series":"LIPIcs","volume":"71","pages":"16:1–16:12","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2017","url":"https://doi.org/10.4230/LIPIcs.SNAPL.2017.16","doi":"10.4230/LIPICS.SNAPL.2017.16","timestamp":"Tue, 11 Feb 2020 15:52:14 +0100","biburl":"https://dblp.org/rec/conf/snapl/SinghK17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/snapl/SinghK17,\n author = {Rishabh Singh and\n Pushmeet Kohli},\n editor = {Benjamin S. Lerner and\n Rastislav Bod{\\'{\\i}}k and\n Shriram Krishnamurthi},\n title = {{AP:} Artificial Programming},\n booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May\n 7-10, 2017, Asilomar, CA, {USA}},\n series = {LIPIcs},\n volume = {71},\n pages = {16:1--16:12},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik},\n year = {2017},\n url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.16},\n doi = {10.4230/LIPICS.SNAPL.2017.16},\n timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},\n biburl = {https://dblp.org/rec/conf/snapl/SinghK17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Singh, R.","Kohli, P."],"editor_short":["Lerner, B. S.","Bodík, R.","Krishnamurthi, S."],"key":"DBLP:conf/snapl/SinghK17","id":"DBLP:conf/snapl/SinghK17","bibbaseid":"singh-kohli-apartificialprogramming-2017","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.SNAPL.2017.16"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/25/7056.bib","dataSources":["BD7bKLMmjzry4ihss"],"keywords":[],"search_terms":["artificial","programming","singh","kohli"],"title":"AP: Artificial Programming","year":2017}