@inproceedings{DBLP:conf/sas/BrockschmidtCKK17,
  author    = {Marc Brockschmidt and
               Yuxin Chen and
               Pushmeet Kohli and
               Siddharth Krishna and
               Daniel Tarlow},
  title     = {Learning Shape Analysis},
  booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
               NY, USA, August 30 - September 1, 2017, Proceedings},
  pages     = {66--87},
  year      = {2017},
  crossref  = {DBLP:conf/sas/2017},
  url       = {https://doi.org/10.1007/978-3-319-66706-5_4},
  doi       = {10.1007/978-3-319-66706-5_4},
  timestamp = {Tue, 22 Aug 2017 07:32:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/BrockschmidtCKK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"fgRERKBRNsk6wYjev","bibbaseid":"brockschmidt-chen-kohli-krishna-tarlow-learningshapeanalysis-2017","downloads":0,"creationDate":"2018-03-11T19:00:34.891Z","title":"Learning Shape Analysis","author_short":["Brockschmidt, M.","Chen, Y.","Kohli, P.","Krishna, S.","Tarlow, D."],"year":2017,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/t/Tarlow:Daniel.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Marc"],"propositions":[],"lastnames":["Brockschmidt"],"suffixes":[]},{"firstnames":["Yuxin"],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["Pushmeet"],"propositions":[],"lastnames":["Kohli"],"suffixes":[]},{"firstnames":["Siddharth"],"propositions":[],"lastnames":["Krishna"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Tarlow"],"suffixes":[]}],"title":"Learning Shape Analysis","booktitle":"Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings","pages":"66--87","year":"2017","crossref":"DBLP:conf/sas/2017","url":"https://doi.org/10.1007/978-3-319-66706-5_4","doi":"10.1007/978-3-319-66706-5_4","timestamp":"Tue, 22 Aug 2017 07:32:58 +0200","biburl":"https://dblp.org/rec/bib/conf/sas/BrockschmidtCKK17","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sas/BrockschmidtCKK17,\n author = {Marc Brockschmidt and\n Yuxin Chen and\n Pushmeet Kohli and\n Siddharth Krishna and\n Daniel Tarlow},\n title = {Learning Shape Analysis},\n booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,\n NY, USA, August 30 - September 1, 2017, Proceedings},\n pages = {66--87},\n year = {2017},\n crossref = {DBLP:conf/sas/2017},\n url = {https://doi.org/10.1007/978-3-319-66706-5_4},\n doi = {10.1007/978-3-319-66706-5_4},\n timestamp = {Tue, 22 Aug 2017 07:32:58 +0200},\n biburl = {https://dblp.org/rec/bib/conf/sas/BrockschmidtCKK17},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Brockschmidt, M.","Chen, Y.","Kohli, P.","Krishna, S.","Tarlow, D."],"key":"DBLP:conf/sas/BrockschmidtCKK17","id":"DBLP:conf/sas/BrockschmidtCKK17","bibbaseid":"brockschmidt-chen-kohli-krishna-tarlow-learningshapeanalysis-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-66706-5_4"},"downloads":0},"search_terms":["learning","shape","analysis","brockschmidt","chen","kohli","krishna","tarlow"],"keywords":[],"authorIDs":[],"dataSources":["vQ2FosXhGLY22bWQr"]}