@inproceedings{nips18,
  author     = {Xujie Si and Hanjun Dai and Mukund Raghothaman and Mayur Naik and Le Song},
  title      = {Learning Loop Invariants for Program Verification},
  booktitle  = {Conference on Neural Information Processing Systems (NIPS)},
  month      = dec,
  year       = 2018,
  url_Paper  = {papers/nips18.pdf},
  url_Slides = {slides/nips18.pptx},
  kind       = "Conference Papers"
}

{"_id":"okHeJXhNGGag2LDYv","bibbaseid":"si-dai-raghothaman-naik-song-learningloopinvariantsforprogramverification-2018","authorIDs":[],"author_short":["Si, X.","Dai, H.","Raghothaman, M.","Naik, M.","Song, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Xujie"],"propositions":[],"lastnames":["Si"],"suffixes":[]},{"firstnames":["Hanjun"],"propositions":[],"lastnames":["Dai"],"suffixes":[]},{"firstnames":["Mukund"],"propositions":[],"lastnames":["Raghothaman"],"suffixes":[]},{"firstnames":["Mayur"],"propositions":[],"lastnames":["Naik"],"suffixes":[]},{"firstnames":["Le"],"propositions":[],"lastnames":["Song"],"suffixes":[]}],"title":"Learning Loop Invariants for Program Verification","booktitle":"Conference on Neural Information Processing Systems (NIPS)","month":"December","year":"2018","url_paper":"papers/nips18.pdf","url_slides":"slides/nips18.pptx","kind":"Conference Papers","bibtex":"@inproceedings{nips18,\n author = {Xujie Si and Hanjun Dai and Mukund Raghothaman and Mayur Naik and Le Song},\n title = {Learning Loop Invariants for Program Verification},\n booktitle = {Conference on Neural Information Processing Systems (NIPS)},\n month = dec,\n year = 2018,\n url_Paper = {papers/nips18.pdf},\n url_Slides = {slides/nips18.pptx},\n kind = \"Conference Papers\"\n}\n\n","author_short":["Si, X.","Dai, H.","Raghothaman, M.","Naik, M.","Song, L."],"key":"nips18","id":"nips18","bibbaseid":"si-dai-raghothaman-naik-song-learningloopinvariantsforprogramverification-2018","role":"author","urls":{" paper":"https://www.cis.upenn.edu/~mhnaik/papers/nips18.pdf"," slides":"https://www.cis.upenn.edu/~mhnaik/slides/nips18.pptx"},"downloads":0},"bibtype":"inproceedings","biburl":"https://www.cis.upenn.edu/~mhnaik/pubs.bib","creationDate":"2021-01-16T18:13:22.167Z","downloads":0,"keywords":[],"search_terms":["learning","loop","invariants","program","verification","si","dai","raghothaman","naik","song"],"title":"Learning Loop Invariants for Program Verification","year":2018,"dataSources":["LSKsoTuW2dY5ZcqZF"]}